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 SAA21068; Fri, 1 Aug 2003 18:27:43 +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 SAA07233 for ; Fri, 1 Aug 2003 18:27:41 +0200 (MET DST) Received: from relay.hoga.pl (res-61.hoga.pl [193.178.241.61] (may be forged)) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h71GRfT14571 for ; Fri, 1 Aug 2003 18:27:41 +0200 (MET DST) Received: from mail pickup service by relay.hoga.pl with Microsoft SMTPSVC; Fri, 1 Aug 2003 18:23:12 +0200 thread-index: AcNYSivzrxvsE09gTCKbYlIkjOQV1Q== Received: from ppp ([213.77.239.192]) by smtp.hoga.pl with InfocitySMTPReceiver (16.04.2002); Fri, 01 Aug 2003 18:30:07 +0200 Message-ID: <000e01c3584a$2be29680$c0ef4dd5@ppp> From: "Lukasz Stafiniak" To: Importance: normal Cc: References: <008201c3514d$b88d3760$50ef4dd5@ppp> <20030725111052.B31893@pauillac.inria.fr> <000001c3535d$148c2a60$c617fea9@ppp> Subject: Re: [Caml-list] Caml Machine and GP Date: Fri, 1 Aug 2003 16:45:02 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300 X-OriginalArrivalTime: 01 Aug 2003 16:23:12.0875 (UTC) FILETIME=[343C9BB0:01C35849] X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lukasz:01 caml-list:01 typecheck:01 mks:99 caml:01 obj:03 pity:04 www:91 generated:08 values:11 learned:14 machine:15 code:15 but:16 trying:17 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi List, I have just discovered that I cannot (what a pity) typecheck programs = before they are generated. But I have learned a bit trying it :-) For this reason I must go through Obj.t with code values. Best wishes, Lukasz Uwaga! Do konca sierpnia przedluzylismy promocje, do pakiet=F3w wielostanowiskowych dokladamy PenDrive Sprawdz: http://www.mks.com.pl/promocja-mobile.html ------------------- 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