FW: Existential datatypes with contexts crash ghci

[Julian Seward (Intl Vendor)]

Just to say this bug is now fixed in both the head
and stable branches.

J

| | -----Original Message-----
| | From: Lauri Alanko [mailto:la at iki.fi]
| | Sent: Sunday, April 29, 2001 4:39 PM
| | To: glasgow-haskell-bugs at haskell.org
| | Subject: Existential datatypes with contexts crash ghci
| | 
| | 
| | Hello. Given the source:
| | 
| | 
| | module GHCITst where
| | 
| | data Q = forall x . Show x => Q x
| | 
| | showQ (Q x) = show x
| | 
| | 
| | GHCi behaves like this:
| | 
| |    ___         ___ _
| |   / _ \ /\  /\/ __(_)
| |  / /_\// /_/ / /  | |      GHC Interactive, version 5.01, For 
| | Haskell 98.
| | / /_\\/ __  / /___| |      http://www.haskell.org/ghc/
| | \____/\/ /_/\____/|_|      Type :? for help.
| | 
| | Loading package std ... linking ... done.
| | Prelude> :l GHCITst
| | Compiling GHCITst          ( GHCITst.hs, interpreted )
| | Ok, modules loaded: GHCITst.
| | GHCITst> showQ (Q "foo")
| | Segmentation fault
| | 
| | 
| | The behavior is the same for 5.00. Tested both on
| | debian-unstable, linux 2.4.4, glibc-2.2.2, gcc-2.95.4 and 
| | redhat 6.1, linux-2.2.19, glibc-2.1.3, egcs-1.1.2.
| | 
| | Prithee, somebody fix this, I would _so_ love to migrate from
| | hugs and get all the yummy ghc extensions and hslibs when 
| | using an interpreter. :)
| | 
| | 
| | Lauri Alanko
| | la at iki.fi
| | 
| | _______________________________________________
| | Glasgow-haskell-bugs mailing list
| | Glasgow-haskell-bugs at haskell.org 
| | http://www.haskell.org/mailman/listinfo/glasgo| w-haskell-bugs
| |