#11660: Remove Type pretty-printer in favor of IfaceType -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: task | Status: patch Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #12550, #12447, | Differential Rev(s): Phab:D2528 #11786, #11549, #12024, #12697, | #12510 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): What's the inferred pattern type of `IsList` (#12697) {{{#!hs pattern IsList <- (eqTT TL -> Just HRefl) where IsList = TL }}} Is it {{{#!hs pattern List :: () => [] ~~ b => T b }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11660#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler