#13780: Nightmarish pretty-printing of equality type in GHC 8.2 error message -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.2.1-rc2 checker) | Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: Poor/confusing | Unknown/Multiple error message | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * owner: (none) => goldfire Comment: I think this is another piece of fallout from the horrible `uo_thing` mess. We are printing a `Type` in a place where we should printing a `HsType`. Richard is planning it investigate and simplify. c.f. #13601, and [wiki:RichardAndSimon] -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13780#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler