Commit 42c70cac authored by simonpj's avatar simonpj
Browse files

[project @ 2002-12-02 09:06:43 by simonpj]

This one paniced 5.04
parent bad9f9a2
...@@ -28,4 +28,5 @@ test('tcrun022', normal, compile_and_run, ['-O -fglasgow-exts']) ...@@ -28,4 +28,5 @@ test('tcrun022', normal, compile_and_run, ['-O -fglasgow-exts'])
test('tcrun023', normal, compile_and_run, ['-O']) test('tcrun023', normal, compile_and_run, ['-O'])
test('tcrun024', normal, compile_and_run, ['-O']) test('tcrun024', normal, compile_and_run, ['-O'])
test('tcrun025', normal, multimod_compile_and_run, ['tcrun025','']) test('tcrun025', normal, multimod_compile_and_run, ['tcrun025',''])
test('tcrun026', normal, compile_and_run, [''])
test('church', normal, compile_and_run, ['']) test('church', normal, compile_and_run, [''])
{-# OPTIONS -fglasgow-exts #-}
-- Crashed GHC 5.04 with tcTyC
-- panic: tcSplitTyConApp forall x{-r6S-} :: *.
-- Main.L{-rr-} x{-r6S-}
module Main where
newtype FA c = FA (forall x . c x)
newtype L x = L [x]
my_nil = FA (L []) :: FA L
sample :: String
sample = case my_nil of FA (L x) -> "foo"++x
-- -- but this works fine
-- sample = case my_nil of FA x -> case x of L y -> "foo"++y
main = print sample
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment