diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-01-25 07:07:49 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-01-25 07:07:49 +0000 |
| commit | 0d3a75cc7a23087726cde36ffea6b30584c73584 (patch) | |
| tree | 06da077b315c6123570f96f4df6c2bea3bc2e48f /stdlib/pervasives.ml | |
| parent | 414b18048360a1d6b3bfdfddb19fbcf3f23c40a3 (diff) | |
forward definition of String.get
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/pervasives.ml')
| -rw-r--r-- | stdlib/pervasives.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 5c7520d4a..ce0a33744 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -181,6 +181,10 @@ let string_of_int n = external int_of_string : string -> int = "int_of_string" +module String = struct + external get : string -> int -> char = "%string_safe_get" +end + let string_of_float f = let s = format_float "%.12g" f in let l = string_length s in |