From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4UBlPXB006083
	for <caml-list@sympa-roc.inria.fr>; Mon, 30 May 2011 13:47:25 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArwCAFmD403RVdU2kGdsb2JhbAA/AQMShEmhWAgUAQEBAQkJDQcUBCGIcaB3i2KCc4N1iRsBAQMGgSWDbIEHBJBPiyY7gSqCEQ
X-IronPort-AV: E=Sophos;i="4.65,290,1304287200"; 
   d="scan'208";a="100129481"
Received: from mail-yw0-f54.google.com ([209.85.213.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 May 2011 13:47:19 +0200
Received: by ywf7 with SMTP id 7so2187772ywf.27
        for <caml-list@inria.fr>; Mon, 30 May 2011 04:47:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:content-type;
        bh=8+vyeVmuhiTCaVrKwVevluTEFzyf/w9GzbfVq16hH6Q=;
        b=ZE/Mq4T81aXw6MiTyz4sMw9iGQ3IRobuiPkiRlYuAj0m9hRLJ2JyqfXdoJa4BjzrAx
         8BhE02DVK+mpZltZwLRRLE4VuH+bfe8pDaQ8MghRAM5O8RCzFaLHt2HMNdwK55AXLA6i
         3JO1VSza9Fkyo67RupJrmutq0EB0H5Dc7Gzfw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:content-type;
        b=hJ28iRgC13PLgYK6qC2QkgzGTpNvjDc7bUTL8zZvZuPpFAl55RqUTSDYwNhRLzKvCE
         9p2xjNXQ0X4s16Lwdpra0CQUeemKlAtxgQU1Cqhb7+fO1ZtYtiJvRmYz/EqVS6tYCrp3
         rGen4haUkzyTEtddltEXFc73/a4CaHyvap0kE=
MIME-Version: 1.0
Received: by 10.236.103.172 with SMTP id f32mr4364800yhg.260.1306756038407;
 Mon, 30 May 2011 04:47:18 -0700 (PDT)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.147.99.11 with HTTP; Mon, 30 May 2011 04:47:18 -0700 (PDT)
In-Reply-To: <BANLkTim1wCTkwCNZVh_VMYFNa=wkFvCuFA@mail.gmail.com>
References: <BANLkTikNoEz8Lz-O0u44HFZ-gVTFPxRKsw@mail.gmail.com>
	<slrniqvs87.78h.sylvain@gallu.homelinux.org>
	<BANLkTik+UUT+AhLLJPrC1iubZjZeUtEkPg@mail.gmail.com>
	<20110519092949.GK30282@centi.ks368928.kimsufi.com>
	<BANLkTimUPYQgoSHrqzo5+DeUfwhCKPZpRw@mail.gmail.com>
	<BANLkTim1wCTkwCNZVh_VMYFNa=wkFvCuFA@mail.gmail.com>
Date: Mon, 30 May 2011 13:47:18 +0200
X-Google-Sender-Auth: E8SP2Oy-QyDEUwqJrggePom0tdk
Message-ID: <BANLkTinX0JzkYg4T2AX5jw3bsCjhAo91hg@mail.gmail.com>
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Sylvain Le Gall <sylvain@le-gall.net>, caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Re: oasis & macosx

On 30 May 2011 13:15, Sylvain Le Gall <sylvain@le-gall.net> wrote:
> Hi, you use type-conv 2.3.0, which is not yet compatible with
> ocaml-data-notation...
>
> For now, I stick to type-conv 1.7.1. I really need to update it but
> ENOTENOUGH time for now....

The problem is that  type-conv 1.7.1 doesn't compile with ocaml 3.12...

Daniel

> make
ocamlc -c -w Ae -I +camlp4 pa_type_conv.mli
ocamlc -c -pp "camlp4orf " -w Ae -I +camlp4 pa_type_conv.ml
File "pa_type_conv.ml", line 349, characters 33-37:
Error: This expression has type
         Camlp4.PreCast.Syntax.Gram.token_info =
           Camlp4.PreCast.Gram.token_info
       but an expression was expected of type
         Camlp4.PreCast.Syntax.Loc.t = Camlp4.PreCast.Loc.t
make[1]: *** [pa_type_conv.cmo] Error 2
make: *** [all] Error 2