[GHC] #1396: Panic in slitFunTy

[GHC]

#1396: Panic in slitFunTy
-------------------------------+--------------------------------------------
  Reporter:  Michael D. Adams  |          Owner:       
      Type:  bug               |         Status:  new  
  Priority:  normal            |      Milestone:       
 Component:  Compiler          |        Version:  6.6.1
  Severity:  normal            |       Keywords:       
Difficulty:  Unknown           |             Os:  Linux
  Testcase:                    |   Architecture:  x86  
-------------------------------+--------------------------------------------
This code:

 {{{
 {-# OPTIONS -fglasgow-exts #-}

 module SYZ where

 data Right provides final where
   RightNull :: Right final final
   RightCons :: b -> Right a final -> Right (b -> a) final

 collapse_right :: right -> Right right final -> final
 --collapse_right f (RightNull)     = f
 collapse_right f (RightCons b r) = collapse_right (f b) r
 }}}

 causes this panic:

 {{{
 $ ghc SYZ.hs
 ghc-6.6.1: panic! (the 'impossible' happened)
   (GHC version 6.6.1 for i386-unknown-linux):
         splitFunTy right{tv adJ} [sk]

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}

 However, GHC 6.6 has no problem with this code.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1396>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs