HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Reduce toplevel environment decls and allow them in user config
[hcoop/domtool2.git]
/
src
/
eval.sig
diff --git
a/src/eval.sig
b/src/eval.sig
index
3d05210
..
557e8c1
100644
(file)
--- a/
src/eval.sig
+++ b/
src/eval.sig
@@
-20,7
+20,7
@@
signature EVAL = sig
signature EVAL = sig
- val exec :
Env.env_vars
-> Ast.exp -> unit
- val exec' :
Env.env_vars
-> Ast.exp -> Env.env_vars
+ val exec :
(Env.env_vars * Env.env_vars)
-> Ast.exp -> unit
+ val exec' :
(Env.env_vars * Env.env_vars)
-> Ast.exp -> Env.env_vars
end
end