> Warning 20: this argument will not be used by the function.
See also warning 21:
# let f () = assert false; 0;;
Warning 21: this statement never returns (or has an unsound type.)
val f : unit -> int = <fun>
Assert behaves like a function with type bool -> 'a. The return type is
an unconstrained type, a type variable not mentioned on the left hand
side of the arrow. Functions with such type never return or have
unsound type. Your example used Obj.magic and has unsound type.
A more verbose version of warning 20 would explain
Warning 20: this argument will not be used by the function (or the function has
an unsound type).
--John Carr ([email protected])
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
