X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=funcdeps%2Ftest.icl;h=3f9bb2175c40f3afae8a3425b4086e3082db3678;hb=e93ca347c979046dff47bdd1f12c582a6bf70cac;hp=5a035458d3fef44f41bfd0cf142c1465ba178b6b;hpb=5ca0aeeb9cd8f264c1dafcd54082e429571f59c1;p=clean-tests.git

diff --git a/funcdeps/test.icl b/funcdeps/test.icl
index 5a03545..3f9bb21 100644
--- a/funcdeps/test.icl
+++ b/funcdeps/test.icl
@@ -1,18 +1,9 @@
 module test
 
-import StdMisc
+import StdEnv
 
-:: Zero = Zero
-:: Succ a = Succ
+class fmap t :: (a -> b) (t a) -> t b
 
-:: Ar3 a b c :== (a -> b -> c)
+instance fmap ((,)a) where fmap f (a, b) = (a, f b)
 
-class C m :: (m b)
-
-instance C ((->) a) where C = \x->undef
-
-Start :: (a -> b -> c)
-Start = t
-
-t :: (Ar3 a b c)
-t = C
+Start = fmap inc (42, 37)