English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Re: [Caml-list] assertions and branch prediction
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-02-18 (17:06)
From: Damien Doligez <damien.doligez@i...>
Subject: Re: [Caml-list] assertions and branch prediction
>From cq@htec.demon.co.uk  Mon Feb 18 14:34:41 2002

>May I ask how 
>| _ -> assert (not true); ()
>is different from 
>| _ -> assert false; ()

>From the manual:

> As a special case, "assert false" is reduced to "raise (Assert_failure
> ...)", which is polymorphic (and is not turned off by the -noassert
> option). 

In contrast, "assert (not true)" is not polymorphic (but you don't
care when it is followed by a semicolon), and it is turned off by
-noassert like all normal assertions.

-- Damien
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