Re: HasCallStack constraint for maximum in Prelude?
Viktor Dukhovni <[email protected]> Thu, 26 Mar 2026 17:10:59 +1100
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <[email protected]> |
T24gV2VkLCBNYXIgMjUsIDIwMjYgYXQgMDI6NDc6MzVQTSArMDAwMCwgVG9tIEVsbGlzIHdyb3Rl Og0KDQo+ID4gV2hhdCBPbGFmIHNlZW1zIHRvIGhhdmUgaW4gbWluZCBkb2VzIG5lZXQgYSBNb25v aWQsIGZvciBleGFtcGxlOg0KPiANCj4gWWVzLCBJIG1pc3VuZGVyc3Rvb2QgdGhlIHR5cGUgYERh dGEuU2VtaWdyb3VwLk1heGAgKHdoaWNoIGp1c3QgaGFwcGVucw0KPiB0byBsaXZlIGluIGBEYXRh LlNlbWlncm91cGApIGZvciB0aGUgYFNlbWlncm91cGAgY2xhc3MuIEkgbWlzc2VkIHRoYXQNCj4g dGhlIGNsYXNzIGlzIGFjdHVhbGx5IGBNb25vaWRgLg0KDQpNaW5kIHlvdSB0aGVyZSdzIGEgY29u ZmxpY3QgYmV0d2VlbiB0aGUgc3VnZ2VzdGVkIGBmb2xkTWFwJ2ANCmltcGxlbWVudGF0aW9uIGZv ciBCb3VuZGVkIGVsZW1lbnRzIGFuZCBlZmZpY2llbnQgaW1wbGVtZW50YXRpb25zDQp3aXRoIG9y ZGVyZWQgRm9sZGFibGUgY29sbGVjdGlvbnMgKE1hcCwgSW50TWFwLCBTZXQsIC4uLikuDQoNClRo ZSBsYXR0ZXIsIGp1c3QgcmV0dXJuIHF1aWNrbHkgcmV0dXJuIHRoZSBsZWFzdCBvciBncmVhdGVz dCBlbGVtZW50DQp3aXRob3V0IHBheWluZyBhIGxpbmVhciBjb3N0IHRvIHBlcmZvcm0gdGhlIHBy b3Bvc2VkIGZvbGQuDQoNClNvIGluIHByYWN0aWNlLCBpbiBjb2RlIHRoYXQgaXMgcG9seW1vcnBo aWMgaW4gdGhlIGNvbnRhaW5lciB0eXBlLCBpdCBpcw0KYmV0dGVyIHRvIGRlZmluZToNCg0KICAg IG1pbmltdW1NYXliZSA6OiAoT3JkIGEsIEZvbGRhYmxlIHQpID0+IHQgYSAtPiBNYXliZSBhDQog ICAgbWluaW11bU1heWJlIChudWxsIC0+IFRydWUpID0gTm90aGluZw0KICAgIG1pbmltdW1NYXli ZSB4cyA9IEp1c3QgJCEgbWluaW11bSB4cw0KDQogICAgbWF4aW11bU1heWJlIDo6IChCb3VuZGVk IGEsIE9yZCBhLCBGb2xkYWJsZSB0KSA9PiB0IGEgLT4gYQ0KICAgIG1heGltdW1NYXliZSAobnVs bCAtPiBUcnVlKSA9IE5vdGhpbmcNCiAgICBtYXhpbXVtTWF5YmUgeHMgPSBKdXN0ICQhIG1heGlt dW0geHMNCg0KYW5kIHRoZXNlIGNhbiB0aGVuIGJlIGxldmVyYWdlZCB0byB5aWVsZDoNCg0KICAg IGJvdW5kZWRNaW5pbXVtIDo6IChCb3VuZGVkIGEsIE9yZCBhLCBGb2xkYWJsZSB0KSA9PiB0IGEg LT4gYQ0KICAgIGJvdW5kZWRNaW5pbXVtIChtaW5pbXVtTWF5YmUgLT4gSnVzdCBhKSA9IGENCiAg ICBib3VuZGVkTWluaW11bSBfID0gbWF4Qm91bmQNCg0KICAgIGJvdW5kZWRNYXhpbXVtIDo6IChC b3VuZGVkIGEsIE9yZCBhLCBGb2xkYWJsZSB0KSA9PiB0IGEgLT4gYQ0KICAgIGJvdW5kZWRNYXhp bXVtIChtYXhpbXVtTWF5YmUgLT4gSnVzdCBhKSA9IGENCiAgICBib3VuZGVkTWF4aW11bSBfID0g bWluQm91bmQNCg0KYW5kIHZhcmlhbnRzIGZvciBzZW1pLWxhdHRpY2VzLCBlLmcuDQoNCiAgICBu YXRNYXhpbXVtIDo6IEZvbGRhYmxlIHQgPT4gdCBOYXR1cmFsIC0+IE5hdHVyYWwNCiAgICBuYXRN YXhpbXVtIChtYXhpbXVtTWF5YmUgLT4gSnVzdCBuKSA9IG4NCiAgICBuYXRNYXhpbXVtIF8gPSAw DQoNCi0tIA0KICAgIFZpa3Rvci4gIPCfh7rwn4emINCh0LvQsNCy0LAg0KPQutGA0LDRl9C90ZYh DQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpIYXNrZWxs LUNhZmUgbWFpbGluZyBsaXN0IC0tIGhhc2tlbGwtY2FmZUBoYXNrZWxsLm9yZwpUbyAodW4pc3Vi c2NyaWJlLCBtb2RpZnkgb3B0aW9ucyBvciB2aWV3IGFyY2hpdmVzIGdvIHRvOgpPbmx5IG1lbWJl cnMgc3Vic2NyaWJlZCB2aWEgdGhlIG1haWxtYW4gbGlzdCBhcmUgYWxsb3dlZCB0byBwb3N0Lg==