#3406: 'impossible' happened while messing around with ScopedTypeVariables
-------------------------------+--------------------------------------------
Reporter: RyanN | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.10.3 | Severity: normal
Keywords: ScopedTypeVariabes | Testcase:
Os: Linux | Architecture: x86_64 (amd64)
-------------------------------+--------------------------------------------
The attached bug.hs was an (incorrect) intermediate step on my way to
figuring out how to make a form of heterogeneous collections using
existential types.
I had just switched on ScopedTypeVariables when I ran into this problem:
ghc: panic! (the 'impossible' happened)
(GHC version 6.10.3 for x86_64-unknown-linux):
readFilledBox a{tv ary} [box]
I tested it on 6.10.1 and 6.10.3 (both got the same error).
I ran it on various flavors of Redhat Enterprise/CentOs.
I also ran into the same crash using 6.8.2 on an 32 bit ubuntu machine, as
well as 6.8.2 on a 64 bit ubuntu machine.
-Ryan
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3406>
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
