#10547: feature request: expanding type synonyms in error messages -------------------------------------+------------------------------------- Reporter: osa1 | Owner: Type: feature request | Status: new Priority: low | Milestone: 8.0.1 Component: Compiler (Type | Version: checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_fail/ExpandSynsFail1,2,3,4 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1016 Wiki Page: | -------------------------------------+------------------------------------- Comment (by ezyang): Thanks for the nice example. osa1, can you tell why it is slow in this case? Would it be easy to fix? If testing if there is an interesting expansion is slow, then it won't be possible to mention `-fprint-expanded-synonyms` since we won't be able to tell if there is an expansion or not (we could mention it unconditionally but that feels like bad UX.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10547#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler