From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA24577; Thu, 17 Jun 2004 15:13:28 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA28815 for ; Thu, 17 Jun 2004 15:13:27 +0200 (MET DST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i5HDDQSH032486 for ; Thu, 17 Jun 2004 15:13:26 +0200 Received: from spi.lip6.fr (spi.lip6.fr [132.227.83.193]) by isis.lip6.fr (8.12.11/jtpda-5.4+victor) with ESMTP id i5HDDQcf030591 for ; Thu, 17 Jun 2004 15:13:26 +0200 X-pt: isis.lip6.fr Received: from [132.227.83.219] (doligezportable.lip6.fr [132.227.83.219]) by spi.lip6.fr (8.11.6/jtpda-5.2) with ESMTP id i5HDDLm11678 for ; Thu, 17 Jun 2004 15:13:21 +0200 Mime-Version: 1.0 (Apple Message framework v618) In-Reply-To: <16593.22284.443816.445480@gargle.gargle.HOWL> References: <20040610090520.GA6967@bourg.inria.fr> <16593.22284.443816.445480@gargle.gargle.HOWL> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <2944765A-C060-11D8-93FD-00039310CAE8@inria.fr> Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] Assert fail in partial application Date: Thu, 17 Jun 2004 15:13:44 +0200 To: Liste Caml X-Mailer: Apple Mail (2.618) X-Scanned-By: isis.lip6.fr X-Miltered: at concorde with ID 40D198F6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 32,:01 filliatre:01 basile:01 implemented:01 camlp:01 -noassert:01 implemented:01 camlp:01 typechecked:01 -noassert:01 doligez:01 doligez:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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