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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DAD1F823F7 for ; Mon, 26 Feb 2018 06:36:26 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oleg@okmij.org; spf=Pass smtp.mailfrom=oleg@okmij.org; spf=None smtp.helo=postmaster@mail1.g3.pair.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oleg@okmij.org) identity=pra; client-ip=66.39.3.114; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of oleg@okmij.org designates 66.39.3.114 as permitted sender) identity=mailfrom; client-ip=66.39.3.114; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail1.g3.pair.com) identity=helo; client-ip=66.39.3.114; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="postmaster@mail1.g3.pair.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A8io+Ph3SMCGZUYjhsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sewfIvad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmhi?= =?us-ascii?q?cJOSAk/m/UhcN/kL9UrxCvqBFk347YfJuYOOZicq7HY98XQ3dKUMZLVyxGB4Ox?= =?us-ascii?q?d5IBD+4fMuZXsoLwoFwOrR+gCgmjH+7vzTxIhnr33a04yeghFhvG3AM5Et8IrX?= =?us-ascii?q?/aotL1NKIIXuC0yqnF1TLDb/BT2Tf86ojEaBchoeuDXb92bMHfylEvGhvEg1iR?= =?us-ascii?q?s4DoMTeY2v4DvmSB8uZsSO2ih3Y6pwx/vjSj3Mkhh4bTio4Izl3I6z91zYg6KN?= =?us-ascii?q?C+VUV1e8SrEIFKuCGfL4Z2Qt0tQ2VvuCsiz70Jo5+7fCwXxJg9yB7SZeaLc5CS?= =?us-ascii?q?7RLiTuadOyt3hHVgeL6nhhay91avyvHkW8S10VtGtCRIn93Wun0DzRDf99WLR/?= =?us-ascii?q?Rl8kekwzmP1gTT6u9eIUAzkKrWM5khwroumZocqknDGSz2mED3jK+UbEkk/fKo?= =?us-ascii?q?6+v/brX8upCcL5N0ih35Mqk2hsOwG+E4MgwXU2if+OS8z6Hj8FbiQLRKi/02ir?= =?us-ascii?q?PWvIrbJcQdvK65AhVa3pwt6xalXH+a14EenHIAKFtePhWFgoTgfVvHOtj8AOe+?= =?us-ascii?q?jVXqmzBulN7cObi0JZHAITCXl7Pscp566Etdykw0198JtMEcMa0IPP+mAhy5j9?= =?us-ascii?q?ffFBJsa1XlkdaiM81008YlYUzKB6aYNK3ItlrRv7AoIOyNZskSojmvcqF5tc6r?= =?us-ascii?q?tmcwnBomRYfsxYEeMSnqGfdjIkffZmDj0I9YTDU6+zEmRemvs2WsFD5eY3HrDv?= =?us-ascii?q?A57zA/UcSpVsHbT4G3xreG2XXjEw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B6AwB+nJNabXIDJ0JcHAEBAQQBAQoBA?= =?us-ascii?q?YNPZnAojmqNCIMYjSmIXIIWCiOFBgoCgjgZBwQyFgECAQEBAQEBAQEBEg0LCQY?= =?us-ascii?q?qL4I4IoJKBjo/GyE0BYVsEK06iGOCFAEBCAImh0KBVoUUgxeCVoJygjQFkjiPK?= =?us-ascii?q?QmDH4QajFoNgXIBdYEDjnWMUYkkgS8lDoF0TTAIOoJDCYRgaIxfAQEB?= X-IPAS-Result: =?us-ascii?q?A0B6AwB+nJNabXIDJ0JcHAEBAQQBAQoBAYNPZnAojmqNCIM?= =?us-ascii?q?YjSmIXIIWCiOFBgoCgjgZBwQyFgECAQEBAQEBAQEBEg0LCQYqL4I4IoJKBjo/G?= =?us-ascii?q?yE0BYVsEK06iGOCFAEBCAImh0KBVoUUgxeCVoJygjQFkjiPKQmDH4QajFoNgXI?= =?us-ascii?q?BdYEDjnWMUYkkgS8lDoF0TTAIOoJDCYRgaIxfAQEB?= X-IronPort-AV: E=Sophos;i="5.47,396,1515452400"; d="scan'208";a="315236967" Received: from mail1.g3.pair.com ([66.39.3.114]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Feb 2018 06:35:53 +0100 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id 55EA53FB1FD; Mon, 26 Feb 2018 00:35:50 -0500 (EST) Received: from Magus.localnet (g.sf.ecei.tohoku.ac.jp [130.34.192.34]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id 4E59F582C88; Mon, 26 Feb 2018 00:35:49 -0500 (EST) Date: Mon, 26 Feb 2018 14:42:25 +0900 From: Oleg To: nicolas.ojeda.bar@lexifi.com Cc: mvanier@cms.caltech.edu, caml-list@inria.fr Message-ID: <20180226054225.GA1126@Magus.localnet> Mail-Followup-To: Oleg , nicolas.ojeda.bar@lexifi.com, mvanier@cms.caltech.edu, caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.6.1 (2016-04-27) Subject: Re: [Caml-list] Has anybody gotten delimcc to work? Thank you, Nicolas, for the patch. I have updated http://okmij.org/ftp/continuations/caml-shift.tar.gz It seems the compatibility.h has been changed with 4.06; hence the problem. This is just as well, using the caml_ prefixed names is long overdue (it turns out stacks-native.c was using the new names already). Incidentally, the change effected by that patch is backward compatible (as far back as OCaml 4.01, I think).