Original bug ID: 1346
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Yutaka OIWA
Version: 3.06
OS: Solaris, Linux
Submission from: sy128-120.svc.itscom.jp (210.128.128.120)

Starting from OCaml 3.05, "#trace"-ing function which is
defined in the second or later clause of "let rec" is
rejected with message "(something) is not a function".

Example session:

% env OCAMLLIB=/usr/local/lib/ocaml-3.04 /usr/local/lib/ocaml-3.04/bin/ocamlrun
/usr/local/lib/ocaml-3.04/bin/ocaml
Objective Caml version 3.04

let rec f x = g 0 and g x = f 0;;

val f : int -> 'a =
val g : int -> 'a =

#trace g;;

g is now traced.

^D

% /usr/local/bin/ocaml
Objective Caml version 3.06

let rec f x = g 0 and g x = f 0;;

val f : int -> 'a =
val g : int -> 'a =

#trace g;;

g is not a function.

^D