From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A21B6BB91 for ; Thu, 27 Jan 2005 18:56:41 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0RHufF2030716 for ; Thu, 27 Jan 2005 18:56:41 +0100 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 SAA00665 for ; Thu, 27 Jan 2005 18:56:40 +0100 (MET) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0RHue0A030713 for ; Thu, 27 Jan 2005 18:56:40 +0100 Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca HELO pccarettej) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.1.8) with ESMTP id 80775710 for caml-list@inria.fr; Thu, 27 Jan 2005 12:56:39 -0500 Reply-To: From: "Jacques Carette" To: Subject: "do notation" in ocaml Date: Thu, 27 Jan 2005 12:56:44 -0500 Organization: McMaster University Message-ID: <004001c50499$8ff82980$1b447182@cas.mcmaster.ca> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.6626 x-mimeole: Produced By Microsoft MimeOLE V6.00.2900.2180 Importance: Normal X-Miltered: at concorde with ID 41F92B59.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41F92B58.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; notation:01 ocaml:01 notation:01 ocaml:01 monadic:01 pointers:01 syntactic:01 macros:01 jacques:01 jacques:01 mcmaster:02 long:04 quite:06 sufficient:08 writing:11 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: Has anyone done a set of camlp4 macros for "do" notation in ocaml? I am experimenting with some (non-state) monadic code in ocaml, and writing = all of it in "long form" is really quite tiresome! I don't even need 'return', just syntactic sugar for >>=3D would be sufficient. Thanks, Jacques PS: of course, if there are other, better ways to do this, I welcome any = and all pointers.