diff options
| author | Pierre Letouzey | 2016-06-27 16:30:32 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-07-03 12:14:05 +0200 |
| commit | cf95f2a791c263c7aaa3b488d1b09eaafc29be2b (patch) | |
| tree | 72515081ec6bf1e2d75362767aa2bcc0ce08b48d /dev | |
| parent | f14b6f1a17652566f0cbc00ce81421ba0684dad5 (diff) | |
closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)
For the moment, there is a Closure module in compiler-libs/ocamloptcomp.cm(x)a
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/printers.mllib | 2 | ||||
| -rw-r--r-- | dev/top_printers.ml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev/printers.mllib b/dev/printers.mllib index 9b4998c671..a2a7437fb7 100644 --- a/dev/printers.mllib +++ b/dev/printers.mllib @@ -86,7 +86,7 @@ Nativecode Nativelib Cbytegen Environ -Closure +CClosure Reduction Nativeconv Type_errors diff --git a/dev/top_printers.ml b/dev/top_printers.ml index 7c010e6a48..023835af76 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -80,7 +80,7 @@ let ppconstr_univ x = Constrextern.with_universes ppconstr x let ppglob_constr = (fun x -> pp(pr_lglob_constr x)) let pppattern = (fun x -> pp(pr_constr_pattern x)) let pptype = (fun x -> try pp(pr_ltype x) with e -> pp (str (Printexc.to_string e))) -let ppfconstr c = ppconstr (Closure.term_of_fconstr c) +let ppfconstr c = ppconstr (CClosure.term_of_fconstr c) let ppbigint n = pp (str (Bigint.to_string n));; @@ -457,7 +457,7 @@ let print_pure_constr csr = print_string (Printexc.to_string e);print_flush (); raise e -let ppfconstr c = ppconstr (Closure.term_of_fconstr c) +let ppfconstr c = ppconstr (CClosure.term_of_fconstr c) let pploc x = let (l,r) = Loc.unloc x in print_string"(";print_int l;print_string",";print_int r;print_string")" |