From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 54165BC37 for ; Sun, 8 Nov 2009 21:59:04 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmMBAKa/9krUGyoBkWdsb2JhbACbeQEBAQEJCwoHEwO8boQ+BIFo X-IronPort-AV: E=Sophos;i="4.44,704,1249250400"; d="asc'?scan'208";a="37748474" Received: from smtp1-g21.free.fr ([212.27.42.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2009 21:59:02 +0100 Received: from smtp1-g21.free.fr (localhost [127.0.0.1]) by smtp1-g21.free.fr (Postfix) with ESMTP id 7B395940155; Sun, 8 Nov 2009 21:58:56 +0100 (CET) Received: from macbookpro.local (unknown [78.240.16.62]) by smtp1-g21.free.fr (Postfix) with ESMTP id 578459401CC; Sun, 8 Nov 2009 21:58:54 +0100 (CET) Message-ID: <4AF73109.4070207@univ-savoie.fr> Date: Sun, 08 Nov 2009 21:58:49 +0100 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812) MIME-Version: 1.0 To: Richard Jones , OCaml Subject: Re: [Caml-list] Unboxed float tuples References: <91a3da520911080801w6637b652w94a717a830b1c5bd@mail.gmail.com> <20091108200951.GA30792@annexia.org> In-Reply-To: <20091108200951.GA30792@annexia.org> X-Enigmail-Version: 0.96.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigC93C07D0018C581B05CC7760" X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 unboxed:01 unboxed:01 syntax:01 camlp:01 lexemes:01 cheers:01 caml-list:01 tuples:01 define:02 module:03 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigC93C07D0018C581B05CC7760 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable >> t to sacrifice the unboxed representation for that. >> =20 > > I guess others have pointed out why this isn't so easy. > > How about a syntax extension instead to turn a vector (| a, b, c |) > into { v0 =3D a; v1 =3D b; v2 =3D c }, and a standard type to solve the= > module communication problem? I'm not sure if camlp4 will let you > define bracket lexemes like that. > > =20 I use (^ ^) and {^ ^} as bracket for my bindlib library. The only defect is that you have to add spaces : ^)^))) should be written ^) ^) )) You can look at the code of bindlib for more info ... Cheers, Christophe > Rich. > > =20 --------------enigC93C07D0018C581B05CC7760 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkr3MQ0ACgkQi9jr/RgYAS4cQwCfZ0oAYBZA2Flpln/WXgiCHvDf V3YAnRTVR8wXlXwZyRUuxGkqatytwAH4 =D31y -----END PGP SIGNATURE----- --------------enigC93C07D0018C581B05CC7760--