From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <benedikt.grundmann@googlemail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 62F47BC69
	for <caml-list@yquem.inria.fr>; Tue,  3 Jul 2007 00:04:20 +0200 (CEST)
Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.225])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l62M4JOc012654
	for <caml-list@inria.fr>; Tue, 3 Jul 2007 00:04:19 +0200
Received: by wr-out-0506.google.com with SMTP id 37so1064285wra
        for <caml-list@inria.fr>; Mon, 02 Jul 2007 15:04:19 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=googlemail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition:x-google-sender-auth;
        b=E/JbTUcZhqRrOGzeHqma3mxI1FBiZ8rrZiL9H6oNUwY+BH7F+rCdK1n68i5i7AKQqVBZ0FdC7peyXJg0OE32KBaslWeGUPrS94cAzE3PEdSx2m5dE3EGUbLU/L0pXggV5hYFI1eFGsbbJaPclS1ZE4POtQZ7baUvQDlRMlMKVJw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=beta;
        h=received:message-id:date:from:sender:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition:x-google-sender-auth;
        b=bgb54yuN3twYM7cGvzFxCz1VRPJHVotbDsetVpelGMteDXAXL22G3HvkLOvZMQpEKyJ1iRxeZ6DWuwwPIhR/0aCwr5W0HwmTKUjpLuEfqq1wrM/e1WYMLBNlAM35QZkzdfh10uQ0GdZZxniaVAuk0yitSMQT/pqehiSN/yp0tHk=
Received: by 10.78.142.14 with SMTP id p14mr3208441hud.1183413858072;
        Mon, 02 Jul 2007 15:04:18 -0700 (PDT)
Received: by 10.78.192.19 with HTTP; Mon, 2 Jul 2007 15:04:18 -0700 (PDT)
Message-ID: <9b415f950707021504q6bad7f65o3adde4cdafea97d5@mail.gmail.com>
Date: Tue, 3 Jul 2007 00:04:18 +0200
From: "Benedikt Grundmann" <benedikt@cardexpert.net>
Sender: benedikt.grundmann@googlemail.com
To: Caml-list <caml-list@inria.fr>
Subject: problem with camlp4
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
X-Google-Sender-Auth: cf1a26236be42cb9
X-Miltered: at discorde with ID 46897663.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; grundmann:01 camlp:01 syntax:01 camlp:01 expr:01 ocamlc:01 -pp:01 -thread:01 lib:01 ocaml:01 expr:01 calvin:98 calvin:98 match:02 match:02 

Hi everybody,

I'm having a problem with a syntax extension I'm trying to write, the
smallest sample that I could come up with, that still shows the
problem is the following:

(*pp camlp4orf *)

open Camlp4.PreCast

let test _loc =
  let num = 0 in
  let acc = <:match_case<>> in
    (*
  <:match_case< true -> $expr:num$ | $acc$ >>
     *)
  <:match_case< true -> 0 | $acc$ >>

If I comment out the last line and instead enable the line above I get
this error:

ocamlc -c -pp "camlp4orf " -thread -g -I
/home/bene/godi/lib/ocaml/std-lib/camlp4 sample.ml
File "sample.ml", line 8, characters 23-25:
While expanding quotation "match_case" in a position of "expr":
  Parse error: "->" expected after [opt_when_expr] (in [match_case0])

I'm sure I missed something obvious... Please help.

Thanks a lot,

Bene


-- 
Calvin: I try to make everyone's day a little more
surreal.

(From Calvin & Hobbes)