On Thu, 14 Dec 2017 at 4:13 PM, Clinton Mead <redir...@vodafone.co.nz> wrote:
> > I've panicked GHC enough whilst developing Freelude so whilst I'm not sure > exactly what you're saying I'd be hestiant about exploiting anything bogus > (8.2 btw seems far more stable than 8.0 btw). > ;-) Fair enough. "bogus" is SPJ's way of saying: it works, but it isn't supported by deep type theory. 'C'est brutal mais ca marche.' And that particular exploit has been stable since 2004 at least: the HList library totally relied on it until Closed Type Families arrived. AntC
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users