#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 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): I have managed to fix this (not yet for kind!) using the tidying machinery from {{{ MkIface}}}. I first tried going through {{{IfaceDecl}}} as Simon suggested here and in #8776, but this gets really messy because as Gergo observed {{{tyThingToIfaceDecl}}} doesn't work for {{{RealDataCon}}}, and I also observed the same story for {{{ClassOpId}}} and this will require us keep {{{TyThing}}} in certain cases. I thing this will lead to code that is more complex and harder to understand in the long run. I also haven't looked into how this relates to #8776 but I thing we can also go without conversion to {{{IfaceDecl}}} in that case. I will have a patch ready in a couple of days(some other things came up) and after we further discuss the right aproach. Andrei -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler