diff options
Diffstat (limited to 'otherlibs/labltk/compiler/compile.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/compile.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/labltk/compiler/compile.ml b/otherlibs/labltk/compiler/compile.ml index 88a83fdfc..66c5fb569 100644 --- a/otherlibs/labltk/compiler/compile.ml +++ b/otherlibs/labltk/compiler/compile.ml @@ -42,7 +42,7 @@ let small_ident s = let idents = ["to"; "raise"; "in"; "class"; "new"] in let s = small s in - if List.mem elt:s idents then (String.make len:1 s.[0])^s + if List.mem item:s idents then (String.make len:1 s.[0])^s else s let gettklabel fc = @@ -54,7 +54,7 @@ let gettklabel fc = if s = "" then small fc.ml_name else small s | _ -> raise (Failure "gettklabel") -let count elt:x l = +let count item:x l = let count = ref 0 in List.iter fun:(fun y -> if x = y then incr count) l; !count @@ -103,7 +103,7 @@ let ppMLtype ?:any{=false} ?:return{=false} ?:def{=false} ?:counter{=ref 0} = let l = List.map fcl fun: begin fun fc -> "?" ^ begin let p = gettklabel fc in - if count elt:p tklabels > 1 then small fc.ml_name else p + if count item:p tklabels > 1 then small fc.ml_name else p end ^ ":" ^ let l = types_of_template fc.template in @@ -761,7 +761,7 @@ let write_catch_optionals :w clas def:typdef = (* used as names of variants *) fc.var_name, begin let p = gettklabel fc in - if count elt:p tklabels > 1 then small fc.ml_name else p + if count item:p tklabels > 1 then small fc.ml_name else p end, small_ident fc.ml_name (* used as labels *) end in |