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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 53C397ED7A for ; Wed, 22 Aug 2012 22:17:24 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of camaradetux@gmail.com) identity=pra; client-ip=209.85.160.172; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of camaradetux@gmail.com designates 209.85.160.172 as permitted sender) identity=mailfrom; client-ip=209.85.160.172; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-gh0-f172.google.com) identity=helo; client-ip=209.85.160.172; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="postmaster@mail-gh0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AosDAOE8NVDRVaCsk2dsb2JhbABFuUwDdggiAQEBAQkJCwkUBCOCIQEBBBICLAEbHgMMBgULOyIBEQEFARwGNYdbAQMMC5odCQOMIoJyhUMKGScNV4hxAQUMjCSFdAONdIdejjY+hAQ X-IronPort-AV: E=Sophos;i="4.80,809,1344204000"; d="scan'208";a="153614224" Received: from mail-gh0-f172.google.com ([209.85.160.172]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2012 22:17:23 +0200 Received: by ghbg16 with SMTP id g16so1123879ghb.31 for ; Wed, 22 Aug 2012 13:17:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=lJmQxsjmDKRE4XqsO/JojJVgFkmOsijQFd2jpwc41II=; b=g00qupIsFR/BmQE5zTGWJ1bItuu/+aXUxI31Ndj2InzslKfRAuVXLbc8YAsplrkCNo MvYKWTlhVk/FeFPwISxwXrSee4TwZZtwFus0VqdskKs1ozaU0+5cbQS4KbTgMpXfDAHN XrQcdY50voGo52qDIGqJPuj1GPA/W8Sc+41SdYuNENp3L6+awLq3MeyjQ/s8RydBN1XL kI0QxGR8QXDWZnotiK7dPlBwIXg0bE+/YXkWllcLQz6JqJ0wF4rAkH48RPlW71/kpDKK 14LAsnVZ7AeJejFA9BHXXM7N81fIyMYYD3J0h/tudvlj6ze7LC9KGK0K1uIxQkgHcrOZ Y7IA== MIME-Version: 1.0 Received: by 10.60.22.66 with SMTP id b2mr16929363oef.96.1345666642033; Wed, 22 Aug 2012 13:17:22 -0700 (PDT) Received: by 10.76.2.13 with HTTP; Wed, 22 Aug 2012 13:17:21 -0700 (PDT) In-Reply-To: References: <20120822145820.19f07f69@caladan.esterel-technologies.com> Date: Wed, 22 Aug 2012 22:17:21 +0200 Message-ID: From: Adrien To: Caml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] State of Saffire or other FFI-checkers I've created a project on the OCaml forge for Saffire: https://forge.ocamlcore.org/projects/saffire/ Git: https://forge.ocamlcore.org/anonscm/git/saffire/saffire.git I've commited several fixes so far but it's not building yet. Right now, building yields the following error: File "src/ext/ffi/ffi_common.ml", line 208, characters 8-35: Error: Unbound constructor MLast.RfTag I've checked in all the camlp5 releases and none of them mentions RfTag; only 4 commits in the ocaml sources mention it and I couldn't see any documentation about it (saffire was built against ocaml 3.08). Also, unfortunately, I don't know camlp5. If you're interested in Saffire, you can become a commiter or simply submit patches. The work to simply see which results it can bring is probably minimal; it it proves useful in practice, there can also be more work (like maybe using bin-annot instead of being a wrapper around ocaml{c,opt} and using camlp4). Regards, Adrien Nader