diff options
author | sliquister <valentin.gatienbaron@gmail.com> | 2018-07-27 03:51:53 -0400 |
---|---|---|
committer | Thomas Refis <refis.thomas@gmail.com> | 2018-07-27 08:51:53 +0100 |
commit | ae1317caae6618b8d36b8282b71613b270635fd3 (patch) | |
tree | b5bf04a61ac02095447397064d78e33a7e1ec615 /asmcomp/cmmgen.mli | |
parent | b150df811fd7f9c0255a672f1bf4f683059ec7fc (diff) | |
download | ocaml-ae1317caae6618b8d36b8282b71613b270635fd3.tar.gz |
Add option to dump the output of e.g. -dlambda in a file (#1913)
Diffstat (limited to 'asmcomp/cmmgen.mli')
-rw-r--r-- | asmcomp/cmmgen.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.mli b/asmcomp/cmmgen.mli index 8104afabea..550ac77a54 100644 --- a/asmcomp/cmmgen.mli +++ b/asmcomp/cmmgen.mli @@ -16,7 +16,8 @@ (* Translation from closed lambda to C-- *) val compunit: - Clambda.ulambda + ppf_dump:Format.formatter + -> Clambda.ulambda * Clambda.preallocated_block list * Clambda.preallocated_constant list -> Cmm.phrase list |