Unverified Commit f9e2851f authored by Mart Lubbers's avatar Mart Lubbers Committed by GitHub

Fix the generic dependency example

parent 105d0107
......@@ -152,7 +152,7 @@ bs_context =
, "sum :: [a] -> a | zero, + a // a must instantiate zero and +\nsum [] = zero\nsum [x:xs] = x + sum xs"
, "(<+) infixr 5 :: a b -> String | toString a & toString b // a and b must instantiate toString\n(<+) x y = toString x +++ toString y"
, "isMember :: a [a] -> Bool special a=Int // specialised instance for integer lists for efficiency"
, "generic gFun a | gDefault a, gEq a" // Generic dependency
, "generic gFun a | gDefault a, gEq a :: a -> Int" // Generic dependency
]
}
......
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