Merge branch 'master' of git.martlubbers.net:clean-tests

[clean-tests.git] / funcdeps / test.icl

diff --git a/funcdeps/test.icl b/funcdeps/test.icl
index f9ef764..56022e9 100644 (file)
--- a/funcdeps/test.icl
+++ b/funcdeps/test.icl
@@ -1,6 +1,6 @@
 module test
 
-import StdMisc
+import StdEnv
 
 :: Zero = Zero
 :: Succ a = Succ a
@@ -20,3 +20,9 @@ where
 
 Start :: Int
 Start = 42
+
+class fmap t :: (a -> b) (t a) -> t b
+
+instance fmap ((,)a) where fmap f (a, b) = (a, f b)
+
+Start = fmap inc (42, 37)