repositories
/
clean-tests.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
bork
[clean-tests.git]
/
dyn
/
test.icl
diff --git
a/dyn/test.icl
b/dyn/test.icl
index
bddb9bd
..
495a59d
100644
(file)
--- a/
dyn/test.icl
+++ b/
dyn/test.icl
@@
-1,5
+1,15
@@
module test
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