From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7C4097EEAF for ; Wed, 23 Jan 2013 09:41:09 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=176.9.138.55; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 176.9.138.55 as permitted sender) identity=mailfrom; client-ip=176.9.138.55; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mail.etorok.net designates 176.9.138.55 as permitted sender) identity=helo; client-ip=176.9.138.55; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mail.etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgEFAEih/1CwCYo3/2dsb2JhbABEgmu7PRZzgh4BAQUMJgENAQEyBAEBDwsOCgkWDwkDAgECAUUGDQEHAogWA6kqhDoBBY8dBpEzlg+BHI8tgnc X-IPAS-Result: AgEFAEih/1CwCYo3/2dsb2JhbABEgmu7PRZzgh4BAQUMJgENAQEyBAEBDwsOCgkWDwkDAgECAUUGDQEHAogWA6kqhDoBBY8dBpEzlg+BHI8tgnc X-IronPort-AV: E=Sophos;i="4.84,520,1355094000"; d="scan'208";a="2007" Received: from mail.etorok.net ([176.9.138.55]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jan 2013 09:41:08 +0100 Received: from [IPv6:2a02:2f02:1022:919f:1e6f:65ff:fe23:db0d] (unknown [IPv6:2a02:2f02:1022:919f:1e6f:65ff:fe23:db0d]) by mail.etorok.net (Postfix) with ESMTPSA id AAB5746B4; Wed, 23 Jan 2013 09:41:07 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=etorok.net; s=MAILOUT; t=1358930467; bh=4QmCyHq6p6ve9J/cemOR5zXJ1GVmoGFICv8S9Yj/YdY=; h=Message-ID:Date:From:MIME-Version:To:CC:Subject:References: In-Reply-To:Content-Type:Content-Transfer-Encoding; b=QP8WUYoXNp9oBDA2ach0UTtzYBTXg1LzRCawGQl49Q4af2KDh/bjQwZJFcim5kA3p e44NXlH+ELMSuFnEGGsy5Zun6FGrn15j+m23cQBzQYzrfMUMURfUVnmIl+H8uD95rR mUqrVI7P6Dl/uc4SkRVzO/AFfwuKbZ5x47Z1CSw8= Message-ID: <50FFA222.4040103@etorok.net> Date: Wed, 23 Jan 2013 10:41:06 +0200 From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 MIME-Version: 1.0 To: Hongbo Zhang CC: caml-list@inria.fr References: <50FE9A4D.4070302@etorok.net> <50FF743A.4070906@gmail.com> In-Reply-To: <50FF743A.4070906@gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Virus-Scanned: clamav-milter 0.97.6 at mail X-Virus-Status: Clean Subject: [Caml-list] Re: Fan, a promising replacement of camlp4 On 01/23/2013 07:25 AM, Hongbo Zhang wrote: > On 1/22/13 8:55 AM, Török Edwin wrote: >> On 01/21/2013 07:29 AM, bob zhang wrote: >>> >>> There are a number of enhancements I don't mention here, it >>> would be very helpful that you could suggest what kind of >>> functionality you want, Fan is already much better than camlp4 in all >>> rounds, it is still at alpha stage, so your opinions matter a lot :-) >>> >> >> How do you build it? >> I tried this but it failed: >> $ ocaml -version >> The OCaml toplevel, version 4.00.1 >> $ ocamlbuild -clean >> $ ocamlbuild cold/FanDriver.native >> >> + ocamlfind ocamlc -annot -w +a-4-32-30 -c -w -41 -I cold -I cold/Lib -o cold/Lib/Ctyp.cmo cold/Lib/Ctyp.ml >> File "cold/Lib/Ctyp.ml", line 92, characters 21-25: >> Error: The record field label FSig.ctyp belongs to the type FSig.col >> but is mixed here with labels of type FSig.record_col >> Command exited with code 2. >> Compilation unsuccessful after building 88 targets (0 cached) in 00:00:08. >> > Hi, > It seems that I used 'record name disambiguation' feature in the trunk accidentally(which is trivial to fix). > Would you have a try using the trunk compiler? It works with trunk. The ./re script needs this tiny patch to get rid of a bashism, and then it works too: diff --git a/re b/re index 63562dd..3d1c1c7 100755 --- a/re +++ b/re @@ -2,7 +2,7 @@ # -*- Mode:Shell-script -*- set -e PROGNAME=$(basename $0) -function error_exit +error_exit() {