repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
.
[clean-tests.git]
/
old
/
overloading_tc
/
test.icl
1
module test
2
3
import StdEnv
4
5
class type a | c1 a & TC a
6
7
class c1 a :: a -> Int
8
class rtrn v :: v ()
9
class arith v
10
where
11
(+.) :: (v a) (v a) -> (v a) | type, + a
12
13
//:: WMT = E.e v: WMT (v e) & type e & iTask e & rtrn v & arith v
14
:: WMT = E.e v: WMT (v e) & type e & rtrn v & arith v
15
16
Start :: [WMT]
17
Start =
18
[undef
19
,undef
20
]