From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <yallop@gmail.com>
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 392F77F616
	for <caml-list@sympa.inria.fr>; Thu, 23 Feb 2017 16:11:04 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f181.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  yallop@gmail.com) identity=pra; client-ip=209.85.216.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="yallop@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  yallop@gmail.com designates 209.85.216.181 as permitted
  sender) identity=mailfrom; client-ip=209.85.216.181;
  receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qt0-f181.google.com) identity=helo;
  client-ip=209.85.216.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="postmaster@mail-qt0-f181.google.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AEPtFmR/C8Z3off9uRHKM819IXTAuvvDOBiVQ1KB9?=
 =?us-ascii?q?0+kcTK2v8tzYMVDF4r011RmSDNidsqIP1LCe8/i5HzdfsdDZ6DFKWacPfiFGoP?=
 =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJd?=
 =?us-ascii?q?b974EY/Kjsmxy/v6u9iKO10J13KBZuZZJRCy5SHQrdVe1YBrL6J0zhrSvlNJff?=
 =?us-ascii?q?5XzCVmPwTAsQz745KS8YRu9jUYivsl88lYGfHrdqA8SqRwAzEvMmRz78ru40qQ?=
 =?us-ascii?q?BTCT72cRBz1F2iFDBBLIuVSjBs/8?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DWAAA0+q5YhrXYVdFdHQEFAQsBFwEBB?=
 =?us-ascii?q?AEBCgEBhQ8Hg1SKCJpVjDqCDYk9Bz8YAQEBAQEBAQEBAQESAQEBCAsLCh0vQg6?=
 =?us-ascii?q?BYwQBHQEEgkAdARseAxIQDwImAiQBEQEFASIbiAADgVEBAxWeAINDP4wDggQFA?=
 =?us-ascii?q?RyDCQWDYAoZJw1Vg1MCBhJ5kgqCXwWcFIFRkFOBYwGPLZFhFB6BFR+BOCEUCBc?=
 =?us-ascii?q?VVYQlIIFtQDWFfYN6gU8BAQE?=
X-IPAS-Result: =?us-ascii?q?A0DWAAA0+q5YhrXYVdFdHQEFAQsBFwEBBAEBCgEBhQ8Hg1S?=
 =?us-ascii?q?KCJpVjDqCDYk9Bz8YAQEBAQEBAQEBAQESAQEBCAsLCh0vQg6BYwQBHQEEgkAdA?=
 =?us-ascii?q?RseAxIQDwImAiQBEQEFASIbiAADgVEBAxWeAINDP4wDggQFARyDCQWDYAoZJw1?=
 =?us-ascii?q?Vg1MCBhJ5kgqCXwWcFIFRkFOBYwGPLZFhFB6BFR+BOCEUCBcVVYQlIIFtQDWFf?=
 =?us-ascii?q?YN6gU8BAQE?=
X-IronPort-AV: E=Sophos;i="5.35,198,1484002800"; 
   d="scan'208";a="261818157"
Received: from mail-qt0-f181.google.com ([209.85.216.181])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Feb 2017 16:11:03 +0100
Received: by mail-qt0-f181.google.com with SMTP id b16so30799116qte.0
        for <caml-list@inria.fr>; Thu, 23 Feb 2017 07:11:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:from:date:message-id:subject:to;
        bh=2Cqb/uHVqDO4mVJJcIkfZHgFr0V9ADEG4g0unCL77gA=;
        b=BLG6l8McmACMdBX6Cx3fB0HSg9cZr57wQyw8ufPr9tupcA132nAqdNZrhmNKRtl4Te
         f+lgqDPb3oIMOKsA9x13Q2Vl760DbAN78i3NBtp1sxOP22COBa1JnhJUwNGOSnHd6ein
         qvxrIsjZArrwjt64HHpQTJ/fje6rrzLymYvKoHXsN8lqptneoZqhJ1pkbXs1ypwNgpQp
         HJcuIP1UQjqsaXkZbSRQR7HFV1JmNWDzzhzdhv8njw1F66v6wySVT3Yv+nCdgrKwEflc
         J58PpKHzg7nfPIMpf3w33134mswpIYc7BR2EoiZhvtSpFLEO0SeqEWPDPQnm/ERsKX/C
         gEtw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
        bh=2Cqb/uHVqDO4mVJJcIkfZHgFr0V9ADEG4g0unCL77gA=;
        b=jpCpcV7ICyxcp2CLym95O5wnEtd5v3dVG2GN8Jq2nIjsSup/ZEJRje8xVSrZG+Orla
         3c3BSj1PkO3qz+063JCiWRARW9x+iZeqkhpga7TGl9mZI4wMIHMLN3TGt+QBu3CYiwhv
         3KtOkpJNHQi4M3N+UKfwzk7QW8OQPAAmA6eGzFyzLl7IkstOb7gdhExGbPQ8xpGwHDQI
         +TPxuRxLBDJpWjfaUJ/F18+a1G5LdPViBRiY6i6Imh8QTEZsjgd+BNkl/ibkFFj56/1c
         xiPENaS6wBd3LU8Sk3/1erPX+mVSG3Plcgw7LrlBKTPpUnnW60aUT1Hv8bEA7ao3HPQK
         vIQw==
X-Gm-Message-State: AMke39kpuoSmAfQgvyY/OPwz76iwAyKJnHdM1FZavD7B6LcR9zcwdtKDN5mGB1Yh/9ddR227v4CxWJy/T/3Jlg==
X-Received: by 10.200.49.129 with SMTP id h1mr17735208qte.277.1487862662032;
 Thu, 23 Feb 2017 07:11:02 -0800 (PST)
MIME-Version: 1.0
Received: by 10.55.88.194 with HTTP; Thu, 23 Feb 2017 07:11:01 -0800 (PST)
From: Jeremy Yallop <yallop@gmail.com>
Date: Thu, 23 Feb 2017 15:11:01 +0000
Message-ID: <CAAxsn=Hw5tDVq4Qe40LZzHJ3y7DcHTeUj4LUOLZJxbEK2VKiXg@mail.gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] Duplicate value specifications

Are duplicate value specifications a supported feature of signatures?
Will the following program, which is currently accepted, continue to
be accepted in future versions of OCaml?

  module type S = sig
    val x : int
    val x : bool
  end

This is an artificial example, of course, but duplication can
sometimes arise naturally through signature inclusion.