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 8C94A7ED7A for ; Wed, 22 Aug 2012 22:28:17 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of micinski@cs.umd.edu) identity=pra; client-ip=128.8.127.149; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="micinski@cs.umd.edu"; x-sender="micinski@cs.umd.edu"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of micinski@cs.umd.edu) identity=mailfrom; client-ip=128.8.127.149; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="micinski@cs.umd.edu"; x-sender="micinski@cs.umd.edu"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@bacon.cs.umd.edu) identity=helo; client-ip=128.8.127.149; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="micinski@cs.umd.edu"; x-sender="postmaster@bacon.cs.umd.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArQFAGtANVCACH+Vf2dsb2JhbABFqHaRUCoBAQsLCggUJ4IgAQEBBBICWgsQCwsNDSEhARIBBQEKEgYTCAoQh1wDDAuaFgkDlSEDCkqJBIolY4ccA5N/gVOBFIl5gyk+hB4 X-IronPort-AV: E=Sophos;i="4.80,296,1344204000"; d="scan'208";a="153614665" Received: from server-nat-6.cs.umd.edu (HELO bacon.cs.umd.edu) ([128.8.127.149]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Aug 2012 22:27:50 +0200 Received: from mail-vc0-f180.google.com (mail-vc0-f180.google.com [209.85.220.180]) (Authenticated sender: micinski) by bacon.cs.umd.edu (Postfix) with ESMTPSA id DD37FB400EF for ; Wed, 22 Aug 2012 16:27:46 -0400 (EDT) Received: by vcbfw7 with SMTP id fw7so8489vcb.39 for ; Wed, 22 Aug 2012 13:27:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.220.215.211 with SMTP id hf19mr17637643vcb.30.1345667266688; Wed, 22 Aug 2012 13:27:46 -0700 (PDT) Received: by 10.58.95.104 with HTTP; Wed, 22 Aug 2012 13:27:46 -0700 (PDT) In-Reply-To: References: <20120822145820.19f07f69@caladan.esterel-technologies.com> Date: Wed, 22 Aug 2012 16:27:46 -0400 Message-ID: From: Kristopher Micinski To: Adrien Cc: Caml Mailing List Content-Type: text/plain; charset=ISO-8859-1 X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.3.8 (bacon.cs.umd.edu [0.0.0.0]); Wed, 22 Aug 2012 16:27:46 -0400 (EDT) X-CSD-MailScanner-ID: DD37FB400EF.A6DDC X-CSD-MailScanner: Found to be clean X-CSD-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-50, required 5, ALL_TRUSTED -50.00) X-CSD-MailScanner-From: micinski@cs.umd.edu X-CSD-MailScanner-Watermark: 1346272067.16926@iqc6k3hVDxqbSlKtlbMiGA X-Validation-by: micinski@cs.umd.edu Subject: Re: [Caml-list] State of Saffire or other FFI-checkers Adrien, Cool to hear that you've sort of resurrected Saffire. I am a current UMD student, though that work was done prior to my being here, though with my advisor. I'm not sure what the state of things is with it, I found it to be really interesting work, and if you want, perhaps it would be good for us to resurrect the UMD web page? kris On Wed, Aug 22, 2012 at 4:17 PM, Adrien wrote: > 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 > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >