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 WAA24834; Tue, 17 Apr 2001 22:02:45 +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 WAA24833 for ; Tue, 17 Apr 2001 22:02:44 +0200 (MET DST) Received: from mta6.snfc21.pbi.net (mta6.snfc21.pbi.net [206.13.28.240]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f3HK2hn25471 for ; Tue, 17 Apr 2001 22:02:43 +0200 (MET DST) Received: from checkerlap.d6.com ([64.160.53.33]) by mta6.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9) with ESMTP id <0GBY00LBED07NR@mta6.snfc21.pbi.net> for caml-list@inria.fr; Tue, 17 Apr 2001 13:02:31 -0700 (PDT) Date: Tue, 17 Apr 2001 13:04:02 -0700 From: Chris Hecker Subject: Re: [Caml-list] How do I define prog1? In-reply-to: <5leluyqfvt.fsf@rum.cs.yale.edu> X-Sender: def6@shell16.ba.best.com To: Stefan Monnier , caml-list@inria.fr Message-id: <4.3.2.7.2.20010417130305.00da8a10@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset="us-ascii" References: <20010412003442E.garrigue@kurims.kyoto-u.ac.jp> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >Since Caml's order of evaluation is unspecified, I don't think there's >any other solution than to use a CamlP4 macro. I wonder if you could use the Lazy module to ensure order of evaluation. You'd have to prefix all the expressions with lazy, so it might be a mess. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr