Commit e3dc5c6e authored by simonpj's avatar simonpj
Browse files

test wibbles

parent c7749685
......@@ -58,7 +58,7 @@ lam,lam2 :: Arrow (~>) => (e,b)~>c -> e~>(b~>c)
lam f = arr $ \ e -> arr (pair e) >>> f
pair = (,)
pair a b = (a,b)
-- I got the definition lam above by starting with
......
......@@ -20,6 +20,10 @@ If instead we'd had
class (F x ~ y) => Foo x y where
type F x
foo :: x -> y
Then after canonicalising we get
Given: Foo x y, Bar y z, F x ~ y
Wanted: Foo x beta, Bar beta z
-}
module ShouldCompile where
......
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