diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2003-02-28 06:59:19 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2003-02-28 06:59:19 +0000 |
| commit | b5d0102c0510ceba7d593d02fffd20ff4fea7957 (patch) | |
| tree | eed71244584524deb4bbf3572b9a6a1237aaba99 /tools | |
| parent | 0483c6ac9208c07c5fd24a587d00066d1523b26f (diff) | |
| download | ocaml-b5d0102c0510ceba7d593d02fffd20ff4fea7957.tar.gz | |
Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dans Camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/depend.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index 4f543a1929..98772d8ecd 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -67,12 +67,14 @@ let add_type_declaration bv td = (fun (ty1, ty2, _) -> add_type bv ty1; add_type bv ty2) td.ptype_cstrs; add_opt add_type bv td.ptype_manifest; - match td.ptype_kind with + let rec add_tkind = function Ptype_abstract -> () | Ptype_variant cstrs -> List.iter (fun (c, args) -> List.iter (add_type bv) args) cstrs | Ptype_record lbls -> List.iter (fun (l, mut, ty) -> add_type bv ty) lbls + | Ptype_virtual tkind -> add_tkind tkind in + add_tkind td.ptype_kind let rec add_class_type bv cty = match cty.pcty_desc with |