Re: HasCallStack constraint for maximum in Prelude?
Viktor Dukhovni <[email protected]> Thu, 26 Mar 2026 00:27:25 +1100
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <[email protected]> |
T24gV2VkLCBNYXIgMjUsIDIwMjYgYXQgMTE6NTY6MjFQTSArMTEwMCwgVmlrdG9yIER1a2hvdm5p IHdyb3RlOg0KDQo+IFdoYXQgT2xhZiBzZWVtcyB0byBoYXZlIGluIG1pbmQgZG9lcyBuZWV0IGEg TW9ub2lkLCBmb3IgZXhhbXBsZToNCj4gDQo+ICAgICDOuz4gaW1wb3J0IERhdGEuQ29lcmNlIA0K PiAgICAgzrs+IGltcG9ydCBEYXRhLkZvbGRhYmxlDQo+ICAgICDOuz4gaW1wb3J0IERhdGEuU2Vt aWdyb3VwDQo+ICAgICDOuz4gDQo+ICAgICDOuz4gbWluaW11bSA6OiBmb3JhbGwgdCBhLiAoT3Jk IGEsIEJvdW5kZWQgYSwgRm9sZGFibGUgdCkgPT4gdCBhIC0+IGE7IG1pbmltdW0gPSAoY29lcmNl IEAoTWluIGEpIEBhKSAuIGZvbGRNYXAnIChjb2VyY2UgQGEgQChNaW4gYSkpDQo+ICAgICDOuz4g bWF4aW11bSA6OiBmb3JhbGwgdCBhLiAoT3JkIGEsIEJvdW5kZWQgYSwgRm9sZGFibGUgdCkgPT4g dCBhIC0+IGE7IG1heGltdW0gPSAoY29lcmNlIEAoTWF4IGEpIEBhKSAuIGZvbGRNYXAnIChjb2Vy Y2UgQGEgQChNYXggYSkpDQoNClRoZSBkb3duc2lkZSBpcyB0aGF0IG9mIGNvdXJzZSBjb2xsZWN0 aW9ucyBvZiBgU3RyaW5nYCBvciBvdGhlciBuYXR1cmFsDQp1bmJvdW5kZWQgdHlwZXMgd291bGQg dGhlbiBubyBsb25nZXIgc3VwcG9ydCBgbWF4aW11bWAgb3IgYG1pbmltdW1gLg0KWyBTdHJpbmdz IGFyZSBvZiBjb3Vyc2UgYm91bmRlZCBiZWxvdyBieSAiIiwgYnV0IEkgYW0gbm90IGF3YXJlIG9m DQpzdGFuZGFyZCB0eXBlIGNsYXNzZXMgZm9yIG9uZS1zaWRlZCBib3VuZHMuIF0NCg0KQSBkaWZm ZXJlbnQgaW50ZXJmYWNlIHdvdWxkIGJlIG5lZWRlZCBmb3IgY29sbGVjdGlvbnMgb2YgdW5ib3Vu ZGVkDQplbGVtZW50cyB0aGF0IGVpdGhlciByZXR1cm5zIGEgJ01heWJlIGEnIHR5cGUsIG9yIGEg c2VudGluZWwgdmFsdWUgb2YNCnRoZSB1c2VyJ3MgY2hvaWNlLCBvciBhY2NlcHRzIG9ubHkgbm9u LWVtcHR5IGZvbGRhYmxlIHR5cGVzLg0KDQoNCiAgICB7LSMgTEFOR1VBR0UgVmlld1BhdHRlcm5z ICMtfQ0KDQogICAgbWF4aW11bScgOjogKE9yZCBhLCBGb2xkYWJsZSB0KSA9PiB0IGEgLT4gTWF5 YmUgYQ0KICAgIG1heGltdW0nICh0b0xpc3QgLT4gKHggOiB4cykpID0gSnVzdCAkISBmb2xkbCcg bWF4IHggeHMNCiAgICBtYXhpbXVtJyBfID0gTm90aGluZw0KDQogICAgbWluaW11bScgOjogKE9y ZCBhLCBGb2xkYWJsZSB0KSA9PiB0IGEgLT4gTWF5YmUgYQ0KICAgIG1pbmltdW0nICh0b0xpc3Qg LT4gKHggOiB4cykpID0gSnVzdCAkISBmb2xkbCcgbWluIHggeHMNCiAgICBtaW5pbXVtJyBfID0g Tm90aGluZw0KDQogICAgzrs+IG1pbmltdW0nIFtdDQogICAgTm90aGluZw0KICAgIM67PiBtYXhp bXVtJyBbXSA6OiBNYXliZSBTdHJpbmcNCiAgICBOb3RoaW5nDQogICAgzrs+IG1pbmltdW0nIFsi Zm9vIiwgImJhciJdIDo6IE1heWJlIFN0cmluZw0KICAgIEp1c3QgImJhciINCiAgICDOuz4gbWF4 aW11bScgWyJmb28iLCAiYmFyIl0gOjogTWF5YmUgU3RyaW5nDQogICAgSnVzdCAiZm9vIg0KDQot LSANCiAgICBWaWt0b3IuICDwn4e68J+HpiDQodC70LDQstCwINCj0LrRgNCw0ZfQvdGWIQ0KX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbC1DYWZl IG1haWxpbmcgbGlzdCAtLSBoYXNrZWxsLWNhZmVAaGFza2VsbC5vcmcKVG8gKHVuKXN1YnNjcmli ZSwgbW9kaWZ5IG9wdGlvbnMgb3IgdmlldyBhcmNoaXZlcyBnbyB0bzoKT25seSBtZW1iZXJzIHN1 YnNjcmliZWQgdmlhIHRoZSBtYWlsbWFuIGxpc3QgYXJlIGFsbG93ZWQgdG8gcG9zdC4=