From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.5 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,NO_REAL_NAME autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 86BFEBC69 for ; Sat, 21 Jul 2007 13:31:46 +0200 (CEST) Received: from resmaa03.ono.com (smtp.ono.com [62.42.230.12]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6LBVjlP023360 for ; Sat, 21 Jul 2007 13:31:46 +0200 Received: from [192.168.1.33] (81.38.185.14) by resmaa03.ono.com (7.3.118.8) (authenticated as tmp123@menta.net) id 46A1AF3200021619 for caml-list@yquem.inria.fr; Sat, 21 Jul 2007 13:31:39 +0200 Message-ID: <46A1EE95.40900@menta.net> Date: Sat, 21 Jul 2007 13:31:33 +0200 From: tmp123@menta.net User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: dml References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 46A1EEA1.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 ocamlc:01 -pp:01 camlp:01 usr:01 lib:01 camlp:01 cmo:01 cmo:01 mlast:01 -impl:01 usr:01 lib:01 rtcg:01 Hello, In order to have an "eval" function, I'm trying to compile "dml". Two problems have appeared up to now. For the first one I've solution, but not for the second one. Any help will be welcome. 1) The first problem has appeared in the "configure" file of this package. The result of "ocaml -v" is "3.10.0". When "configure" executes the line: OCAML_MINOR=$(echo $OCAMLVER | cut -d '.' -f 2) the variable takes a vlue of "0", instead of "10". The problem can be skip changing the previous line to: OCAML_MINOR=$(echo $OCAMLVER | cut -d '.' -f 2) 2) When executing "make", the following error appears: ocamlc -pp \ "camlp4 -I /usr/local/lib/ocaml/camlp4 pa_o.cmo pa_extend.cmo q_MLast.cmo pr_dump.cmo -impl " \ -I /usr/local/lib/ocaml/camlp4 -I ../rtcg -c -impl dml.ml4 File "dml.ml4", line 82, characters 56-65: While expanding quotation "expr" in a position of "expr": Parse error: [ctyp] expected after "(" (in [ctyp]) where the related line is the line "Some s -> ..." of: let build_patt_fun loc body = function SimplePatt (Some id) -> <:expr< fun $lid:id$ -> $body$ >> | SimplePatt None -> <:expr< fun _ -> $body$ >> | TuplePatt l -> let tuple_id, new_body, typ = gen_tuple_patts loc body l in (match tuple_id with None -> <:expr< fun _ -> $body$ >> | Some s -> <:expr< fun ( $lid:s$ : Rtcg.code ($list:typ$)) -> $new_body$ >>) No idea of where is the error here. Thanks a lot.