diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-09-06 10:21:07 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-09-06 10:21:07 +0000 |
| commit | 83ca813e4b7f8a4ef0acc799f12ac4bb932ccb89 (patch) | |
| tree | 91b856176f65bce7aef74c9d33ee5b7c982f0b10 /typing/subst.ml | |
| parent | e477ccd22567c4c468652ff7019e0ba0f5599df4 (diff) | |
ajout des variances
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/subst.ml')
| -rw-r--r-- | typing/subst.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/subst.ml b/typing/subst.ml index b556a2bae..c850684fa 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -168,7 +168,8 @@ let type_declaration s decl = begin match decl.type_manifest with None -> None | Some ty -> Some(typexp s ty) - end + end; + type_variance = decl.type_variance; } in cleanup_types (); |