Commit 4aa886d5 authored by's avatar
Browse files

Add new testcase for Trac #7560.

parent 23b0bf0c
{-# LANGUAGE TypeFamilies #-}
module T7560 where
type family F a
type instance where
F Int = Int
F Bool = Bool
type instance where
F Int = Char
F Double = Double
\ No newline at end of file
Conflicting family instance declarations:
F Int -- Defined at T7560.hs:8:3
F Int -- Defined at T7560.hs:12:3
......@@ -94,3 +94,5 @@ test('T7354a',
['$MAKE -s --no-print-directory T7354a'])
test('T7536', normal, compile_fail, [''])
test('T7560', normal, compile_fail, [''])
\ No newline at end of file
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