blob: b0457a693384c89bf2b04d546a3d6390538c8559 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeFamilies #-}
module ShouldFail where
data family C9 a b :: *
data instance C9 Int Int = C9IntInt
data instance C9 [a] Int = C9ListInt
data instance C9 [Int] [a] = C9ListList2
-- must fail: conflicting
data instance C9 [a] [Int] = C9ListList
|