|
@@ -8,7 +8,7 @@ type phase_func = Types.intermediate -> Types.intermediate
|
|
|
(** List of all phases as
|
|
(** List of all phases as
|
|
|
[(identifier, phase_function, condition, description)]. [identifier] is used
|
|
[(identifier, phase_function, condition, description)]. [identifier] is used
|
|
|
for the [-upto] command-line argument, which is saved in
|
|
for the [-upto] command-line argument, which is saved in
|
|
|
- {!Globals.args}([.endphase]). [description] is used for logging, and for the
|
|
|
|
|
|
|
+ {!Globals.args}[.endphase]. [description] is used for logging, and for the
|
|
|
usage message of [-upto]. *)
|
|
usage message of [-upto]. *)
|
|
|
val phases : (string * phase_func * (unit -> bool) * string) list
|
|
val phases : (string * phase_func * (unit -> bool) * string) list
|
|
|
|
|
|