repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
signal
[clean-tests.git]
/
dyn
/
test.icl
1
module test
2
3
import StdEnv
4
5
:: Exist = E.e: Ex e & TC e & == e
6
7
Start = Ex 42 == Ex 42
8
9
instance == Exist
10
where
11
(==) (Ex e1) (Ex e2) = dynEq (dynamic e1) e2
12
13
dynEq :: Dynamic -> (a -> Bool) | TC, == a
14
dynEq (a :: a^) = (==) a
15
dynEq _ = const False