From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <garrigue@math.nagoya-u.ac.jp>
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 1977481792
	for <caml-list@sympa.inria.fr>; Wed,  3 Jul 2013 07:09:51 +0200 (CEST)
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: AqsCABOx01GFBoIFnGdsb2JhbABaxBcEBAGBGQ4BAQEBAQgUCTyCIwEBBAE6CQE1AgMLC0YhNgYTh30DCQWpT4RHAoRmDUuIAAeMfIJpB4MEaYkkiUKCf4FojCCIRS0
X-IPAS-Result: AqsCABOx01GFBoIFnGdsb2JhbABaxBcEBAGBGQ4BAQEBAQgUCTyCIwEBBAE6CQE1AgMLC0YhNgYTh30DCQWpT4RHAoRmDUuIAAeMfIJpB4MEaYkkiUKCf4FojCCIRS0
X-IronPort-AV: E=Sophos;i="4.87,985,1363129200"; 
   d="scan'208";a="24355579"
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; 03 Jul 2013 07:09:48 +0200
Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 5711A6392;
	Wed,  3 Jul 2013 14:09:45 +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 ED5C0397A;
	Wed,  3 Jul 2013 14:09:43 +0900 (JST)
DomainKey-Signature: h=Received:Content-Type:Mime-Version:Subject:From:In-Reply-To:Date:Cc:Content-Transfer-Encoding:Message-Id:References:To:X-Mailer; b=; c=nofws; d=math.nagoya-u.ac.jp; q=; s=alpha
Received: from garrigue-mini.math.nagoya-u.ac.jp (garrigue-mini.math.nagoya-u.ac.jp [172.16.30.37])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 980633970;
	Wed,  3 Jul 2013 14:09:40 +0900 (JST)
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
In-Reply-To: <20130702230929.39fc70d3@kiwi.local.tld>
Date: Wed, 3 Jul 2013 14:09:49 +0900
Cc: caml-list@inria.fr
Content-Transfer-Encoding: 7bit
Message-Id: <16D5DC66-9420-4B6F-B7CF-DF16161D2A6A@math.nagoya-u.ac.jp>
References: <20130702230929.39fc70d3@kiwi.local.tld>
To: ygrek <ygrekheretix@gmail.com>
X-Mailer: Apple Mail (2.1508)
Subject: Re: [Caml-list] module alias inside class

On 2013/07/03, at 0:09, ygrek <ygrekheretix@gmail.com> wrote:

> Dear list,
> 
> Just a short question tonight, why is the following code rejected?
> 
> class z = let module A = String in object end;;
> 
> Is there some deep reason or it was simply overlooked?


This would be very nice to able to do that.
Unfortunately, the typing of classes is a rather complex process,
which seems difficult to integrate with local module definitions,
except maybe in a very restrictive way.
There are also deep questions, such as what to do in presence
of inheritance.

On the other hand, "let open" would be much easier to add.

	Jacques Garrigue