Re: ConstraintKinds seems to be automatically enabled

2017-05-05 Thread Carter Schonwald
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 < carter.schonw...@gmail.com> wrote: > in newer versions of ghc, client code of a module that uses constraint > kinds gets

Re: ConstraintKinds seems to be automatically enabled

2017-05-05 Thread Carter Schonwald
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 wrote: > On Thu, May

Re: ConstraintKinds seems to be automatically enabled

2017-05-04 Thread Brandon Allbery
On Thu, May 4, 2017 at 6:42 PM, Wolfgang Jeltsch 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

ConstraintKinds seems to be automatically enabled

2017-05-04 Thread Wolfgang Jeltsch
Hi! 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? All the best, Wolfgang ___ Glasgow-haskell-users mailing list