ConstraintKinds seems to be automatically enabled

Carter Schonwald 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>
> wrote:
>
>> 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
>> associates
>> allbery.b at gmail.com
>> ballbery at sinenomine.net
>> unix, openafs, kerberos, infrastructure, xmonad
>> http://sinenomine.net
>>
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20170505/137dc894/attachment.html>


More information about the Glasgow-haskell-users mailing list