[GHC] #9879: Panic with partial type signatures

GHC ghc-devs at haskell.org
Thu Dec 11 14:05:31 UTC 2014


#9879: Panic with partial type signatures
-------------------------------------+-------------------------------------
       Reporter:  monoidal           |                   Owner:
           Type:  bug                |                  Status:  new
       Priority:  normal             |               Milestone:
      Component:  Compiler (Type     |                 Version:  7.9
  checker)                           |        Operating System:
       Keywords:                     |  Unknown/Multiple
   Architecture:  Unknown/Multiple   |         Type of failure:  GHCi crash
     Difficulty:  Unknown            |               Test Case:
     Blocked By:                     |                Blocking:
Related Tickets:                     |  Differential Revisions:
-------------------------------------+-------------------------------------
 Attempting to check kind of type hole `_` in GHCi or putting it in a TH
 quotation causes a panic `rnHsTyKi HsWildcardTy`:

 {{{
 :kind _

 let x = [t|_|]
 }}}

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


More information about the ghc-tickets mailing list