#14796: Pretty-printer bug -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.5 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 Iceland_jack): Ryan had trouble reproducing it so here it is for 8.2.1 {{{ $ ghci-8.2.1 -ignore-dot-ghci GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Prelude> :set -XGADTs -XConstraintKinds -XTypeApplications Prelude> data ECC ctx f a where ECC :: ctx => f a -> ECC ctx f a Prelude> :t ECC @() @[] @() ECC @() @[] @() :: [()] -> ECC () :: Constraint [] () }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14796#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler