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

Type families: add test case for deriving of assoc data families

parent 333f2a94
......@@ -19,3 +19,12 @@ data family R a
data instance R [a] = R
derive instance Eq (R [a])
class C a where
data S a
instance C Int where
data S Int = SInt deriving Eq
bar :: S Int -> Bool
bar x = x == x
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