diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-02-21 10:29:43 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-02-21 10:29:43 +0000 |
| commit | 4f782171df639316093ab26debbb9a77e7daa123 (patch) | |
| tree | e58baf9d3403dcfcd6bc3e33c7dc191f753c09bb /typing/subst.ml | |
| parent | b6041b0eb40e5cf221dff9953aab6d6ec51e99c4 (diff) | |
forgot one translation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3433 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/subst.ml')
| -rw-r--r-- | typing/subst.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/typing/subst.ml b/typing/subst.ml index c850684fa..f3c5c4707 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -111,7 +111,9 @@ let rec typexp s ty = | fi -> fi) row.row_fields and name = - may_map (fun (p,l) -> p, List.map (typexp s) l) row.row_name in + may_map + (fun (p,l) -> type_path s p, List.map (typexp s) l) + row.row_name in let var = Tvariant { row_fields = fields; row_more = newgenvar(); row_bound = !bound; |