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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4B09E82355 for ; Tue, 23 Jan 2018 23:07:23 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f169.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.216.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.216.169 as permitted sender) identity=mailfrom; client-ip=209.85.216.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f169.google.com) identity=helo; client-ip=209.85.216.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qt0-f169.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AMCV6VxRNfOp0wchV+1rILdJ4yNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YxGN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRDDYOy?= =?us-ascii?q?b4UBAekPM/tGoYbhvFYOsQeyCBOwCO/z1jNFhHn71rA63eQ7FgHG2RQtEdYQv3?= =?us-ascii?q?TOstr1MacTWv23w6bSyTXDa/RW2S/g44XPchEuu/WMXbZ3ccrJ0kQvGAbFgU+R?= =?us-ascii?q?qYzhJT+ayuMNs22C4udmSOmhhWknqwRrrTiuwMchkojJhoQPylDF7yp12og1Jc?= =?us-ascii?q?e+RUVmYtCkCINduz+GO4ZyWM8vQGFltDwkxrEbuJO3ZjUGxZUjyhPZdveJaZKH?= =?us-ascii?q?4gj5W+aUOTp4hGxqeLa4hxuq9Eiv0Oz8Vs2t3FZTsipJjsDAtn4Q2xHS7sWLUP?= =?us-ascii?q?R9/kCm2TaA0wDc9PtILlwzlareM5Ihw7gwmYQPsUnbACP6hEH7gLWVe0gk4OSk?= =?us-ascii?q?9fnrb7T8qpOBNoJ5jhnyMqE0lcy+BeQ4PBIOX2+e+emk1Lzs50n5QLFNjv0uia?= =?us-ascii?q?TZv5XaKt4apq69GQNazoEj6xOnAze8zNsYhWUHLE5CeB+fk4fmIVTOIPThAfe7?= =?us-ascii?q?glSsiytryuvdPrzhB5XNNmLMnK3gfbZ78U5cyRA8wcpR55JOWfk9J6fYWkLt/P?= =?us-ascii?q?nFFAM5IkTgxvv9FNVskIgeVH6nDaqQMaeUuliNsLEBOe6JMa0Yojv4OrAU7vrq?= =?us-ascii?q?imdxzU4Uea2uxbMYbXm5GrJtJEDPMimkucsIDWpf5ll2d+ftklDXFGcLPy/jDZ?= =?us-ascii?q?J53SkyDcedNamGQ4mshLKb2yLiR89ZY2lHDhaHFnK6LtzYCcdJUzqbJ4paqhJB?= =?us-ascii?q?TaKoEtZz2hSntQu8wL1ifLKNp38o8Kn73d0w3NX90BE/8TsuUZaY2mCJCnhoxi?= =?us-ascii?q?YGHmFnmq94pkN5xxGI1q0q2/E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BpAgDpsGdahqnYVdFeGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYNpP3QUEweDVpkJggKEAZVUChuFHAICAoRvBxkHBDQUAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCAsLCCgvgjgkAYJHAQUjHQEbHQEDDAYFCw0CAiYCAiEBAREBBQEcB?= =?us-ascii?q?hOKHAEDFaZaQIwTggUFARyDCwWDZgoZJw1ZgiQBAQEBBgEBAQEBGwIGEn2DPII?= =?us-ascii?q?Vgz+DLoJrRASFBoJlBYp0iTWPGD2IFIhEhQWDApEhjVRGiSIUBSCBFzaBcjMaC?= =?us-ascii?q?BsVPTKBeAmCPA8QDIFnQTeOGgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BpAgDpsGdahqnYVdFeGgEBAQEBAgEBAQEIAQEBAYNpP3Q?= =?us-ascii?q?UEweDVpkJggKEAZVUChuFHAICAoRvBxkHBDQUAQEBAQEBAQEBAQESAQEBCAsLC?= =?us-ascii?q?CgvgjgkAYJHAQUjHQEbHQEDDAYFCw0CAiYCAiEBAREBBQEcBhOKHAEDFaZaQIw?= =?us-ascii?q?TggUFARyDCwWDZgoZJw1ZgiQBAQEBBgEBAQEBGwIGEn2DPIIVgz+DLoJrRASFB?= =?us-ascii?q?oJlBYp0iTWPGD2IFIhEhQWDApEhjVRGiSIUBSCBFzaBcjMaCBsVPTKBeAmCPA8?= =?us-ascii?q?QDIFnQTeOGgEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,403,1511823600"; d="scan'208";a="252247534" Received: from mail-qt0-f169.google.com ([209.85.216.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Jan 2018 23:07:22 +0100 Received: by mail-qt0-f169.google.com with SMTP id z11so5494283qtm.3 for ; Tue, 23 Jan 2018 14:07:22 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=BHqWsiBYx4PEBH9roK/5XZKY6Kapi2qPuELhMpF4FKc=; b=rP8a1yAlpbLV6CbMXEIl7S/vMe3gdqXyJCLV10sQuOFCov5DY0f2UKAAeWLGZRnhQB KkPkLKkbUTwZ8OfnvHOVvSbywblGU/y12OoLKHXsvLb5w/DxL5WyVJEGj8h5vr6KjY3A QkfIpqPPfsKIjf9rgfLRMSJX8kHaoNMMFap+Z0+09E6h6H0aACLxXnd5KQXwb1PWhm/F y343jP6qwJYzkIk5m/zZxKmaHNI8vQIizlakHZ5MvXnyTT5TK38XgW5EZAUg8j5tfJHR Ht8uwwboUAnBmS7fOMvR+5ksirkc1TE/okckSDOykDudEm1gg1bJTO9Ve61gbPu0cxvQ LPQA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=BHqWsiBYx4PEBH9roK/5XZKY6Kapi2qPuELhMpF4FKc=; b=uWvZ87Yf6cqhNbMr9DXO9mxaI+Bcy8luIjulHNs8TkTYJ9yfplAcAXizOik6rsgoCP ZaQAYhEj7fcvbqfk1tzRwVNoB2/4CT1COVrA+w3qAyipM9BqnSU4Y1Y4k5PNo8wzMsPh 8xFW/3gSExnSwf4hcEufopvkENx0eRLfrMCLAiB9OIHSnde796p1Iv2Q2RZdcR5hEaS/ jA+aQQBbKWGInwaGH+CbuosGAbf1x2pZp4JZfLC7segkuCfg6lGqEdQXDjbxtwO1Y4ho Rn7tdTVX3bbIjbe9SqrjlrkRnU4ctFCC+vJf4vchsZMOYeAyk0cFMERv4nx4+sijc9+4 NO9A== X-Gm-Message-State: AKwxytfjUxrze1DeqTRVeuFZBPLkoD16tInvh9t3NAYV15BoSl/RpthG kc7u2VBTMIf9rp6pwBjD4oYZNP5AVg+KSmPA7gmc1g== X-Google-Smtp-Source: AH8x226Qrtmf8p9qoGFNGruRH6NiSbM827kJUB/nh2pBsMkkTcmZXYQLtjEG6j5Ap4YC9Qx0e/9LUs8lenofRCQTohM= X-Received: by 10.55.165.198 with SMTP id o189mr5868041qke.115.1516745240489; Tue, 23 Jan 2018 14:07:20 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.83.131 with HTTP; Tue, 23 Jan 2018 14:06:55 -0800 (PST) In-Reply-To: References: <20180123145453.GA1916@Magus.localnet> From: Jeremy Yallop Date: Tue, 23 Jan 2018 22:06:55 +0000 Message-ID: To: Chet Murthy Cc: Oleg , Caml List Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Are record types generative? On 23 January 2018 at 21:36, Chet Murthy wrote: > Heh. I was careful to say "caml", not "ocaml". I'm aware that polymorphic > variants, objects, and (heh, I forgot) labels all violate the rule. And of > course, modules do. > > Like I said: *caml* has this property. Certainly caml-light, circa 1993 > did, IIRC. I think people usually consider OCaml an implementation of Caml. (See, e.g. the documentation at http://caml.inria.fr/) Of course, you're quite right that most of these programs weren't valid in caml light. But even (later versions of) caml light had format strings with string syntax, so it was possible to write programs that were rejected without annotations and accepted with annotations. In any case, whether annotations can be erased without affecting type correctness is an interesting property to consider. Here's a closely related property that's much harder to break: does adding annotations leave the run-time behaviour of a program unchanged? There are far fewer programs that violate that property, I think.