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 LAA10630; Thu, 10 Jun 2004 11:10:34 +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 LAA11143 for ; Thu, 10 Jun 2004 11:10:33 +0200 (MET DST) Received: from hermes1.umh.ac.be (hermes.umh.ac.be [193.190.193.76]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i5A9AWEV020550 for ; Thu, 10 Jun 2004 11:10:32 +0200 Received: from poincare (mail@poincare.swapping.umh.ac.be [10.102.100.13]) by hermes1.umh.ac.be (8.12.11/8.12.11) with ESMTP id i5A9A6Gw1171456; Thu, 10 Jun 2004 11:10:06 +0200 Received: from poincare ([127.0.0.1] helo=localhost ident=trch) by poincare with esmtp (Exim 3.36 #1 (Debian)) id 1BYLaA-0001Hn-00; Thu, 10 Jun 2004 11:10:46 +0200 Date: Thu, 10 Jun 2004 11:10:46 +0200 (CEST) Message-Id: <20040610.111046.90144937.debian00@tiscali.be> To: Diego.FERNANDEZ_PONS@etu.upmc.fr Cc: caml-list@inria.fr Subject: Re: [Caml-list] Assert fail in partial application From: Christophe TROESTLER In-Reply-To: References: Organization: None X-Spook: cracking BLU-114/B class struggle Kh-11 64 Vauxhall Cross ASPIC NWO Watergate InfoSec PGP X-Mailer-URL: http://www.mew.org/ X-Operating-System: GNU/Linux (http://www.linux.org/) X-Blessing: Om Ah Hum Vajra Guru Pema Siddhi Hum X-Mailer: Mew version 4.0.61 on Emacs 21.3.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Scanned-By: MIMEDefang 2.1 (www dot roaringpenguin dot com slash mimedefang) X-Miltered: at nez-perce with ID 40C82588.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 troestler:01 tiscali:99 pons:01 pons:01 etu:99 fernandez:01 fernandez:01 christophe:01 olivier:02 assert:02 assert:02 wrote:03 partial:03 let:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, 10 Jun 2004, Diego Olivier Fernandez Pons wrote: > > let f = fun x y -> assert (x > 0); assert (y > 0); x + y let f = fun x -> assert (x > 0); fun y -> assert (y > 0); x + y;; ------------------- 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