#8084: Enabling PolyKinds makes some type errors weird
--------------------------------------------+------------------------------
Reporter: MartijnVanSteenbergen | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Test Case: | Difficulty: Unknown
Blocking: | Blocked By:
| Related Tickets:
--------------------------------------------+------------------------------
Comment (by kosmikus):
I agree that the information is very useful, but generally, I'd like
information printed by GHC to be valid Haskell. One way to achieve that
would be to print kind arguments as comments:
{{{
Any {- * -} Y
}}}
But it's very noisy. I'm not even sure I like this myself ...
Having a flag to enable/disable them definitely seems useful, too. I don't
care much about the default.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8084#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
