Commit | Line | Data |
---|---|---|
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 |