Opened 11 years ago

Closed 11 years ago

#890 closed bug (fixed)

ghc panics on accessing a labeled field

Reported by: guest Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.4.2
Keywords: Cc:
Operating System: Windows Architecture: x86
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


GHC panics about a following code:

class Bar a where
	bar :: Foo a -> Foo a
	bar x = x { foo = [] }
data Foo a = Bar a => Foo { foo :: [a] }

GHC says:

Chasing modules from: Main.hs Compiling Main ( Main.hs, Main.o ) ghc: panic! (the `impossible' happened, GHC version 6.4.2):

types/Type.lhs:(1107,0)-(1108,77): Non-exhaustive patterns in function zip_ty_env

Change History (1)

comment:1 Changed 11 years ago by simonpj

Resolution: fixed
Status: newclosed

I think this is ok in the HEAD:

    Record update for the non-Haskell-98 data type `Foo' is not (yet) supported
    Use pattern-matching instead
    In the expression: x {foo = []}
    In the definition of `bar': bar x = x {foo = []}
    In the definition for method `bar'
Note: See TracTickets for help on using tickets.