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 KAA09034; Thu, 17 Jun 2004 10:47:55 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA09585; Thu, 17 Jun 2004 10:47:53 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i5H8lqEV015413; Thu, 17 Jun 2004 10:47:53 +0200 Received: from pc8-123 (pc8-123 [129.175.8.123]) by lri.lri.fr (8.12.10/jtpda-5.4) with ESMTP id i5H8WCCr013858 ; Thu, 17 Jun 2004 10:32:12 +0200 (MEST) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 1BasJg-0004Pd-00; Thu, 17 Jun 2004 10:32:12 +0200 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16593.22284.443816.445480@gargle.gargle.HOWL> Date: Thu, 17 Jun 2004 10:32:12 +0200 To: "Basile Starynkevitch [local]" Cc: Diego Olivier Fernandez Pons , caml-list@inria.fr Subject: Re: [Caml-list] Assert fail in partial application In-Reply-To: <20040610090520.GA6967@bourg.inria.fr> References: <20040610090520.GA6967@bourg.inria.fr> X-Mailer: VM 7.03 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean X-Miltered: at nez-perce with ID 40D15AB8.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 caml-list:01 basile:01 implemented:01 camlp:01 -noassert:01 writes:01 assert:02 assert:02 exception:02 unit:03 typing:03 partial:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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). -- Jean-Christophe ------------------- 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