ConstraintKinds seems to be automatically enabled

[Brandon Allbery]

On Thu, May 4, 2017 at 6:42 PM, Wolfgang Jeltsch <g9ks157k at acme.softbase.org
> 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/ghc/ticket/11715 ).

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20170504/d0834353/attachment.html>