<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>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.</div><div><br></div><div>I'll post.</div><div><br></div><div>Thanks for bringing this up!</div><div>Richard</div><br><div><div>On Dec 26, 2013, at 10:30 PM, Nathan Howell <<a href="mailto:nathan.d.howell@gmail.com">nathan.d.howell@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><p dir="ltr">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: <a href="https://gist.github.com/NathanHowell/8138977">https://gist.github.com/NathanHowell/8138977</a></p><p dir="ltr">thanks,<br>
-n</p>
_______________________________________________<br>ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>http://www.haskell.org/mailman/listinfo/ghc-devs<br></blockquote></div><br></body></html>