blob: 830b05fc75d9de7e9db6adc58d8ed11e674fcba9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies #-}
module ShouldFail where
data family C9 a b :: *
data instance C9 Int Int = C9IntInt
-- must fail: conflicting
data instance C9 Int Int = C9IntInt2
type family D9 a b :: *
type instance D9 Int Int = Char
-- must fail: conflicting
type instance D9 Int Int = Int
|
