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 37F6E801D9 for ; Tue, 18 Jul 2017 20:04:36 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=olaf@aepfle.de; spf=None smtp.mailfrom=olaf@aepfle.de; spf=None smtp.helo=postmaster@mo4-p00-ob.smtp.rzone.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=pra; client-ip=81.169.146.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=mailfrom; client-ip=81.169.146.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo4-p00-ob.smtp.rzone.de) identity=helo; client-ip=81.169.146.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="postmaster@mo4-p00-ob.smtp.rzone.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AsD+3CRVwVXf6u2cQkk7c+d8+FifV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBWAt8tkgFKBZ4jH8fUM07OQ6PG/HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdwIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZDI2y?= =?us-ascii?q?b5UBAfcCM+ZWoIbyu0YBohmwCgS3C+Pj1iVFi2Xq0aAg0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtMz7NKMIXuC70aLGzyvMb+lX2Tf754jDbxcsofaIXb1qf8rc0lMgGB3djlWe?= =?us-ascii?q?rYzqISmZ2fkTvGWC6edrSOGhi3Y/pgxyvzSj3Nogh4jNi44P11zJ+iR0zJwrKd?= =?us-ascii?q?GlTEN3ecCoHIdMuy2HMoZ5WMIvT3xttSs0xbALuYW0cS0Qx5s7yR7fZfmKf5WL?= =?us-ascii?q?7x/iW+ucJDd1iXFrdb+7ghu961avxvHiWcSx3lZHrzFKn9jKu3sQzRLc8NKHRe?= =?us-ascii?q?F4/kq52TaAyQTT6uZcLEAxkqrWJIctwqYsmpYPqEjDGTT5lF/tjK+TakUk4vKk?= =?us-ascii?q?6/7mY7XhoJ+TKZV4hRzgPag2m8y/B/o3MhQWUmWY5OiwzqDv8Ez9TblQk/E7na?= =?us-ascii?q?jUvIrEKcgGoqO1GwpV3Zwi6xa7ATemytMYnXwfIVJCfBKIlYbpNkrUL//mFfe/?= =?us-ascii?q?jVCsnylxy//bILLtGo/NIWTbkLf9YbZ97FZRxxYpwtBa45JYE7UBIPPoWk/tr9?= =?us-ascii?q?HYFR84Mwmsw+n9Etl914UeWXiOAqCDKq/Sv0WItaoTJLyjbYUPuTv5Y8Mu5/P0?= =?us-ascii?q?gGVxzVAUd7Oo0J9Rc3u4E+5rOW2WZHPthpEKFmJc7SQkS+m/r1mLX3ZzamyzWa?= =?us-ascii?q?10sjY/AYyOBIrbSISgxrCMinToVqZKb3xLXwjfWUzjcJ+JDrJVMHqf?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CTAQCBTG5Zh9uSqVFbHgYMGQYMgmaCQ?= =?us-ascii?q?Z9ylgSCEQeFQAKDUj8YAQEBAQEBAQEBAQESAQEBCA0JCCgvQgEECwGBYCQBgkE?= =?us-ascii?q?BAgIBIx0BATcBBAsLISECAg8FSYo6CQOudGuCJoMFAQEFh3QBAQEBAQUBAQEBF?= =?us-ascii?q?QcIgyiIUoQvg04wgjGfOYECkwcNb4ouDIcGkBeFQB+BQjEhCBwUSYUEH4F1dIF?= =?us-ascii?q?OgR+DNoIwAQEB?= X-IPAS-Result: =?us-ascii?q?A0CTAQCBTG5Zh9uSqVFbHgYMGQYMgmaCQZ9ylgSCEQeFQAK?= =?us-ascii?q?DUj8YAQEBAQEBAQEBAQESAQEBCA0JCCgvQgEECwGBYCQBgkEBAgIBIx0BATcBB?= =?us-ascii?q?AsLISECAg8FSYo6CQOudGuCJoMFAQEFh3QBAQEBAQUBAQEBFQcIgyiIUoQvg04?= =?us-ascii?q?wgjGfOYECkwcNb4ouDIcGkBeFQB+BQjEhCBwUSYUEH4F1dIFOgR+DNoIwAQEB?= X-IronPort-AV: E=Sophos;i="5.40,378,1496095200"; d="asc'?scan'208";a="283927123" Received: from mo4-p00-ob.smtp.rzone.de ([81.169.146.219]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Jul 2017 20:04:35 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1500401075; l=1138; s=domk; d=aepfle.de; h=In-Reply-To:Content-Disposition:Content-Type:MIME-Version: References:Subject:Cc:To:From:Date; bh=sGcZFHTA+/SsdrB/99vAH+Q8INC7K0PB/cURkkiDe1U=; b=XESP96mAseln4ov16q49Uud+TALh9WUIfclQH/4Pzqbxev6iQ9D2w6awWWBQ72L+n3 Y2pEW356zwW+k4C11rn9PI6vdQ6u1m4y1PZzKV/HvzY9lCPMLEZIlGFhzaPaU/RJi7mF VZ+BpUllQz69/qK1RzoRV+6HjAvX1DPPNzjJA= X-RZG-AUTH: :P2EQZWCpfu+qG7CngxMFH1J+yackYocTD1iAi8x+OWi/zfN1cLnAYQz4nWZeYaUqZmDcaKDKWuInYjY1AKYxM/KZ8U5sbA== X-RZG-CLASS-ID: mo00 Received: from aepfle.de ([2001:a61:345b:acff:1864:5839:ae0e:f6b6]) by smtp.strato.de (RZmta 41.1 AUTH) with ESMTPSA id m0b1ebt6II4Yv2n (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (curve secp521r1 with 521 ECDH bits, eq. 15360 bits RSA)) (Client did not present a certificate); Tue, 18 Jul 2017 20:04:34 +0200 (CEST) Date: Tue, 18 Jul 2017 20:04:33 +0200 From: Olaf Hering To: Gabriel Scherer Cc: =?utf-8?B?U3TDqXBoYW5l?= Glondu , caml users Message-ID: <20170718180433.GE2151@aepfle.de> References: <20170718090258.GB2151@aepfle.de> <20170718134143.GD2151@aepfle.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="UnaWdueM1EBWVRzC" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.8.3 (7104) Subject: Re: [Caml-list] removal of C compiler variables in in 4.06 --UnaWdueM1EBWVRzC Content-Type: text/plain; charset=utf-8 Content-Disposition: inline On Tue, Jul 18, Gabriel Scherer wrote: > (The Texp_function change is harder and you may need > version-conditional preprocessing, typically using cppo, to handle > them; this is the price to pay for accessing unstable > compiler-internal definitions.) Right now it requires at least 4.04 due to usage of Ppat_open. > Note that labltk is currently hosted on the OCaml Forge, which is due > to be closed soon, so moving to a different place would be required. If > you are interested in labltk and helping its maintenance, you should > contact the current maintainers, who may welcome help for the migration > and the kind of maintenance work this thread is about. Well, I can certainly help if needed. Olaf --UnaWdueM1EBWVRzC Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EARECAB0WIQSkRyP6Rn//f03pRUBdQqD6ppg2fgUCWW5NrQAKCRBdQqD6ppg2 fjYrAKCMA1OSq2wu7dKiO1IbNBzTsg6hjQCfWJVT2HS42dxQZnB9eFd+UxqQrmM= =U3ix -----END PGP SIGNATURE----- --UnaWdueM1EBWVRzC--