diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-23 11:33:27 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-23 11:33:27 +0000 |
| commit | 033ec5b7360faa2d43fde4b54dc7bde4e325fffe (patch) | |
| tree | a70c4a1c192b4a9b9edab52d81c5d9fa712d9295 /typing/printtyp.mli | |
| parent | 15b7edd51261e3e2d687cacd08b2a56b4cadca34 (diff) | |
| download | ocaml-033ec5b7360faa2d43fde4b54dc7bde4e325fffe.tar.gz | |
Decoupage du module Typedtree en deux: Types et Typedtree.
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index 638f0ea863..c51a2be2fb 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -13,7 +13,7 @@ (* Printing functions *) -open Typedtree +open Types val longident: Longident.t -> unit val ident: Ident.t -> unit |