ConstraintKinds seems to be automatically enabled

Brandon Allbery allbery.b at
Thu May 4 22:46:42 UTC 2017

On Thu, May 4, 2017 at 6:42 PM, Wolfgang Jeltsch <g9ks157k at
> 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 ( ).

brandon s allbery kf8nh                               sine nomine associates
allbery.b at                                  ballbery at
unix, openafs, kerberos, infrastructure, xmonad
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list