diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-09 18:42:51 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-09 18:42:51 +0000 |
| commit | ceb1ac730df7d5870f8423f8244fe45ac842b016 (patch) | |
| tree | b327af3e830fea526e692105f7fdb58901afbe9c | |
| parent | 751dcd48cc4703bf74d1a0d440cc61390ccf505d (diff) | |
Quelques commentaires supplementaires.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1352 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/ctype.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 45e6caaf8..556fd7cbc 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -1417,6 +1417,7 @@ let nondep_type env id ty = cleanup_types (); raise Not_found +(* Preserve sharing inside type declarations. *) let nondep_type_decl env mid id is_covariant decl = try let params = List.map (nondep_type_rec env mid) decl.type_params in @@ -1450,7 +1451,7 @@ let nondep_type_decl env mid id is_covariant decl = end } in cleanup_types (); - List.iter unmark_type params; + List.iter unmark_type decl.type_params; begin match decl.type_kind with Type_abstract -> () | Type_variant cstrs -> @@ -1467,6 +1468,7 @@ let nondep_type_decl env mid id is_covariant decl = cleanup_types (); raise Not_found +(* Preserve sharing inside class types. *) let nondep_class_type env id decl = try let decl = |