home
/
code
/
tiger.ml.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Begin translation module
[tiger.ml.git]
/
compiler
/
src
/
lib
/
tiger
/
tiger_translate.mli
diff --git
a/compiler/src/lib/tiger/tiger_translate.mli
b/compiler/src/lib/tiger/tiger_translate.mli
index
9fd1146
..
ca4b0b2
100644
(file)
--- a/
compiler/src/lib/tiger/tiger_translate.mli
+++ b/
compiler/src/lib/tiger/tiger_translate.mli
@@
-8,10
+8,19
@@
module Level : sig
(** "newLevel" in Appel's code *)
end
(** "newLevel" in Appel's code *)
end
-type exp = unit
+type gen_stm =
+ (Tiger_temp.Label.t * Tiger_temp.Label.t) -> Tiger_tree.stm
+
+type exp
type access
val alloc_local : level:Level.t -> escapes:bool -> access
val formals : level:Level.t -> access list
type access
val alloc_local : level:Level.t -> escapes:bool -> access
val formals : level:Level.t -> access list
+
+val unEx : exp -> Tiger_tree.exp
+val unNx : exp -> Tiger_tree.stm
+val unCx : exp -> gen_stm
+
+val dummy__FIXME : exp (* FIXME: Remove dummy when real is ready *)
This page took
0.020642 seconds
and
4
git commands to generate.