#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