Opened 10 years ago

Closed 10 years ago

Last modified 10 years ago

#1396 closed bug (fixed)

Panic in slitFunTy

Reported by: Michael D. Adams Owned by:
Priority: normal Milestone: 6.8.1
Component: Compiler Version: 6.6.1
Keywords: Cc:
Operating System: Linux Architecture: x86
Type of failure: None/Unknown Test Case: gadt24
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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:

However, GHC 6.6 has no problem with this code.

Change History (3)

comment:1 Changed 10 years ago by simonpj

Milestone: 6.6.2

Sigh. It's ok in the HEAD, which is good.

Could someone add a case to the test suite (and record it in the test-case field of this bug).


comment:2 Changed 10 years ago by Michael D. Adams

Resolution: fixed
Status: newclosed
Test Case: gadt24

Marking as fixed since it's ok in the HEAD.

comment:3 Changed 10 years ago by simonmar

Note: See TracTickets for help on using tickets.