Commit 5524bc63 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add test for Trac #3092; and follow error message change

parent 98b5f025
Simple3a.hs:10:2:
Wrong category of family instance; declaration was for a data type
In the type synonym instance declaration for `S1'
In the instance declaration for `C1 Int'
{-# LANGUAGE TypeFamilies #-}
module T3092 where
data T a = T1 a
data instance T Int = T2 Char
type S b = b
type instance S Int = Char
T3092.hs:5:0:
Illegal family instance for `T'
(T is not an indexed type family)
In the data type instance declaration for `T'
T3092.hs:8:0:
Illegal family instance for `S'
(S is not an indexed type family)
In the type synonym instance declaration for `S'
......@@ -48,3 +48,4 @@ test('T2203a', normal, compile_fail, [''])
test('T2627b', normal, compile_fail, [''])
test('T2693', normal, compile_fail, [''])
test('T2888', normal, compile_fail, [''])
test('T3092', normal, compile_fail, [''])
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