#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): Not sure what you mean. (1) Short example, we just need the types: {{{ context :: a1 ~ a2 => a1 -> a2 context = undefined }}} We should see {{{context :: (~) a1 a2 => a1 -> a2}}} without {{{ -fprint-explicit-kinds }}} but we see {{{context :: (~) * a1 a2 => a1 -> a2}}} as if {{{ -print-explicit-kinds }}} is on. This is because I don't know yet how to suppres kinds from the {{{IfaceTyConApp}}} tys. Same with: {{{ data A x y fun :: A x y -> a fun = undefined }}} where {{{:info}}} shows {{{fun :: A k1 k2 x y -> a}}} (2) {{{ data STest = P !Int | Q {-# UNPACK #-} !Int | R {-# NOUNPACK #-} !Int }}} We see only {{{ IfStrict }}} comming out, so when doing :info we get {{{ data STest = P !Int | Q !Int | R !Int }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:26 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler