diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-10 13:57:44 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-10 13:57:44 +0000 |
| commit | ff0a7882271d71f3c6b7865fb5d68b9e98f6ac5d (patch) | |
| tree | 82409f12686c422ddeca0c8fffc66f1f633645d8 | |
| parent | 6543c035d820434387cc8dfc4d312e1f767a3f84 (diff) | |
Afficher "external foo ... = ..." au lieu de "val foo ... = ...".
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/printtyp.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 6062f2ed0..531b0a874 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -367,7 +367,8 @@ let exception_declaration id decl = let value_description id decl = open_box 2; - print_string "val "; ident id; print_string " :"; print_space(); + print_string (if decl.val_kind = Val_reg then "val " else "external "); + ident id; print_string " :"; print_space(); type_scheme decl.val_type; begin match decl.val_kind with Val_prim p -> |