Commit 34366e9a authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Type families: more overlap checks

parent 4afef64f
......@@ -6,3 +6,11 @@ data family C9 a b :: *
data instance C9 Int Int = C9IntInt
data instance C9 [a] Int = C9ListInt
data instance C9 [Int] [a] = C9ListList2
type family D a
type instance D (Int, a) = (Int, a)
type instance D (a, Int) = (Int, Int)
type family E a
type instance E (Char, b) = ([Char], b)
type instance E (a, Int) = (String, Int)
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