#15898: Promoted type constructors don't print right in HsType -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | ghci/scripts/T15898 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by alpmestan): * cc: alpmestan (added) Comment: As you can see in this validate run: https://circleci.com/gh/ghc/ghc/11395 {{{#!hs Actual stderr output differs from expected: --- /dev/null 2018-11-16 06:39:05.702159000 +0000 +++ ghci/scripts/T15898.run/T15898.run.stderr.normalised 2018-11-16 09:54:38.995083401 +0000 @@ -0,0 +1,52 @@ + +<interactive>:3:1: + Couldn't match kind ‘()’ with ‘*’ + When matching types + a0 :: * + '() :: () + In the expression: undefined :: '() + In an equation for ‘it’: it = undefined :: '() + +<interactive>:3:14: + Expected a type, but ‘'()’ has kind ‘()’ + In an expression type signature: '() + In the expression: undefined :: '() + In an equation for ‘it’: it = undefined :: '() + +<interactive>:4:14: + Expected kind ‘* -> *’, but ‘Proxy '()’ has kind ‘*’ + In an expression type signature: Proxy '() Int + In the expression: undefined :: Proxy '() Int + In an equation for ‘it’: it = undefined :: Proxy '() Int + +<interactive>:5:1: + Couldn't match kind ‘[*]’ with ‘*’ + When matching types + a0 :: * + '[(), ()] :: [*] + In the expression: undefined :: [(), ()] + In an equation for ‘it’: it = undefined :: [(), ()] + +<interactive>:5:14: + Expected a type, but ‘[(), ()]’ has kind ‘[*]’ + In an expression type signature: [(), ()] + In the expression: undefined :: [(), ()] + In an equation for ‘it’: it = undefined :: [(), ()] + +<interactive>:6:1: + Couldn't match kind ‘([k0], [k1])’ with ‘*’ + When matching types + a0 :: * + '( '[], '[]) :: ([k0], [k1]) + In the expression: undefined :: '( '[], '[]) + In an equation for ‘it’: it = undefined :: '( '[], '[]) + Relevant bindings include + it :: '( '[], '[]) (bound at <interactive>:6:1) + +<interactive>:6:14: + Expected a type, but ‘'( '[], '[])’ has kind ‘([k0], [k1])’ + In an expression type signature: '( '[], '[]) + In the expression: undefined :: '( '[], '[]) + In an equation for ‘it’: it = undefined :: '( '[], '[]) + Relevant bindings include + it :: '( '[], '[]) (bound at <interactive>:6:1) *** unexpected failure for T15898(ghci) }}} T15898 doesn't pass in the ghci way on HEAD. Should we re-open this ticket, or is it a new problem? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15898#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler