Re: HasCallStack constraint for maximum in Prelude?
Viktor Dukhovni <[email protected]> Wed, 25 Mar 2026 23:56:21 +1100
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <[email protected]> |
T24gV2VkLCBNYXIgMjUsIDIwMjYgYXQgMTA6MjM6MzdBTSArMDAwMCwgVG9tIEVsbGlzIHdyb3Rl Og0KDQo+IE9uIFdlZCwgTWFyIDI1LCAyMDI2IGF0IDExOjE5OjIwQU0gKzAxMDAsIE9sYWYgS2xp bmtlIHZpYSBIYXNrZWxsLUNhZmUgd3JvdGU6DQo+ID4gRm9yIChCb3VuZGVkIGEsIE9yZCBhKSBv bmUgc2hvdWxkIHJlcGxhY2UgbWF4aW11bSBieSBhbiBvcmRpbmFyeSBmb2xkLA0KPiA+IGdpdmVu IGEgc3VpdGFibGUgbmV3dHlwZSB3cmFwcGVyIHdpdGggYSBNb25vaWQgaW5zdGFuY2UsIGUuZy4g DQo+ID4gDQo+ID4gKE9yZCBhLCBCb3VuZGVkIGEpID0+IE1vbm9pZCAoRGF0YS5TZW1pZ3JvdXAu TWF4IGEpDQo+IA0KPiBGb3IgYSBTZW1pZ3JvdXAgc3VyZWx5IGl0IGRvZXNuJ3QgbmVlZCBCb3Vu ZGVkPyAgKEEgTW9ub2lkIHdvdWxkDQo+IG5lZWQgQm91bmRlZCkuDQoNCldoYXQgT2xhZiBzZWVt cyB0byBoYXZlIGluIG1pbmQgZG9lcyBuZWV0IGEgTW9ub2lkLCBmb3IgZXhhbXBsZToNCg0KICAg IM67PiBpbXBvcnQgRGF0YS5Db2VyY2UgDQogICAgzrs+IGltcG9ydCBEYXRhLkZvbGRhYmxlDQog ICAgzrs+IGltcG9ydCBEYXRhLlNlbWlncm91cA0KICAgIM67PiANCiAgICDOuz4gbWluaW11bSA6 OiBmb3JhbGwgdCBhLiAoT3JkIGEsIEJvdW5kZWQgYSwgRm9sZGFibGUgdCkgPT4gdCBhIC0+IGE7 IG1pbmltdW0gPSAoY29lcmNlIEAoTWluIGEpIEBhKSAuIGZvbGRNYXAnIChjb2VyY2UgQGEgQChN aW4gYSkpDQogICAgzrs+IG1heGltdW0gOjogZm9yYWxsIHQgYS4gKE9yZCBhLCBCb3VuZGVkIGEs IEZvbGRhYmxlIHQpID0+IHQgYSAtPiBhOyBtYXhpbXVtID0gKGNvZXJjZSBAKE1heCBhKSBAYSkg LiBmb2xkTWFwJyAoY29lcmNlIEBhIEAoTWF4IGEpKQ0KICAgIM67PiANCiAgICDOuz4gbWF4aW11 bSBbXSA6OiBJbnQNCiAgICAtOTIyMzM3MjAzNjg1NDc3NTgwOA0KICAgIM67PiBtaW5pbXVtIFtd IDo6IEludA0KICAgIDkyMjMzNzIwMzY4NTQ3NzU4MDcNCiAgICDOuz4gbWF4aW11bSBbXSA6OiBX b3JkDQogICAgMA0KICAgIM67PiBtaW5pbXVtIFtdIDo6IFdvcmQNCiAgICAxODQ0Njc0NDA3Mzcw OTU1MTYxNQ0KICAgIM67PiBtYXhpbXVtIFsxLi4xMF0gOjogSW50DQogICAgMTANCiAgICDOuz4g bWluaW11bSBbMS4uMTBdIDo6IEludA0KICAgIDENCg0KLS0gDQogICAgVmlrdG9yLiAg8J+HuvCf h6Yg0KHQu9Cw0LLQsCDQo9C60YDQsNGX0L3RliENCl9fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fCkhhc2tlbGwtQ2FmZSBtYWlsaW5nIGxpc3QgLS0gaGFza2Vs bC1jYWZlQGhhc2tlbGwub3JnClRvICh1bilzdWJzY3JpYmUsIG1vZGlmeSBvcHRpb25zIG9yIHZp ZXcgYXJjaGl2ZXMgZ28gdG86Ck9ubHkgbWVtYmVycyBzdWJzY3JpYmVkIHZpYSB0aGUgbWFpbG1h biBsaXN0IGFyZSBhbGxvd2VkIHRvIHBvc3Qu