Commit e6e45a1c authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #9404 (typecheck/should_compile/T9404 and T9404b)

parent 294ac47e
{-# LANGUAGE UnboxedTuples #-}
module T9404 where
foo _ = case seq () (# #) of (# #) -> ()
foo2 _ = case () `seq` (# #) of (# #) -> ()
{-# LANGUAGE RankNTypes, TypeFamilies #-}
module T9404b where
type family ListTF x where
ListTF x = [x]
bar :: (forall x. ListTF x -> Int) -> ()
bar _ = ()
myconst :: ((forall r. ListTF r -> Int) -> ()) -> x -> (forall r. ListTF r -> Int) -> ()
myconst x _ = x
foo = (bar `myconst` ()) $ length
foo2 = (myconst bar ()) $ length
......@@ -422,3 +422,5 @@ test('T8856', normal, compile, [''])
test('T9117', normal, compile, [''])
test('T9117_2', expect_broken('9117'), compile, [''])
test('T9708', normal, compile_fail, [''])
test('T9404', expect_broken(9404), compile, [''])
test('T9404b', expect_broken(9404), compile, [''])
Supports Markdown
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