repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
.
[clean-tests.git]
/
fixdeep
/
test.icl
1
module test
2
3
import StdEnv, StdMaybe
4
import Data.Functor
5
6
:: Expr v
7
= Lit Int
8
| Add (Expr v) (Expr v)
9
| E.e: Ext (e v) & eval e v
10
:: Fix f = Fix (f (Fix f))
11
12
13
class eval t v where
14
eval :: (t v) -> Int
15
instance eval Expr v
16
where
17
eval (Lit i) = i
18
19
20
Start = eval t
21
22
t :: Expr (Fix Expr)
23
t = Lit 42