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 520257FBCF for ; Tue, 13 Jan 2015 22:11:02 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of milanst@gmail.com) identity=pra; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of milanst@gmail.com designates 209.85.213.172 as permitted sender) identity=mailfrom; client-ip=209.85.213.172; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ig0-f172.google.com) identity=helo; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="postmaster@mail-ig0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AikBAM6ItVTRVdWslGdsb2JhbABbDoQiBIMByQICgRQHQwEBAQEBEQEBAQEHCwsJEjCEDQEBAwESER0BGxYHAQMBCwYFCwMMAiYCAiIBEQEFARwGGxqHdQEDCQivfz4xiy6Ba4J3iloKGScNVIMPAQEBAQEFAQEBAQEXAQUOgROOWAeCaIFBBYlmjWmQMhIjgQwJg1NbIDGCQwEBAQ X-IPAS-Result: AikBAM6ItVTRVdWslGdsb2JhbABbDoQiBIMByQICgRQHQwEBAQEBEQEBAQEHCwsJEjCEDQEBAwESER0BGxYHAQMBCwYFCwMMAiYCAiIBEQEFARwGGxqHdQEDCQivfz4xiy6Ba4J3iloKGScNVIMPAQEBAQEFAQEBAQEXAQUOgROOWAeCaIFBBYlmjWmQMhIjgQwJg1NbIDGCQwEBAQ X-IronPort-AV: E=Sophos;i="5.07,751,1413237600"; d="scan'208";a="116887637" Received: from mail-ig0-f172.google.com ([209.85.213.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2015 22:11:01 +0100 Received: by mail-ig0-f172.google.com with SMTP id l13so6214914iga.5 for ; Tue, 13 Jan 2015 13:11:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=HtPSl+l2Gc2832VYUbg+uJsFIabwScMSd9gBSAtFlmE=; b=M2AOrR+3M6LAl4+fKkhYQINMGE+L56Kt0jxXaGy2trThgWnUnpmCT7/+cVneq3Tf9u RgIYgM1NTDR+Sq444wJ/b919Wo41YUM9ynAAOOBk9iKxoCE5QIxwU0z6AA8zYns7otHv 1nMmLNRORidFdEHKTfEVZNAB3DyStaf9OwMULXuWHdhpuMZx2+RjbBWrlgL+Vn6/l3At R05p9adtkVn//f+YWwemfLUkFSIhDeh8niSCAZllRKilWR5nwH9axrK0T2iwDj7pid6Y 1shGR+pwZj2jZU06MBhZMLlt+t3ahLLzF51kQdbTMgbCppRQOszneoXx+LsWl6rZb8nB vmDw== X-Received: by 10.107.19.88 with SMTP id b85mr514128ioj.66.1421183460492; Tue, 13 Jan 2015 13:11:00 -0800 (PST) MIME-Version: 1.0 Received: by 10.64.65.226 with HTTP; Tue, 13 Jan 2015 13:10:20 -0800 (PST) In-Reply-To: <877fwqqua0.fsf@study.localdomain> References: <877fwqqua0.fsf@study.localdomain> From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= Date: Tue, 13 Jan 2015 16:10:20 -0500 Message-ID: To: Leo White Cc: Thomas Braibant , OCaML Mailing List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Quizz > This means that it would now be possible to support first-class modules > for types which have no name, but such support has not yet been > added. (There are some awkward issues around the syntax in relation to > with constraints, but they are probably solvable.) > > So, in summary, you can't do that, but it is now at least theoretically > something you could do. Are there any concrete plans to add syntax support?