Commit 05a57acb authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Failing tyfam test

This one actually generates completely bogus Core which doesn't pass CoreLint.
parent 4657d09b
{-# LANGUAGE TypeFamilies #-}
module Simple17 where
foo :: Int -> Int
foo n = bar n
where
bar :: t ~ Int => Int -> t
bar n = n
......@@ -17,6 +17,7 @@ test('Simple13', normal, compile, [''])
test('Simple14', expect_fail, compile, [''])
test('Simple15', expect_fail, compile, [''])
test('Simple16', normal, compile, [''])
test('Simple17', expect_fail, compile, [''])
test('ind1', normal, compile, [''])
test('ind2', normal, multimod_compile, ['ind2', '-v0'])
......
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