[GHC] #12549: Panic on ":t datatypeName"

[GHC]

#12549: Panic on ":t datatypeName"
---------------------------------+--------------------------------------
        Reporter:  johnleo       |                Owner:
            Type:  bug           |               Status:  new
        Priority:  normal        |            Milestone:
       Component:  Compiler      |              Version:  8.1
      Resolution:                |             Keywords:
Operating System:  MacOS X       |         Architecture:  x86_64 (amd64)
 Type of failure:  None/Unknown  |            Test Case:
      Blocked By:                |             Blocking:
 Related Tickets:                |  Differential Rev(s):
       Wiki Page:                |
---------------------------------+--------------------------------------

Comment (by johnleo):

 Does not reproduce in 8.0.1.  Behavior in 8.0.1 is the following:

 {{{#!hs
 :t datatypeName
 datatypeName
   ∷ ∀ {d} {t ∷ ★ → (* → *) → ★ → ★} {f ∷ * → *} {a}.
     Datatype ★ d ⇒
     t d f a → [Char]

 }}}

 Note the inconsistent `*` and `★`.  I was trying this out in 8.1 since I'd
 seen this behavior in 8.0.1 and intended to create a bug for it and fix
 it.  I haven't made any changes to the 8.1 code.  It looks like someone
 else had already been playing in this area.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12549#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler