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 102617F027 for ; Fri, 11 Mar 2016 07:54:31 +0100 (CET) IronPort-PHdr: 9a23:bBJRQhy0F/ZbUE/XCy+O+j09IxM/srCxBDY+r6Qd0e0SIJqq85mqBkHD//Il1AaPBtWEraIUwLCL7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZTnnLrvpdX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DLKSA/HwnoHTi1CmRNNB03B7Qrmdpb3qCrz8ORnjnq0J8rzGJU1XT2k2Jx3QRnviioZNjVxpGTWjsV2l75zrxeophg5yInRNtLGfMFid7/QKItJDVFKWdxcAmkYWtux Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=milanst@gmail.com; spf=Pass smtp.mailfrom=milanst@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f179.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of milanst@gmail.com) identity=pra; client-ip=209.85.213.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of milanst@gmail.com designates 209.85.213.179 as permitted sender) identity=mailfrom; client-ip=209.85.213.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@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-ig0-f179.google.com) identity=helo; client-ip=209.85.213.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="postmaster@mail-ig0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DVAQBIa+JWi7PVVdFEGoQQbQaoEwQDhyKKd4FtFwqHKwc6EgEBAQEBAQEBEAEBAQgLCwkfMYItgi0RHQEbHgMSEA8CJgIkAREBBQEiNYdsAQMSDiyeG4IHgTE+MYs2gWqCV4VJChknDVGEEgEFCgVthRyLRAstE4EnBY4oiRaFbYgPgU5hjFONMhEegQ8nCIJHgW4eLgGKUAEBAQ X-IPAS-Result: A0DVAQBIa+JWi7PVVdFEGoQQbQaoEwQDhyKKd4FtFwqHKwc6EgEBAQEBAQEBEAEBAQgLCwkfMYItgi0RHQEbHgMSEA8CJgIkAREBBQEiNYdsAQMSDiyeG4IHgTE+MYs2gWqCV4VJChknDVGEEgEFCgVthRyLRAstE4EnBY4oiRaFbYgPgU5hjFONMhEegQ8nCIJHgW4eLgGKUAEBAQ X-IronPort-AV: E=Sophos;i="5.24,319,1454972400"; d="scan'208";a="168118855" Received: from mail-ig0-f179.google.com ([209.85.213.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Mar 2016 07:54:13 +0100 Received: by mail-ig0-f179.google.com with SMTP id av4so4231543igc.1 for ; Thu, 10 Mar 2016 22:54:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=/4LOPlx/JjMCMqEqK7K4t8fHENvlvDKM9zrnCC4HA7I=; b=gPSfTmIhhvMQtn7twAF6lGG5sykHTY3BRbsl/iOfOYv7qe1l+S5oY3KzyxlrJSlJN7 FkCIm8bNHwYD36zvDzdQDdr9ROelpD/j3tsvuG7YwECvwI7tDhKHggdGfaJEM7Ch8LWs UsvKAqOKPs97QZMPD8AHYTnivNSJdfm7yo5RKwYug/2vBGMzgfe2OzOqYrKJ6nnwFQ7k REFDeRXb42oSYzVLZC1NRZ3Kg1aiSGlhFm3y5u7rI2nXswKQOa34JPXyt40mEFMaEPqo Les8IZnmIXqQSmM+5c8o/fjG+yzbxIX8FHZHl5CEsN7xiq7crpq9SUIstv7ZNpmRA3bt 9A4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=/4LOPlx/JjMCMqEqK7K4t8fHENvlvDKM9zrnCC4HA7I=; b=RNQhRlA6Jtixh7Nl3JLzUkHQrmt6ExSi2kxb8fTeHKDJvFmV44ANN/vRe+irM3hN1k 200FhSIhPyzyhW2QfYXInYISFAtAMttb+sh6YKATY2YSvH2MvdA8xEKv1x/SJLMKstPj PQFbARKY4ky1S/6ZuPbq4WmXHxpIgQ+8fFS1mGlWI615TrWffCZlu9yc3YVuNI9X+S5Z CJXH2wgRDAJ9da/zDfHXTUa+xs7w7tR5T1Sqo0HnNAiw5+tblEKvDLmfskP8LGoFhjn2 ZGHV2nc4dSGw6/RIVGP8wln7LmNzxe7okJWI+wlAl0YXgCokWeeyzWCBPQ3K0UbKJsml V/NQ== X-Gm-Message-State: AD7BkJLREeMYZrJ9nk1PxrmgfpkXuEGHSB4AOLmJmShlwgmskBNDwfpVSteXh5mlivZQyzc3FKCHu8QgSZqIZg== X-Received: by 10.50.20.129 with SMTP id n1mr1033614ige.77.1457679251970; Thu, 10 Mar 2016 22:54:11 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.123.22 with HTTP; Thu, 10 Mar 2016 22:53:32 -0800 (PST) From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= Date: Fri, 11 Mar 2016 01:53:32 -0500 Message-ID: To: Caml List Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] variance/injectivity/uniqueness annotations for types I ran into some variance/injectivty issues in my code, plus I saw some recent question here, and I was wondering if there was any progress on adding syntax so types can be annotated with proper information (as discussed in http://caml.inria.fr/mantis/view.php?id=5985). I guess we don't really need new syntax, we can just use attributes (e.g. [@@unique] or [@@injective]) I searched mantis a bit but I don't see anything new (maybe I didn't search hard enough).