[GHC] #15898: Promoted type constructors don't print right in HsType

[GHC]

#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