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

[GHC]

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

Comment (by johnleo):

 I created a new bug for `tc_infer_args` (#12931) and set the owner to
 Richard.  Regarding other uses of `substTyUnchecked`, there is already the
 existing bug #11371, which was left open to address them (see
 https://ghc.haskell.org/trac/ghc/ticket/11371#comment:51).  I count at
 least 35 calls to `substTyUnchecked` (run `grep substTyUnchecked */*.hs`
 in the compiler directory); I'm not sure if it's worth listing them all in
 the bug.  I'm closing this bug as fixed.

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