Original bug ID: 245
Reporter: administrator
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2012-03-24T14:01:44Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.13.0+dev
Category: ~DO NOT USE (was: OCaml general)

Bug description

(* val iteri : (int -> 'a -> unit) -> 'a list -> unit = *)
let iteri (f:int -> 'a -> unit) (list:'a list) =
let rec iteri2 f n = function
[] -> ()
| a::l -> f n a; iteri2 f (n+1) l in
iteri2 f 0 list

I had to add the explicit typing, since the infered typing of the f is
f:int -> 'a -> 'b

Mattias

P.s I asked for where to find the source of ocamlwin, but I got no answer
P.P.s I never reach a bootstrap fixpoint for cygwin, but directly when using
redhat 6.2, probably the bootstrap-check doesn't work for cygwin.