repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
495a59dda77e3be5a644adc9c0f9d5c7a7edc0fd
[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