From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id B25BBBB9C for ; Tue, 13 Sep 2005 16:08:56 +0200 (CEST) Received: from arbi.Informatik.Uni-Oldenburg.DE (arbi.informatik.uni-oldenburg.de [134.106.1.7]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8DE8uYw028946 for ; Tue, 13 Sep 2005 16:08:56 +0200 Received: from taifun.Informatik.Uni-Oldenburg.DE ([134.106.11.36]) by arbi.Informatik.Uni-Oldenburg.DE (Exim 3.36) id 1EFBSx-0001We-00; Tue, 13 Sep 2005 16:08:55 +0200 Received: from localhost.katatsumuri ([134.106.11.155]) by taifun.Informatik.Uni-Oldenburg.DE (Exim 3.36) id 1EFBSx-0003em-00; Tue, 13 Sep 2005 16:08:55 +0200 From: "Arne Koewing" To: OCaml List Subject: Okasaki's $-Notation Organization: Carl von Ossietzky =?iso-8859-1?Q?Universit=E4t?= Oldenburg Date: Tue, 13 Sep 2005 16:10:01 +0200 Message-ID: <87slw9njnq.fsf@informatik.uni-oldenburg.de> User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/22.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce with ID 4326DD78.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; arne:01 koewing:01 arne:01 koewing:01 okasaki's:01 okasaki's:01 lazy:01 pattern:03 informatik:04 implement:05 matching:06 extension:06 implementing:06 somebody:07 i'm:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hi everyone, has somebody already tried to implement Okasaki's $-Notation for lazy values in ML in camlp4 ? I'm stuck, implementing his pattern matching extension, (I'm completely new to camlp4...) Arne