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 CF2D27FBCE for ; Wed, 14 Jan 2015 08:02:10 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroDAMsTtlSFBoIFZWdsb2JhbABBGg6DSliDBcMXCoVxAoFWAQEBAQERDQkLCBUuhA0BBSMdAwEoBgQDAQEOCxgCAiYCAiE2BhOIGAMQDje6HnCEaAKLMQ1Fgx4BAQEBAQEBAwEBAQEBARUBBoEhjC6BdzMHgi0MLxEdgROJaogihASBRIE/hFuFfoVkg1NMLzEBgkIBAQE X-IPAS-Result: AroDAMsTtlSFBoIFZWdsb2JhbABBGg6DSliDBcMXCoVxAoFWAQEBAQERDQkLCBUuhA0BBSMdAwEoBgQDAQEOCxgCAiYCAiE2BhOIGAMQDje6HnCEaAKLMQ1Fgx4BAQEBAQEBAwEBAQEBARUBBoEhjC6BdzMHgi0MLxEdgROJaogihASBRIE/hFuFfoVkg1NMLzEBgkIBAQE X-IronPort-AV: E=Sophos;i="5.07,754,1413237600"; d="scan'208";a="116923575" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Jan 2015 08:02:08 +0100 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 1D85364E5; Wed, 14 Jan 2015 16:02:03 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 31043396A; Wed, 14 Jan 2015 16:02:03 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s=alpha; bh=UFZoYYr5FxZMODOSmrcXNXcX4Hk=; b=zrf6TWc07vZ6sUEbErKo0EggrDNc TghxUbu4WRDoOe9ZyPwXK6tlDRy5OZbKiQ2B6HEpw/qBjdt24HFMOoXVln5C5WrE b41zeW/XHiBklIenBF05FUlXsnkh5ebFYD2x+hdSxkGNVo0z/bYNRQP9xXYPv620 klraZktMC+lAgPE= DomainKey-Signature: a=rsa-sha1; h=Received:Subject:Mime-Version:Content-Type:From:In-Reply-To:Date:Cc:Content-Transfer-Encoding:Message-Id:References:To:X-Mailer; b=c6N4EanUeUQWdgUa908hTL1BNOl7WFLZ49ujQmsySNw7owMcu7CWZLurxGwxHdLXew6WKlunSRqGU3DkzeCckOfe4N85+Clm/e8CKCbmOC66w8uYvmvDRkQ9Z2vS/vdh7rA+okJIe2Wi7RpoCVy/MOOa/5QivL5PzzHn3ee4mY0=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Received: from [192.168.1.212] (bsdserver10-alias1.math.nagoya-u.ac.jp [172.16.62.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id A20A824FB; Wed, 14 Jan 2015 16:02:02 +0900 (JST) Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) Content-Type: text/plain; charset=utf-8 From: Jacques Garrigue In-Reply-To: <87twzup6ie.fsf@study.localdomain> Date: Wed, 14 Jan 2015 16:02:02 +0900 Cc: =?utf-8?Q?Milan_Stanojevi=C4=87?= , Thomas Braibant , OCaml Mailing List Content-Transfer-Encoding: quoted-printable Message-Id: References: <877fwqqua0.fsf@study.localdomain> <87twzup6ie.fsf@study.localdomain> To: Leo P White X-Mailer: Apple Mail (2.1993) Subject: Re: [Caml-list] Quizz On 2015/01/14 09:09, Leo White wrote: >=20 > Milan Stanojevi=C4=87 writes: >=20 >>> 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.) >>>=20 >>> So, in summary, you can't do that, but it is now at least theoretically >>> something you could do. >>=20 >> Are there any concrete plans to add syntax support? >=20 > I don't think there are any concrete plans. Jacques mentioned it was a > possibility in a comment on Mantis: >=20 > http://caml.inria.fr/mantis/view.php?id=3D6333#c10990 The main problem is not so much syntax, as the fact it would require to make all definitions in the Types module mutually recursive. Not only that, but operations like path substitution need to be mutually recursive in the same way. So the question is whether the small gain in flexibility is worth maki= ng the implementation more complex. (Note that an extra gain is that it becomes possible to expand a module type definition when leaving its scope) Jacques=