ConstraintKinds seems to be automatically enabled
carter.schonwald at gmail.com
Fri May 5 14:20:15 UTC 2017
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.schonwald at gmail.com> 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 <allbery.b at gmail.com>
>> 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/g
>> hc/ticket/11715 ).
>> brandon s allbery kf8nh sine nomine
>> allbery.b at gmail.com
>> ballbery at sinenomine.net
>> unix, openafs, kerberos, infrastructure, xmonad
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users