From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0IGfrO4002178 for ; Tue, 18 Jan 2011 17:41:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak8AAKdRNU2LEwExkWdsb2JhbACkWRUBAQIJCwoHEQUftWgBjFMFhVCLIg X-IronPort-AV: E=Sophos;i="4.60,339,1291590000"; d="scan'208";a="87360165" Received: from hera.mpi-sb.mpg.de ([139.19.1.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Jan 2011 17:41:52 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=Message-ID:In-Reply-To: References:Date:Subject:From:To:Cc:MIME-Version:Content-Type: Content-Transfer-Encoding; bh=6veChgoTrOAPN3lG8kBjXcEOJLhlUxQlDd AlYjT8sbc=; b=cLvWQNENzhTUbgHkm3L5NGkPVUUmp8XEn0gwYOmlHduA8rZAsO h+jcoczOJDhfN9ki2NwNCwCUwRx3qNbKx+9Mn/bc0F3ZXBa4l96dDkymjTiy5KbC tq0THm1Yy/XkUlJ59IiR62wwfd+LUeGdC8Run32bbvUtNGzabbCJvHGxU= Received: from maniac.mpi-klsb.mpg.de ([139.19.1.26]:36566) by hera.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1PfEcv-0006zZ-Iv; Tue, 18 Jan 2011 17:41:51 +0100 Received: from local by maniac.mpi-klsb.mpg.de (envelope-from ) with local (Exim 4.69) id 1PfEcv-00088r-2E; Tue, 18 Jan 2011 17:41:49 +0100 Received: from 74.125.57.233 (SquirrelMail authenticated user rossberg) by mail.mpi-sws.org with HTTP; Tue, 18 Jan 2011 17:41:49 +0100 (CET) Message-ID: <4de40a6098f31f7af8c9002bcd40bb83.squirrel@mail.mpi-sws.org> In-Reply-To: <20110118121036.GK323@melkinpaasi.cs.helsinki.fi> References: <20110118020018.GI323@melkinpaasi.cs.helsinki.fi> <7f9a42a3cac8ea539f9f48432cd8a5af.squirrel@mail.mpi-sws.org> <20110118121036.GK323@melkinpaasi.cs.helsinki.fi> Date: Tue, 18 Jan 2011 17:41:49 +0100 (CET) From: rossberg@mpi-sws.org To: "Lauri Alanko" Cc: caml-list@inria.fr User-Agent: SquirrelMail/1.4.15 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal Subject: Re: [Caml-list] Signature monomorphism in functors Lauri Alenko: >> Without coercive subtyping semantics, what would be the meaning of: >> >> module A = F (struct val x = 2 val y = 3 end) > > That's a good example. In fact I have always felt a bit uneasy about > the possibility of including an argument module. Now I know why. Well, to be fair, the whole point of your original example was that you wanted to do just that, albeit by slightly different means. ;-) /Andreas