Commit 8632b534 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5306

parent 41e5e783
{-# LANGUAGE TypeFamilies #-}
module T5306 where
import T5306b(F(FInt)) -- succeeds
import T5306a(F(FBool)) -- failed (before fix)
{-# LANGUAGE TypeFamilies #-}
module T5306a where
import T5306b
data instance F Bool = FBool
{-# LANGUAGE TypeFamilies #-}
module T5306b where
data family F a
data instance F Int = FInt
......@@ -177,3 +177,9 @@ test('T2436',
['T2436', '-v0'])
test('T5331', normal, compile, ['']) # Unused tyvar warnings
test('T5334', normal, compile, ['']) # Unused tyvar warnings
test('T5306',
[only_compiler_types(['ghc']),
extra_clean(['T5306a.hi', 'T5306a.o',
'T5306b.hi', 'T5306b.o'])],
multimod_compile,
['T5306', '-v0'])
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