X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=dyn%2Ftest.icl;h=495a59dda77e3be5a644adc9c0f9d5c7a7edc0fd;hb=b2a4b7c5c620e9d85bda8afa1c5e804ee98ffd89;hp=bddb9bdc0371b017fd129ac927d6142b1aaaabfc;hpb=af595886d03bdf67057026993cebda553661eff5;p=clean-tests.git

diff --git a/dyn/test.icl b/dyn/test.icl
index bddb9bd..495a59d 100644
--- a/dyn/test.icl
+++ b/dyn/test.icl
@@ -1,5 +1,15 @@
 module test
 
-import T
+import StdEnv
 
-Start = dynamic someT
+:: Exist = E.e: Ex e & TC e & == e
+
+Start = Ex 42 == Ex 42
+
+instance == Exist
+where
+	(==) (Ex e1) (Ex e2) = dynEq (dynamic e1) e2
+
+dynEq :: Dynamic -> (a -> Bool) | TC, == a
+dynEq (a :: a^) = (==) a
+dynEq _ = const False