woops, i mispoke, its probably that bug brandon spoke of or somesuch, didn't look closely enough at the previous email :)
On Fri, May 5, 2017 at 10:14 AM, Carter Schonwald < [email protected]> wrote: > in newer versions of ghc, client code of a module that uses constraint > kinds gets constraint kinds enabled. > > this is to make it pleasant to use constraint kinds in libraries. > > this is deliberate feature :) > > On Thu, May 4, 2017 at 6:46 PM, Brandon Allbery <[email protected]> > wrote: > >> On Thu, May 4, 2017 at 6:42 PM, Wolfgang Jeltsch < >> [email protected]> wrote: >> >>> In my previous e-mail, I showed some code that uses the Constraint kind. >>> I forgot to enable the ConstraintKinds extension though, but GHC 8.0.1 >>> did not complain. Is this a bug? >>> >> >> I think it's a known side effect of * being conflated with Constraint, a >> problem that is actively being worked on ( https://ghc.haskell.org/trac/g >> hc/ticket/11715 ). >> >> -- >> brandon s allbery kf8nh sine nomine >> associates >> [email protected] >> [email protected] >> unix, openafs, kerberos, infrastructure, xmonad >> http://sinenomine.net >> >> _______________________________________________ >> Glasgow-haskell-users mailing list >> [email protected] >> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users >> >> >
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
