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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 55C007EEAF for ; Wed, 23 Jan 2013 06:25:10 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.216.169; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.216.169 as permitted sender) identity=mailfrom; client-ip=209.85.216.169; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qc0-f169.google.com) identity=helo; client-ip=209.85.216.169; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-qc0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmIBALpy/1DRVdipk2dsb2JhbABEviYWDgEBAQEJCQsJFAQjgh4BAQEEAQEBCSYBBQgBGxgEAQEDDAYFCw0JFg8JAwIBAgEREQEFARwGDQEHAQGIAgEDD55GjDSCe4EHg24KGScNWYh2AQUMkSoDiGGNK4EcjUw/hAor X-IronPort-AV: E=Sophos;i="4.84,520,1355094000"; d="scan'208";a="191202269" Received: from mail-qc0-f169.google.com ([209.85.216.169]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jan 2013 06:25:09 +0100 Received: by mail-qc0-f169.google.com with SMTP id t2so565944qcq.14 for ; Tue, 22 Jan 2013 21:25:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:message-id:date:from:user-agent:mime-version:newsgroups :to:cc:subject:references:in-reply-to:content-type :content-transfer-encoding; bh=dDkEbmSU14LzypR3UUYc+sKOw2fAfOSGq0jVGdjIAlc=; b=vIQVk4slKNwXk3tEJhutTkFvQg+mHG4H3pKX4ulUzim3ekwPNMQCr8XqO7HB3w+jVa qtI6q0ZoEZM1aHh2EJ8mTehr4wuELJh6hRk5yVg8bsOXsHLOi4A/8oA9H991l7OBWSyw kce8+R1nN8Ij2cleB7e5Kwkbm/ay/S7G3HQ818Iv6aeoqaxdRx3Dqh44VdS5XvsqiEGW Km/1KmJWPrEirAA0jKEeFtlVlRW8KON9GFyNVgOAmXY7qexB0CuKm9Pcq2NBIlmwh27k B9AETDxbHyOY7KO55sXSxZ6txQskiRPuF2bK5EtijJ5TIYEwJyoO4gMwfIz4CuBucBoO y40w== X-Received: by 10.224.222.14 with SMTP id ie14mr459215qab.61.1358918706310; Tue, 22 Jan 2013 21:25:06 -0800 (PST) Received: from Hongbos-MacBook-Air.local ([66.250.143.158]) by mx.google.com with ESMTPS id z5sm12366853qer.8.2013.01.22.21.25.05 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 22 Jan 2013 21:25:05 -0800 (PST) Message-ID: <50FF743A.4070906@gmail.com> Date: Wed, 23 Jan 2013 00:25:14 -0500 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:17.0) Gecko/20130107 Thunderbird/17.0.2 MIME-Version: 1.0 Newsgroups: gmane.comp.lang.caml.inria To: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= CC: caml-list@inria.fr References: <50FE9A4D.4070302@etorok.net> In-Reply-To: <50FE9A4D.4070302@etorok.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] Re: Fan, a promising replacement of camlp4 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? > > Best regards, > --Edwin >