From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST, PORN_URL_SEX autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 51424BBC4 for ; Thu, 16 Apr 2009 21:28:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQAAF0k50mArgW7lGdsb2JhbACNJ4krAQEBAQkLCAkRBLo+B4N2Bg X-IronPort-AV: E=Sophos;i="4.40,200,1238968800"; d="scan'208";a="24711291" Received: from expredir4.cites.uiuc.edu ([128.174.5.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Apr 2009 21:28:40 +0200 Received: from axyr (aryx.cs.uiuc.edu [128.174.236.106]) by expredir4.cites.uiuc.edu (8.14.2/8.14.2) with ESMTP id n3GJSZPP023078; Thu, 16 Apr 2009 14:28:35 -0500 (CDT) To: Romain Beauxis Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] [ANN] ocamltarzan 0.1 References: <87iql4tqgj.fsf@aryx.cs.uiuc.edu> <200904161515.21327.toots@rastageeks.org> From: Yoann Padioleau Date: Thu, 16 Apr 2009 14:27:48 -0500 In-Reply-To: <200904161515.21327.toots@rastageeks.org> (Romain Beauxis's message of "Thu\, 16 Apr 2009 15\:15\:21 -0400") Message-ID: <87eivstn4b.fsf@aryx.cs.uiuc.edu> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; camlp:01 camlp:01 foo:01 sexp:01 dependencies:01 ocaml:01 ocamlfind:01 beginner's:01 ocaml:01 bug:01 2009:98 beginners:01 compile:01 incompatible:01 caml-list:01 Romain Beauxis writes: > Hi ! > > Le Thursday 16 April 2009 14:15:40 Yoann Padioleau, vous avez =C3=A9crit : >> Sexplib and binprot by Jane Street are attractive, but they rely on >> camlp4. I don't like camlp4. I like the metaprogramming facility it >> offers but it has many disadvantages. So I've found a in-the-middle >> solution where I use camlp4 to generate code (via the small script >> ocamltarzan.ml), save the generated code in a file (e.g >> test/foo_sexp.ml), which allows then to completely remove the >> dependency to camlp4. Once the code has been generated, all >> dependencies to camlp4 can be removed. If tomorrow an incompatible new >> version of camlp4 arrives (e.g. camlp6 ...), your code will still >> work, because it does not rely on the new behavior of this camlp4. >> It's just regular plain good ocaml code. > > Shouldn't this just be a software/script independant from sexplib ? It should, but the goal is to make it easier to use sexplib, and I've found sexplib as it is right now a little bit complex to compile (it requires ocamlfind, it requires type-conv, etc) by default and too much tied to camlp4, hence the fork. > > On the one hand, such a technique could be useful for other code using ot= her=20 > camlp4 extensions,=20 It's useful only for boilerplate related camlp4 extensions, and except sexplib/binprot I don't know other such extensions. > and on the other hand, this would avoid yet another fork... sexplib has already been forked ? > > > Romain > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs