
#13610: Unhelpful error messages about lifted and unlifted types -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): I guess the question is this: should `-fprint-explicit-kinds` print unboxed tuple types in prefix so that the levity arguments are displayed? I think: no. But perhaps `-fprint-explicit-runtime-reps` should, and GHC should be taught to tell the user about this flag instead of `-fprint- explicit-kinds` in this scenario. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13610#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler