#2674: ghc panic TcPat.checkArgs
------------------------------+---------------------------------------------
 Reporter:  rwbarton          |          Owner:                  
     Type:  bug               |         Status:  new             
 Priority:  normal            |      Milestone:                  
Component:  Compiler          |        Version:  6.8.2           
 Severity:  normal            |     Resolution:                  
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:                    |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Changes (by simonpj):

  * difficulty:  => Unknown

Comment:

 Thanks.  What's happening is this.  The parser ensures that a case
 expression never has zero alternatives, and `checkArgs` assumes this is
 the case; but Template Haskell makes no such guarantee.

 The right thing to do is to check for this when converting from TH to
 `HsSyn`; I've already added some such checks and will add a new one for
 this case.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2674#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to