Re: [Haskell-cafe] Re: Cabal transitive constraint puzzle

Viktor Dukhovni via ghc-devs <[email protected]> Fri, 6 Mar 2026 02:34:04 +1100
Newsgroups gmane.comp.lang.haskell.ghc.devel,gmane.comp.lang.haskell.cafe
Message-ID <[email protected]> 
T24gVGh1LCBNYXIgMDUsIDIwMjYgYXQgMTI6NDg6NThQTSArMDEwMCwgSGVubmluZyBUaGllbGVt
YW5uIHdyb3RlOg0KDQo+ID4gVGhlIGdlbmVyYWwgcHJpbmNpcGxlIChhbGJlaXQgb25lIHRoYXQg
aXMgbm90IG5lY2Vzc2FyaWx5IHdpZGVseQ0KPiA+IHVuZGVyc3Rvb2Qgb3Igd2VsbCBhZHZlcnRp
c2VkKSBpcyB0aGF0IHBhY2thZ2UgQVBJcyBzaG91bGQgbm90IGRlcGVuZCBvbg0KPiA+IGZsYWcg
YXNzaWdubWVudHMsIGZvciBwcmVjaXNlbHkgdGhlIHJlYXNvbiB5b3Ugb3V0bGluZToNCj4gDQo+
IEkgdGhpbmsgdGhhdCBjb25kaXRpb24gaXMgc2F0aXNmaWVkIGhlcmU6IFRoZSBBUEkgb2YgdGxz
IGlzIGluZGVwZW5kZW50IGZyb20NCj4gd2hldGhlciBtbGtlbSBjYWxscyBjcnlwdG9uIG9yIGNy
eXBvbml0ZS4NCj4gDQo+IFNvIGluIHByaW5jaXBsZSB0aGluZ3Mgc2hvdWxkIHdvcmsgaWYgYHRs
c2AgdXNlcyBgY3J5cHRvbmAsIGFuZCBgbWxrZW1gIHVzZXMNCj4gYGNyeXB0b25pdGVgLCBhcyBD
YWJhbCBtaWdodCBjaG9vc2UgYXMgZGVmYXVsdC4NCg0KU2FkbHksIHRoaW5ncyBkb24ndCB0dXJu
IG91dCB0aGF0IHdheS4gIFZhcmlvdXMgZnVuY3Rpb25zIGluIHRoZSBNTEtFTQ0KQVBJIGNhcnJ5
IHR5cGUgY2xhc3MgY29uc3RyYWludHMgbGlrZSBgTW9uYWRSYW5kb20gcmAsIC4uLiB3aGVyZSB0
aGUNCk1vbmFkUmFuZG9tIGluIHF1ZXN0aW9uIGlzIGVpdGhlciB0aGUgb25lIGZyb20gYGNyeXB0
b25pdGVgIG9yDQpgY3J5cHRvbmAsIGFuZCBzbyBub3QgdGhlIHNhbWUgQVBJIGFzIGZhciBhcyB0
aGUgdHlwZSBzeXN0ZW0gaXMNCmNvbmNlcm5lZC4NCg0KSW4gcGFyaWN1bGFyLCB3aGVuIGB0bHNg
ICh1c2luZyBgY3J5cHRvbmApIHRyaWVzIHRvIHByb3ZpZGUgYQ0KYE1vbmFkUmFuZG9tIHJgLCBp
dCBpcyB0aGUgKndyb25nKiBvbmUgd2hlbiBgbWxrZW1gIGlzIGJ1aWx0IHdpdGgNCmBjcnlwdG9u
aXRlYCBhbmQgdGhlIGNvZGUgZmFpbHMgdG8gY29tcGlsZS4NCg0KQm90dG9tIGxpbmUsIHRoZSB0
d28gdmFyaWFudHMgb2YgYG1sa2VtYCBkb24ndCBlbmQgdXAgb2ZmZXJpbmcgdGhlIHNhbWUNCkFQ
SSAoZGlzdGluY3QgdHlwZSBzaWduYXR1cmVzLCB0aGF0IG9ubHkgbG9vayB0aGUgc2FtZSkuDQoN
ClNvIGVpdGhlciBmb3JraW5nIGBtbGtlbWAgb3IgYSBtYWpvciB2ZXJzaW9uIGJ1bXAgc2VlbSB0
byBiZSB0aGUNCnNlbnNpYmxlIGNob2ljZXMuICBJIGhvcGUgT2xpdmllciBjYW4gYmUgY29udmlu
Y2VkIHRvIGdvIHRoZSB2ZXJzaW9uDQpidW1wIHJvdXRlLg0KDQotLSANCiAgICBWaWt0b3IuICDw
n4e68J+HpiDQodC70LDQstCwINCj0LrRgNCw0ZfQvdGWIQ0KX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX18KZ2hjLWRldnMgbWFpbGluZyBsaXN0IC0tIGdoYy1k
ZXZzQGhhc2tlbGwub3JnClRvIHVuc3Vic2NyaWJlIHNlbmQgYW4gZW1haWwgdG8gZ2hjLWRldnMt
bGVhdmVAaGFza2VsbC5vcmcK