Commit 569de64d authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

TypeFamilies: should_compile/Simple20

parent 1b7f854d
{-# LANGUAGE TypeFamilies #-}
module ShouldCompile where
type family F a
type instance F [a] = [F a]
foo :: (F [a] ~ a) => a
foo = undefined
...@@ -20,6 +20,7 @@ test('Simple16', normal, compile, ['']) ...@@ -20,6 +20,7 @@ test('Simple16', normal, compile, [''])
test('Simple17', expect_fail, compile, ['']) test('Simple17', expect_fail, compile, [''])
test('Simple18', normal, compile, ['']) test('Simple18', normal, compile, [''])
test('Simple19', normal, compile, ['']) test('Simple19', normal, compile, [''])
test('Simple20', expect_fail, compile, [''])
test('ind1', normal, compile, ['']) test('ind1', normal, compile, [''])
test('ind2', expect_fail_ways_if_compiler_lt('ghc','6.9',['profc','profasm']), test('ind2', expect_fail_ways_if_compiler_lt('ghc','6.9',['profc','profasm']),
......
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