Archives of the Caml mailing list > Message from Diego Olivier Fernandez Pons

Browse thread

[Caml-list] Assert fail in partial application

Diego Olivier Fernandez Pons

Date:	-- (:)
From:	Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject:	[Caml-list] Assert fail in partial application

    Bonjour,

I would like a function that contains an assert to fail in partial
application and the test are still removed when compiling in noassert
mode

# let f = fun x y -> assert (x > 0); assert (y > 0); x + y
val f : int -> int -> int
# f 0;;
- : int -> int = <fun>
# f 0 0;;
Exception: Assert_failure (" ", 1, 19).

        Diego Olivier



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners