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

Bug description

Full_Name: Pascal Rigaux
Version: 3.02
OS: Linux
Submission from: office.mandrakesoft.com (195.68.114.34)

let rec f _ = g()
and g() = 1
and h() = f() ; 1

this generates a "Warning: this expression should have type unit" in h
since f() has type int.

BUT, switch h and g and the warning disappear!

let rec f _ = g()
and h() = f() ; 1
and g() = 1

in my prog i discovered quite a lot of calls alike "f()" after adding a
function, quite disturbing...