On Jun 17, 2004, at 10:32, Jean-Christophe Filliatre wrote:

> Basile Starynkevitch [local] writes:
>>
>> Assert has nothing magic (except that it passes the file position to
>> the Assert+failure exception). It could be implemented as a camlp4
>> macro.
>
> Apart from "assert false" which has a special typing rule (it has type
> 'a  not  unit) and  a  special  compilation  (cannot be  removed  when
> -noassert is set).

Both features can be easily implemented with camlp4.  The real problem
in implementing assert within camlp4 is the fact that the asserted
condition is typechecked even if -noassert is set, although this is
not an unsolvable problem.

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