Commit e80ab122 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test for Trac #940

parent 0b4b8c0a
......@@ -226,6 +226,7 @@ test('tc210', normal, compile, [''])
test('tc211', normal, compile, [''])
test('tc212', normal, compile, [''])
test('tc213', normal, compile, [''])
test('tc214', normal, compile, [''])
# Omitting temporarily
# test('syn-perf', normal, compile, ['-fcontext-stack=30'])
......
{-# OPTIONS_GHC -fglasgow-exts #-}
-- This program sent GHC 6.6 into a loop, because the fixpointing
-- of the substitution in type refinement got its in-scope-set
-- from the answer!
module ShouldCompile where
------------------
data Foo a b where F :: a -> Foo () a
bar :: Foo () (forall a.a) -> ()
bar (F _) = ()
------------------
data Foo2 a where F2 :: a -> Foo2 [a]
bar2 :: Foo2 [forall a.a] -> ()
bar2 (F2 _) = ()
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