X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=funcdeps%2Ftest.icl;h=56022e9f2f4ffa982fdf825a462d35aa0a237233;hb=0ca0e0086ac4e1b0be40f820d213fcfcb7deec20;hp=f9ef7647cc13a202af6552de729ee9de5b9e43fd;hpb=f97a5bd0b5f76a04c484555f7ff16b0f3ba152bb;p=clean-tests.git

diff --git a/funcdeps/test.icl b/funcdeps/test.icl
index f9ef764..56022e9 100644
--- 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)