home
/
code
/
tiger.ml.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
9fd11464b30733a3ca97d01587f4aa3e32f8236e
[tiger.ml.git]
/
compiler
/
src
/
lib
/
tiger
/
tiger_translate.mli
1
module Level : sig
2
type t
3
4
val init : t
5
(** "outermost" in Applel's code *)
6
7
val next : t -> name:Tiger_temp.Label.t -> formals:bool list -> t
8
(** "newLevel" in Appel's code *)
9
end
10
11
type exp = unit
12
13
type access
14
15
val alloc_local : level:Level.t -> escapes:bool -> access
16
17
val formals : level:Level.t -> access list
This page took
0.064254 seconds
and
3
git commands to generate.