Commit cfaecbdd authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #2944

parent ffdda437
{-# LANGUAGE TypeFamilies #-}
-- Test Trac #2944
module T2944 where
type family T a :: *
f1 :: T a ~ () => a
f1 = f2
f2 :: T a ~ () => a
f2 = f1
......@@ -125,4 +125,5 @@ test('T2627', normal, compile, [''])
test('T2448', normal, compile, [''])
test('T2291', normal, compile, [''])
test('T2639', normal, compile, [''])
test('T2944', normal, compile, [''])
test('TF_GADT', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
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