diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-13 16:49:01 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-13 16:49:01 +0000 |
| commit | b34a32bdd840f3bbc2d86b2386874497a31c1803 (patch) | |
| tree | 4e43d37b41412bb39014b2e7507185e58cfe20e2 /typing/primitive.ml | |
| parent | b658e638ef0586b55e5d2458a6de0616b74575ae (diff) | |
| download | ocaml-b34a32bdd840f3bbc2d86b2386874497a31c1803.tar.gz | |
Le module Ident passe a Format.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2955 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/primitive.ml')
| -rw-r--r-- | typing/primitive.ml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/typing/primitive.ml b/typing/primitive.ml index fabe0eaffd..67a553740e 100644 --- a/typing/primitive.ml +++ b/typing/primitive.ml @@ -15,7 +15,6 @@ (* Description of primitive functions *) open Misc -open Formatmsg type description = { prim_name: string; (* Name of primitive or C function *) @@ -26,7 +25,7 @@ type description = let parse_declaration arity decl = match decl with - name :: "noalloc" :: name2 :: "float" :: _ -> + | name :: "noalloc" :: name2 :: "float" :: _ -> {prim_name = name; prim_arity = arity; prim_alloc = false; prim_native_name = name2; prim_native_float = true} | name :: "noalloc" :: name2 :: _ -> @@ -47,13 +46,14 @@ let parse_declaration arity decl = | [] -> fatal_error "Primitive.parse_declaration" -let print_quoted s = print_char '"'; print_string s; print_char '"' +open Format;; -let print_description p = - print_quoted p.prim_name; - if not p.prim_alloc then - (print_space(); print_quoted "noalloc"); +let print_quoted ppf s = fprintf ppf "\"%s\"" s + +let print_description ppf p = + print_quoted ppf p.prim_name; + if not p.prim_alloc then fprintf ppf "@ %a" print_quoted "noalloc"; if p.prim_native_name <> "" then - (print_space(); print_quoted p.prim_native_name); + fprintf ppf "@ %a" print_quoted p.prim_native_name; if p.prim_native_float then - (print_space(); print_quoted "float") + fprintf ppf "@ %a" print_quoted "float" |