diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2015-09-11 11:58:31 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2015-09-11 11:58:31 +0000 |
| commit | b860d631458802c8685aa59c9d7b66a9225fcedb (patch) | |
| tree | 5c71dc62f86607551e97e53e11b8eb48a3b83bda /driver | |
| parent | cf9002cfd8d56c86ebd91138fe75d1e2bb20a775 (diff) | |
| download | ocaml-b860d631458802c8685aa59c9d7b66a9225fcedb.tar.gz | |
whitespace cleanup, cut long lines, add some missing headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/main.ml | 8 | ||||
| -rw-r--r-- | driver/pparse.mli | 22 |
2 files changed, 18 insertions, 12 deletions
diff --git a/driver/main.ml b/driver/main.ml index e765d2eedd..9421efaf6d 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -105,7 +105,9 @@ module Options = Main_args.Make_bytecomp_options (struct let _open s = open_modules := s :: !open_modules let _output_obj () = output_c_object := true; custom_runtime := true let _output_complete_obj () = - output_c_object := true; output_complete_object := true; custom_runtime := true + output_c_object := true; + output_complete_object := true; + custom_runtime := true let _pack = set make_package let _pp s = preprocessor := Some s let _ppx s = first_ppx := s :: !first_ppx @@ -201,7 +203,3 @@ let main () = exit 2 let _ = main () - - - - diff --git a/driver/pparse.mli b/driver/pparse.mli index 6497698939..898f30f241 100644 --- a/driver/pparse.mli +++ b/driver/pparse.mli @@ -20,20 +20,28 @@ exception Error of error val preprocess : string -> string val remove_preprocessed : string -> unit -val file : formatter -> tool_name:string -> string -> (Lexing.lexbuf -> 'a) -> string -> 'a +val file : + formatter -> tool_name:string -> string -> (Lexing.lexbuf -> 'a) -> string -> + 'a val apply_rewriters: ?restore:bool -> tool_name:string -> string -> 'a -> 'a - (** If [restore = true] (the default), cookies set by external rewriters will be - kept for later calls. *) + (** If [restore = true] (the default), cookies set by external + rewriters will be kept for later calls. *) -val apply_rewriters_str: ?restore:bool -> tool_name:string -> Parsetree.structure -> Parsetree.structure -val apply_rewriters_sig: ?restore:bool -> tool_name:string -> Parsetree.signature -> Parsetree.signature +val apply_rewriters_str: + ?restore:bool -> tool_name:string -> Parsetree.structure -> + Parsetree.structure +val apply_rewriters_sig: + ?restore:bool -> tool_name:string -> Parsetree.signature -> + Parsetree.signature val report_error : formatter -> error -> unit -val parse_implementation: formatter -> tool_name:string -> string -> Parsetree.structure -val parse_interface: formatter -> tool_name:string -> string -> Parsetree.signature +val parse_implementation: + formatter -> tool_name:string -> string -> Parsetree.structure +val parse_interface: + formatter -> tool_name:string -> string -> Parsetree.signature (* [call_external_preprocessor sourcefile pp] *) val call_external_preprocessor : string -> string -> string |