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 WAA18264; Wed, 6 Feb 2002 22:19:42 +0100 (MET) 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 WAA18406 for ; Wed, 6 Feb 2002 22:19:41 +0100 (MET) Received: from mel-rto2.wanadoo.fr (smtp-out-2.wanadoo.fr [193.252.19.254]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g16LJfT17649 for ; Wed, 6 Feb 2002 22:19:41 +0100 (MET) Received: from mel-rta3.wanadoo.fr (193.252.19.153) by mel-rto2.wanadoo.fr; 6 Feb 2002 22:19:40 +0100 Received: from debian (80.8.75.115) by mel-rta3.wanadoo.fr; 6 Feb 2002 22:19:20 +0100 Received: from moi by debian with local (Exim 3.34 #1 (Debian)) id 16YZTN-00075p-00 for ; Wed, 06 Feb 2002 22:19:21 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] Odd Type Checking Problem References: <20020206210928.ZBAC3917.fep40-svc.tin.it@there> From: Remi VANICAT Date: 06 Feb 2002 22:19:21 +0100 In-Reply-To: <20020206210928.ZBAC3917.fep40-svc.tin.it@there> Message-ID: <874rkus3za.dlv@wanadoo.fr> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk stalkern2 writes: > Beginner's opinion: > I think that the compiler/interpreter is clear: > 'a->'b->'a > is not > 'a->'a->'b->'a > and that you just let the function starve before giving it the last > meatball. It's not the reason : in ocaml, you can do partial application (giving not all argument to a function). it steel strange because let mAny: 'a -> int -> 'a = fun succ0 input -> succ0;; let ans0 = true;; let x = mAny (mAny ans0);; x 1 2;; type checks... -- Rémi Vanicat vanicat@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~vanicat ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr