GeneralizedNewtypeDeriving regression in HEAD?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

GeneralizedNewtypeDeriving regression in HEAD?

Nathan Howell-2
I can't file a trac ticket at the meny but wanted to see if this is a
bug... This is an excerpt from llvm-general that compiles on 7.6.3 but
doesn't without ImpredicativeTypes enabled on HEAD:
https://gist.github.com/NathanHowell/8138977

thanks,
-n
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131226/fa191983/attachment.html>

Reply | Threaded
Open this post in threaded view
|

GeneralizedNewtypeDeriving regression in HEAD?

Richard Eisenberg-2
I would say you do indeed need impredicative types to compile the instance you request -- you need to instantiate a type variable with a forall-type. But, whether or not we should require users to actually specify ImpredicativeTypes to compile code that we're generating is another question. And, the error message is terrible, regardless.

I'll post.

Thanks for bringing this up!
Richard

On Dec 26, 2013, at 10:30 PM, Nathan Howell <nathan.d.howell at gmail.com> wrote:

> I can't file a trac ticket at the meny but wanted to see if this is a bug... This is an excerpt from llvm-general that compiles on 7.6.3 but doesn't without ImpredicativeTypes enabled on HEAD: https://gist.github.com/NathanHowell/8138977
>
> thanks,
> -n
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131226/1bd1cd83/attachment.html>