diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2002-10-31 10:00:02 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2002-10-31 10:00:02 +0000 |
| commit | 6df4c2b6de28456743700ceb037037dde06b21ab (patch) | |
| tree | b2d4d219bac2c7143c05e25d38b4ca8a61e47de0 /camlp4/ocaml_src | |
| parent | 12107f3fbe4689508ba933946ea65e56b5c516b1 (diff) | |
Introducing (and using) string and string format coercions.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src')
| -rw-r--r-- | camlp4/ocaml_src/camlp4/argl.ml | 6 | ||||
| -rw-r--r-- | camlp4/ocaml_src/camlp4/pcaml.ml | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/camlp4/ocaml_src/camlp4/argl.ml b/camlp4/ocaml_src/camlp4/argl.ml index 220170289..e0e7a1326 100644 --- a/camlp4/ocaml_src/camlp4/argl.ml +++ b/camlp4/ocaml_src/camlp4/argl.ml @@ -69,9 +69,9 @@ let rec parse_aux spec_list anon_fun = let loc_fmt = match Sys.os_type with "MacOS" -> - ("File \"%s\"; line %d; characters %d to %d\n### " : - ('a, 'b, 'c) format) - | _ -> ("File \"%s\", line %d, characters %d-%d:\n" : ('a, 'b, 'c) format) + format_of_string "File \"%s\"; line %d; characters %d to %d\n### " + | _ -> + format_of_string "File \"%s\", line %d, characters %d-%d:\n" ;; let print_location loc = diff --git a/camlp4/ocaml_src/camlp4/pcaml.ml b/camlp4/ocaml_src/camlp4/pcaml.ml index f2aa0a3ee..8b3676412 100644 --- a/camlp4/ocaml_src/camlp4/pcaml.ml +++ b/camlp4/ocaml_src/camlp4/pcaml.ml @@ -181,9 +181,9 @@ let find_line (bp, ep) str = let loc_fmt = match Sys.os_type with "MacOS" -> - ("File \"%s\"; line %d; characters %d to %d\n### " : - ('a, 'b, 'c) format) - | _ -> ("File \"%s\", line %d, characters %d-%d:\n" : ('a, 'b, 'c) format) + format_of_string "File \"%s\"; line %d; characters %d to %d\n### " + | _ -> + format_of_string "File \"%s\", line %d, characters %d-%d:\n" ;; let report_quotation_error name ctx = |