#14343: bad pretty-printing of types with promoted data types -------------------------------------+------------------------------------- Reporter: lspitzner | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{
:set -XDataKinds :set -XPolyKinds data Proxy k = Proxy _ :: Proxy '[ 'True ] error: Found hole: _ :: Proxy '['True] _ :: Proxy '['True] error: Invalid type signature: _ :: ... Should be of form <variable> :: <type> }}}
Alternatively, this could be attributed to the parser/lexer doing an insufficient job there. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14343 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler