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 ED69A7F60B for ; Sat, 25 Mar 2017 12:11:43 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=mailfrom; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.com) identity=helo; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="postmaster@orbitalfox.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Az/I9RxQs6Ncy/ybQBiSxoMxQCtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa68YBWN2/xhgRfzUJnB7Loc0qyN4vymATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAoofgvVUFsByzBRK0BO70zT9InGT53awm0+s7FQHG0gsgHt0UvH?= =?us-ascii?q?vIq9X1Mb4fXOaox6fL1TXOd/db1Dfn5ITVcB0tv+uAUax+fMbP00UjCR/JgkuW?= =?us-ascii?q?pIf4JT2azP4NvHKe7+d4VeKglWonqwZprzio3McjkYjJhp4PxVDA+yV5x4k0Kc?= =?us-ascii?q?ekR058ZN6oCJpQtyeEOItqWs4vR2FltDwnxrAEp5K3ZjYGxZo5yxLFdfCLb5aE?= =?us-ascii?q?7grmVOmLIDd4gHxleKi4hxa36UWg0fX8W9Kz0FZQtSVFk8XMuWoJ1xzd7ciGRe?= =?us-ascii?q?Fx8Vum2TaKzwzT8P1LIVgolarHLJ4s2qI/mYAWsUTHByP2nET2jLSKdkg/4eip?= =?us-ascii?q?6+HnYq38qZOGNo90jBv+MqU0lcClD+Q4KFtGY2/O8u250Pjn/FblaLRMlPw/1K?= =?us-ascii?q?fD477AIsFOnZbxVxRN+oE54RejBjOo18Reln4CegEWMCmbhpTkbgmdaMvzCu2y?= =?us-ascii?q?1gyh?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AfCQAdUNZY/8rorF9dHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgymBbINim12VS4IOhhkJAgyDHUEWAQEBAQEBAQEBAQFqKIIzIIJ?= =?us-ascii?q?DAQUjDwENAQE4DwsYAgImAgJXEwgBAYoHqhhogiaDCAEBBYc4DB4IgQuHSIJqh?= =?us-ascii?q?SCCOoJfnEsVlDABiHWGV5NlJg0kgQRZFUGESYIPQDWKGgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AfCQAdUNZY/8rorF9dHAEBBAEBCgEBFwEBBAEBCgEBgym?= =?us-ascii?q?BbINim12VS4IOhhkJAgyDHUEWAQEBAQEBAQEBAQFqKIIzIIJDAQUjDwENAQE4D?= =?us-ascii?q?wsYAgImAgJXEwgBAYoHqhhogiaDCAEBBYc4DB4IgQuHSIJqhSCCOoJfnEsVlDA?= =?us-ascii?q?BiHWGV5NlJg0kgQRZFUGESYIPQDWKGgEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,219,1486422000"; d="scan'208";a="266172417" Received: from orbitalfox.com ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Mar 2017 12:11:43 +0100 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.com (Postfix) with ESMTPSA id 8D72BAA003B for ; Sat, 25 Mar 2017 11:11:42 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com; s=orbitalfox; t=1490440302; bh=BMr/RcVvVZoxWouOE0hsjpbk11f6slSJgwYK5HW5ATc=; h=Subject:To:References:From:Date:In-Reply-To; b=a7eqAUr3OIB5+FGFhTPEi/ndYRI9UYlZHhkKv+q0NtXYYCluTS+CO+1C1vIq5yyuF UoIpGxP0+zjwq5binxhni80qXncP4ACD+vckW1uAQQh0n+TJxgvpTmAfG8x3BgMsg3 kMb7fdd/n9sKVZaO0bD6yhR9q9aRmtf1KerFU5Vs= To: caml-list@inria.fr References: From: SP Message-ID: <1d614712-d4c8-c4ae-d796-993b32902d5e@orbitalfox.com> Date: Sat, 25 Mar 2017 11:11:41 +0000 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Exceptions and Gc. On 21/03/2017 15:07, Romain Beauxis wrote: > Being able to clean everything up when the program exits seems like a > reasonable feature. Maybe the "appropriate" way with the current API is to have bindings that deallocate the resources from the external heap, and only leave the OCaml allocations (hopefully just pointers) to be collected later. That way you can do any critical external finalisations at the exact point you wish. Would that work? -- SP