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 VAA25446; Tue, 16 Sep 2003 21:47: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 VAA32322 for ; Tue, 16 Sep 2003 21:47:26 +0200 (MET DST) Received: from mail1.tpgi.com.au (mail.tpgi.com.au [203.12.160.57]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h8GJlPf19355 for ; Tue, 16 Sep 2003 21:47:25 +0200 (MET DST) Received: from 203-213-82-62-syd-ts14-2600.tpgi.com.au (203-213-82-62-syd-ts14-2600.tpgi.com.au [203.213.82.62]) by mail1.tpgi.com.au (8.11.6/8.11.6) with ESMTP id h8GJlHa22056; Wed, 17 Sep 2003 05:47:17 +1000 Subject: Re: [Caml-list] inference engine From: skaller Reply-To: skaller@ozemail.com.au To: Alain.Frisch@ens.fr Cc: Caml list In-Reply-To: References: Content-Type: text/plain Message-Id: <1063741611.14799.3.camel@pelican> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) Date: 17 Sep 2003 05:46:51 +1000 Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 inference:01 ozemail:01 alain:01 frisch:01 recursion:01 rec:01 sep:01 wrote:03 wrote:03 let:04 constraints:04 999:95 999:95 hmm:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, 2003-09-14 at 19:48, Alain.Frisch@ens.fr wrote: > On 14 Sep 2003, skaller wrote: > > in particular, in the case like: > > > > let rec f1 (x1:t1):r1 = .. > > and f2 (x2:t2):r2 = ... > > and f3 (x2:t3):r3 = .. > > ... > > and f999 (x999:t999):r999 = ... > > > > the fact the the constraints t1, r1, t2, t2, .. > > are not applied until after the whole recursion > > is typed > > Again, this is wrong. Hmm, well the examples are invented to be like actual code I have. So perhaps I'm not understanding why I'm getting the false errors sometimes. ------------------- 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