diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-10-16 07:03:25 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-10-16 07:03:25 +0000 |
| commit | f3795c53031ecf4f85a0bf2c31d5ed963ad9683c (patch) | |
| tree | eba3990189798723fde80de5724b3c00f3c79f62 | |
| parent | ecc3dc90ffd3212c58ef548b6aebff638137faf2 (diff) | |
allow Tsubst in iter_row (when called from unroll_abbrev)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/btype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index c5ceade96..accf2de6e 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -121,7 +121,7 @@ let rec iter_row f row = row.row_fields; match (repr row.row_more).desc with Tvariant row -> iter_row f row - | Tvar | Tnil | Tunivar -> + | Tvar | Tnil | Tunivar | Tsubst _ -> Misc.may (fun (_,l) -> List.iter f l) row.row_name; List.iter f row.row_bound | _ -> assert false |