#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.3 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): We could solve (2) by just adding another field to {{{IfaceConDecl}}} in order to also keep the original bang info and not just the representation one. I'm still investigating (1) and trying to find the corect way to distinguish kinds from types using the information we have available. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:27 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler