diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-02-01 06:52:39 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-02-01 06:52:39 +0000 |
| commit | 9ac4b7df38db97c396b32b9a14537c155d9389ff (patch) | |
| tree | e7f74d7610b4360a1d50e362fd165baa02c4eb94 /otherlibs/labltk/browser/searchid.ml | |
| parent | af07b519959fe8ceb982d037ec0d6d934e6d512f (diff) | |
new labels in List, Set, Unix and ThreadUnix
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2775 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/searchid.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchid.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index e0d538350..ade14981e 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -167,7 +167,7 @@ let rec included :prefix t1 t2 = let l2 = if arr len1 in:len2 < 100 then l2 else let ll1 = get_options (fst (List.split l1)) in List.filter l2 - pred:(fun (l,_) -> not (is_opt l) or List.mem key:l ll1) + pred:(fun (l,_) -> not (is_opt l) or List.mem item:l ll1) in len1 <= len2 & List.exists (List2.flat_map fun:permutations (choose len1 in:l2)) pred: @@ -432,7 +432,7 @@ let search_structure str :name :kind :prefix = Pstr_value (_, l) when kind = Pvalue -> List.iter l fun: begin fun (pat,_) -> - if List.mem key:name (bound_variables pat) + if List.mem item:name (bound_variables pat) then loc := pat.ppat_loc.loc_start end; false |