summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2005-03-11 13:42:01 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2005-03-11 13:42:01 +0000
commit58c2c48ac786ca1de5c8acb5d068f564420bfa62 (patch)
treef2ae9f31fb57a5afdb1d784c85b597fd57c28954
parentea8c2fdc2a525d676bf6795d52fdbe35727bb144 (diff)
More regular naming convention for operations on format strings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/pervasives.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml
index 7cdfe9325..5a7fdbbcc 100644
--- a/stdlib/pervasives.ml
+++ b/stdlib/pervasives.ml
@@ -401,16 +401,16 @@ external decr: int ref -> unit = "%decr"
type ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4
external format_of_string :
('a, 'b, 'c, 'd) format4 -> ('a, 'b, 'c, 'd) format4 = "%identity"
-external string_of_format_sys :
+external format_to_string :
('a, 'b, 'c, 'd) format4 -> string = "%identity"
external string_to_format : string -> ('a, 'b, 'c, 'd) format4 = "%identity"
let (( ^^ ) : ('a, 'b, 'c, 'd) format4 -> ('d, 'b, 'c, 'e) format4 ->
('a, 'b, 'c, 'e) format4) = fun fmt1 fmt2 ->
- string_to_format (string_of_format_sys fmt1 ^ string_of_format_sys fmt2);;
+ string_to_format (format_to_string fmt1 ^ format_to_string fmt2);;
-let string_of_format f =
- let s = string_of_format_sys f in
+let string_of_format fmt =
+ let s = format_to_string fmt in
let l = string_length s in
let r = string_create l in
string_blit s 0 r 0 l;