#14875: -ddump-splices pretty-printing oddities with case statements -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Debugging | Unknown/Multiple information is incorrect | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):
As currently designed, however, TyPrec doesn't fit neatly into this PprPrec paradigm
Yes it does! The Note says that currently `FunPrec` and `TyOpPrec` are treated as equal. So we could say {{{ funPrec = Prec 2 tyOpPrec = Prec 2 }}} We have two names so that we can later give them different precedence if we want. As the note says {{{ But the two are different constructors of TyPrec so we could make (->) bind more or less tightly if we wanted. }}} Seems a neat fit to me. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14875#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler