From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 162377EEFC for ; Thu, 19 Nov 2015 17:43:34 +0100 (CET) IronPort-PHdr: 9a23:21H8kx2CYFvjsMwgsmDT+DRfVm0co7zxezQtwd8ZsegTKfad9pjvdHbS+e9qxAeQG96LtrQa0KGG4ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZrsnLDjs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqAQWD8vNmRw4MzwqTHCSxGO7z0SSDNFvABPBl3q4Qv2FqzttS/is+N73mHOPMv4Spg7VC6uqrx3TxvwjS4BMXg1/TeE2YRLkKtHrUf59FREyInObdTNOQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CKAAD++k1WlYJ+49Regw9/b7csiTkXBodCPBABAQEBAQEBARABAQEBBwsLCR8wgi2CMTKBAQJfEwmIJgMJn2uPcJBoCYVZjTQMLhOBMQWHRo8GgQUClUCTLjiCATgZB4FXcQGFHwEBAQ X-IPAS-Result: A0CKAAD++k1WlYJ+49Regw9/b7csiTkXBodCPBABAQEBAQEBARABAQEBBwsLCR8wgi2CMTKBAQJfEwmIJgMJn2uPcJBoCYVZjTQMLhOBMQWHRo8GgQUClUCTLjiCATgZB4FXcQGFHwEBAQ X-IronPort-AV: E=Sophos;i="5.20,318,1444687200"; d="asc'?scan'208";a="188272684" Received: from mout.kundenserver.de ([212.227.126.130]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Nov 2015 17:43:33 +0100 Received: from office1.lan.sumadev.de ([94.219.117.134]) by mrelayeu.kundenserver.de (mreue003) with ESMTPSA (Nemesis) id 0MSFeJ-1ZocgQ0M8Z-00TTJX for ; Thu, 19 Nov 2015 17:43:33 +0100 Received: from [IPv6:fd54:fbcf:6598:7e::1004] (unknown [IPv6:fd54:fbcf:6598:7e::1004]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 7FA75DC05D for ; Thu, 19 Nov 2015 17:43:32 +0100 (CET) Message-ID: <1447951407.15053.3.camel@zotac> From: Gerd Stolpmann To: caml-list Date: Thu, 19 Nov 2015 17:43:27 +0100 Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-d7s7zhncGcgqXZDJqsqR" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:C9hN+6NdA5Hz1hqjvZyBnlIJJOXgLzwEnl5keJ2PlDci5GER2hJ CiPfwvoMP3BY6xpn5JKZu2j2MpH9dCxOWYKWMWVt5sVg/hP2Jecq2G+OtdhiqG90t93g354 FxPM7nMCHQsSqiwEDxoIdL0HfdhtKXCRlnuR3WpjcHBzzQuvKshOP1fJ4TTUElPMacZMmav m68Z08z3lzjC60IyNf0Xw== X-UI-Out-Filterresults: notjunk:1;V01:K0:vv2DAjdZunc=:IvcaBlhqXlx7zNfVdEWdk3 Zqn4wbFkqSKsS3hufuXe6Vg9Oi/3J/5P4/3OUQROqdqMWICydHD1iWDHERZ8dvROJiWtHQehJ AZKZ+ctRAjbIGnZjiooTDm5BH9PdOS8Ecb8nKAYKDGGuJjGFeEAiOJq2mDdOizpOlLJevIuwN xC4/6nHwIiA8lG1SKy7e3xQiSPcsYFxYuT3JW3dHa2hW3AqRCVfytqR9hB78i3M7zoszFIhtq 4pNDAnKlFQ8Uez2SKxsQsnEg9UUMW2MKmT9jKbGMgzXKOcDcgiVI+k+lhB3POUnZZMBXdU8GW pZoAk3dIJXnr5Y/0ONdE9MYtJ0yGYK6VqImqOFinoMorD8jePFN4ma39+8WEPqIuqDXrQUNd7 iAP9FbrIhJyiW9HQSpySi/XWCuh3qcqfpN7msJ7s+ZKoH71dOZPLzNZD/OcCF5g2YC6e2+M9k BqlVnGGoIsjGstn9ibCBQkxqUa27yIX5kiXTKLG8tSDSD1n5Yq9fYNGeVtbjJ3pAKaFTigo8Z ZxfjrV0A5ix9fdZVracWTvDXgmogZFcMvGLGP2cLq6xEmBBm8NTDTD1wZES+OlrwgFcFIaWo+ GziWHH0vT52kSTVpub/KfF0FcJKx8xYPyOoqD8+TL+2YPcYxVLegi2rhaAtiH8ZNFvOai5CZj w3xWeHD5gTgHfean3FYhau1xaA5OprWs2Rt4/4ksewbN0XM7JL4r22mgfY7KvX1CUg/M= Subject: [Caml-list] bytes/string --=-d7s7zhncGcgqXZDJqsqR Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi list, and especially the OCaml devs, is there any chance that we get a safe version of (b : bytes :> string), e.g. by some kind of linear typing that tracks how many instances of the string exist? I'm asking because there is still a lot of code to port on my desk, and the question is whether delaying this further makes sense or not. Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-d7s7zhncGcgqXZDJqsqR Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWTfwvAAoJEAaM4b9ZLB5T9XkH/0zazfch/VugqifsToez6bSA zub2dZbZ+VuCtgfs/RN9Y2qHTNILnhSjRbFEFLmqg5+kqKzgwcOuC0wnrxDsorUh vu28lI4YC84cck94kbdFZRLBoJAwZ8bs4ncTE7O6OE+3YZhMKKbeRck/ZIwkL7/G AjpNkJz75HJthkGYxZHJJWlY60LcGbG3JJpLzQCBcK7g1Y/zhFGyAGKicne/1Dcu J792DFcFizT4oVsardmHhaPKIL65VrGiTxR1LT244aXt9E7kVG0hWQjGQgi0GFhm MpVYGZvayTuz9Nyr6eNSFeE8olzYdE6gW/XXTKjlL7jckUajDgqIVTdTX2mGac4= =5Hfj -----END PGP SIGNATURE----- --=-d7s7zhncGcgqXZDJqsqR--