Commit 9ae96c09 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Type families: test for tau typeness of rhs of type instances

parent 71900040
{-# OPTIONS -ftype-families -fglasgow-exts #-}
module ShouldFail where
type family C a :: *
type instance C Int = forall a. [a]
Simple12.hs:6:0:
Illegal polymorphic type in type instance: forall a. [a]
......@@ -18,6 +18,7 @@ test('Simple11a', normal, compile_fail, [''])
test('Simple11b', normal, compile_fail, [''])
test('Simple11c', normal, compile_fail, [''])
test('Simple11d', normal, compile_fail, [''])
test('Over', normal, multimod_compile_fail, ['OverD', '-no-hs-main -no-link'])
test('Simple12', normal, compile_fail, [''])
test('Over', normal, multimod_compile_fail, ['OverD', '-no-hs-main -no-link'])
clean(['OverA.hi', 'OverA.o', 'OverB.hi', 'OverB.o', 'OverC.hi', 'OverC.o'])
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