From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 5AAE87ED7A for ; Tue, 4 Sep 2012 16:56:35 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of p.donadeo@gmail.com) identity=pra; client-ip=209.85.213.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of p.donadeo@gmail.com designates 209.85.213.182 as permitted sender) identity=mailfrom; client-ip=209.85.213.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@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-yx0-f182.google.com) identity=helo; client-ip=209.85.213.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="postmaster@mail-yx0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoBAOwVRlDRVdW2k2dsb2JhbABFhgW1HQgiAQEBAQkJCwkUBCOCIQEBBBICDx0BGx4DDAYFCw8CJgICIgERAQUBHAYcGYdbAQMMC5wSCQOLVE+Cc4R1ChknDVmIcwEFDIEVkAyBEgOVWYEUjSg+hAU X-IronPort-AV: E=Sophos;i="4.80,367,1344204000"; d="scan'208";a="154656125" Received: from mail-yx0-f182.google.com ([209.85.213.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Sep 2012 16:56:34 +0200 Received: by yenl7 with SMTP id l7so1239012yen.27 for ; Tue, 04 Sep 2012 07:56:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=FJgwmdLIyZ5i5hh6PnHVF4SAi/TxCzGauxsb55/qCjc=; b=gYtYHwy16NMfuFwWkhCHRW+ciSYGQkQcODauUqO5uAPcQ8SP5wAzL0/BO3i6OrGgwL S6ro3s/5X3Xjs/jSCmZkwp73tJopLuwImIsZkvlVaQDLheIL65F/Xree8nqAVNbI+VDb bErqPBUD3ZhQoUL5LveTwnYY9NtYZUPkv+Zl/o/ZRv8ynvHgHTxSe411Ne/iTDbgGf6X Ztten4oxJ3dBjzPNcgDGgIThVUsF/ejLWRxUiHX5/Unmt4fM1VexTsUXLR9/pANqkiPE xm3/3Rtlb7ypYDD5mnkLujGoewyXZibtVs/D5IWuxu7DsTTSYyRH1uJDCGh6D4q+OglX vZIw== Received: by 10.182.76.137 with SMTP id k9mr15993371obw.90.1346770593538; Tue, 04 Sep 2012 07:56:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.60.54.37 with HTTP; Tue, 4 Sep 2012 07:55:52 -0700 (PDT) In-Reply-To: <201209040157.25686.monnier.florent@gmail.com> References: <201209040157.25686.monnier.florent@gmail.com> From: Paolo Donadeo Date: Tue, 4 Sep 2012 16:55:52 +0200 Message-ID: To: OCaml mailing list Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] [ANN] ocaml-lua v1.0: OCaml binding of Lua library I don't know how to solve the problem of translating such things automagically, and I suspect it's simply impossible. Aside from this problem, ocaml-lua is a binding of Lua 5.1.x, and 5.2 is not (still) supported. It's not only a matter of some enums, the language itself changed from 5.1 to 5.2: http://www.lua.org/manual/5.2/manual.html#8 The work is not so lengthy, but it requires attention (I have to carefully check the new behaviour wrt. the two garbage collectors) and it's not on top on my todo list. Do you really need Lua 5.2? :-) In any case, until ocaml-lua for Lua 5.2 is not out, I strongly recommend you to link with Lua 5.1, which is present in Debian and Ubuntu: http://packages.ubuntu.com/precise/lua5.1 http://packages.debian.org/squeeze/lua5.1 -- Paolo