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 A2ADC7EDE3 for ; Sat, 13 Oct 2012 16:38:43 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anthony.tavener@gmail.com) identity=pra; client-ip=209.85.216.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of anthony.tavener@gmail.com designates 209.85.216.54 as permitted sender) identity=mailfrom; client-ip=209.85.216.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@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-qa0-f54.google.com) identity=helo; client-ip=209.85.216.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="postmaster@mail-qa0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjsCACZ8eVDRVdg2k2dsb2JhbABFrWaJJwGIVQgjAQEBAQkJCwkUBCOCIQEBBBICLAEbEgsBAwwGBQQHGiEiAREBBQEKEgYTEhCHTwEDDwudTwkDjCaCdoRKChknAwpZiHUBBQyLTYY9A4hYjRSBFY06FimELg X-IronPort-AV: E=Sophos;i="4.80,580,1344204000"; d="scan'208";a="158929819" Received: from mail-qa0-f54.google.com ([209.85.216.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Oct 2012 16:38:42 +0200 Received: by mail-qa0-f54.google.com with SMTP id y23so364699qad.6 for ; Sat, 13 Oct 2012 07:38:41 -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 :cc:content-type; bh=lELdElOvMlRo+fuD+M1lh0A3fw96/sP7t6IIkc6jK5Q=; b=KwPrPWwS4qLl9AXPObcpl7Xv0A/QfP9EmMrFhOEn+dMszLuUCxOI6GNuF4CHRsgtpK ibCYKkYTvZU5TMz6D2SNSzttEg/8atoa9eb3jDTyMzsHokc2j7DghBjfD88OBiQlYhi7 bHvbUZmtojXON1pTuxwW/Ofw56+krNq4Tw1cexq9sb2/Jtd8Pg52rAYM8V7jBBnunHVZ P8GcmCWJbqSodHliVvbssT4ZNNWEkmhl8Ct3p0Hkn9AlH+p4hJ4VfhHJEWv+yWpC9J0Y CbBCxu1qHZzui1dA3hsTg+L+U+xHvGrTDJxW8YA5Err4m5dQWVJIy79zFM15ENX8itZ5 sQVw== MIME-Version: 1.0 Received: by 10.224.97.197 with SMTP id m5mr12342357qan.57.1350139121436; Sat, 13 Oct 2012 07:38:41 -0700 (PDT) Received: by 10.49.127.11 with HTTP; Sat, 13 Oct 2012 07:38:41 -0700 (PDT) In-Reply-To: <5079674C.6040903@univ-savoie.fr> References: <5079674C.6040903@univ-savoie.fr> Date: Sat, 13 Oct 2012 08:38:41 -0600 Message-ID: From: Anthony Tavener To: Christophe Raffalli Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=20cf3074b0dabb07db04cbf1c25e Subject: Re: [Caml-list] ocaml 3.12.1 and delimcc --20cf3074b0dabb07db04cbf1c25e Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Interesting to see that it's not working on 3.12.1. I ran into the same problem with 4.00.0, also on amd64. I've been successfully using delimcc (native) on a 32-bit machine with ocaml 3.12.0. Based on this message from Oleg... http://caml.inria.fr/pub/ml-archives/caml-list/2010/08/f7e9bbdc114f17b57141= 46abe1793278.en.html ... delimcc's native implementation should have been more portable, and it was working for 3.12.0 on amd64. So likely a change brought in with 3.12.1 needs to be accommodated. This is a lot simpler to investigate than the jump to 4.0! I might look at it today, depending on visiting company. This is encouraging. Up to now I've been using my older machine rather than dig into this problem. Tony On Sat, Oct 13, 2012 at 7:06 AM, Christophe Raffalli < christophe.raffalli@univ-savoie.fr> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > > Hello, > > I failed to have the delimited continuation library working > with ocaml 3.12.1 on an amd64. bytecode is fine but > native code segfaults one the provided regression test: > > raffalli@delli7:~/Caml/caml-shift$ make testd0opt > /usr/bin/ocamlopt -o testd0opt -cclib -L. delimcc.cmxa testd0.ml > ./testd0opt > make: *** [testd0opt] Erreur de segmentation > make: *** Destruction du fichier =AB testd0opt =BB > > I tried both the provided header file and those of the > original distribution. > > Did anyone succeded with delimcc on 3.12.1 or 4.0.X ? > > Cheers, > Christophe > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v1.4.12 (GNU/Linux) > Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ > > iEYEARECAAYFAlB5Z0wACgkQi9jr/RgYAS7apwCeJ4u+Wd9ScYU4aLWzZMZBuchU > beYAn3rjvAWfnVsEsLn9UR9HBxsVSrOd > =3DMozm > -----END PGP SIGNATURE----- > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --20cf3074b0dabb07db04cbf1c25e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Interesting to see that it's not working on 3.12.1. I ran into the same= problem with 4.00.0, also on amd64. I've been successfully using delim= cc (native) on a 32-bit machine with ocaml 3.12.0.

Based= on this message from Oleg...
... delimcc's native implementation should have been more portable, and= it was working for 3.12.0 on amd64. So likely a change brought in with 3.1= 2.1 needs to be accommodated. This is a lot simpler to investigate than the= jump to 4.0! I might look at it today, depending on visiting company.

This is encouraging. Up to now I've been using my o= lder machine rather than dig into this problem.

= =A0Tony


On Sat, Oct= 13, 2012 at 7:06 AM, Christophe Raffalli <christophe.raf= falli@univ-savoie.fr> wrote:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


Hello,

I failed to have the delimited continuation library working
with ocaml 3.12.1 on an amd64. bytecode is fine but
native code segfaults one the provided regression test:

raffalli@delli7:~/Caml/caml-shift$ make testd0opt
/usr/bin/ocamlopt -o testd0opt -cclib -L. delimcc.cmxa =A0testd0.ml
./testd0opt
make: *** [testd0opt] Erreur de segmentation
make: *** Destruction du fichier =AB testd0opt =BB

I tried both the provided header file and those of the
original distribution.

Did anyone succeded with delimcc on 3.12.1 or 4.0.X ?

Cheers,
Christophe
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAlB5Z0wACgkQi9jr/RgYAS7apwCeJ4u+Wd9ScYU4aLWzZMZBuchU
beYAn3rjvAWfnVsEsLn9UR9HBxsVSrOd
=3DMozm
-----END PGP SIGNATURE-----

--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--20cf3074b0dabb07db04cbf1c25e--