diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-01-20 14:26:15 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-01-20 14:26:15 +0000 |
| commit | f5da2ab926f63bfe21f531a668f6add9bf4f6519 (patch) | |
| tree | 54dab57bc51f6fac6d2e65eb2c998c1b4c5b4ee9 /typing | |
| parent | 094261c6888b90fe59f55ea7fda06bce95665354 (diff) | |
| download | ocaml-f5da2ab926f63bfe21f531a668f6add9bf4f6519.tar.gz | |
Renaming.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing')
| -rw-r--r-- | typing/typecore.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/typecore.ml b/typing/typecore.ml index 1687cf094e..9e4f5a0e21 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -186,7 +186,7 @@ let iter_expression f e = expr e -let free_idents el = +let all_idents el = let idents = Hashtbl.create 8 in let f = function | {pexp_desc=Pexp_ident (Longident.Lident id); _} -> @@ -1372,7 +1372,7 @@ let dummy_expr = {pexp_desc = Pexp_tuple []; pexp_loc = Location.none} let duplicate_ident_types loc caselist env = let caselist = List.filter (fun (pat, _) -> contains_gadt env pat) caselist in - let idents = free_idents (List.map snd caselist) in + let idents = all_idents (List.map snd caselist) in List.fold_left (fun env s -> try |