From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0IAMOxu012653
	for <caml-list@sympa-roc.inria.fr>; Tue, 18 Jan 2011 11:22:24 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgIBAGX4NE2LEwExhWdsb2JhbACkVRUBAQEKCwoYBR+2DAGMQwWFUIsi
X-IronPort-AV: E=Sophos;i="4.60,338,1291590000"; 
   d="scan'208";a="85469155"
Received: from hera.mpi-sb.mpg.de ([139.19.1.49])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Jan 2011 11:22:18 +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=rip86F5MODTv+k5J//irfS5OCRyTY80Ifq
	mM0NskTx8=; b=veafXxQClfL11nR0ZczYuw1jwLmZH+Qx9nuC3mgb5oKVk7Ahm+
	eCajsyrU15yKLereks4go/KScBnO91B48JS24fPuP3T28ZwoHicfTvr0TrmiTAe5
	/AQT17F89mpkAlR4f6l5LcE6L9oAewu1jW2WP0N7J9li3qisX4+shzv8Y=
Received: from maniac.mpi-klsb.mpg.de ([139.19.1.26]:46721)
	by hera.mpi-sb.mpg.de (envelope-from <rossberg@mpi-sws.org>) 
	with esmtp (Exim 4.69) id 1Pf8hc-00009O-2n; Tue, 18 Jan 2011 11:22:18 +0100
Received: from local
	by maniac.mpi-klsb.mpg.de (envelope-from <rossberg@mpi-sws.org>) 
	with local (Exim 4.69) id 1Pf8hb-0004qy-IB; Tue, 18 Jan 2011 11:22:15 +0100
Received: from 74.125.57.233
        (SquirrelMail authenticated user rossberg)
        by mail.mpi-sws.org with HTTP;
        Tue, 18 Jan 2011 11:22:15 +0100 (CET)
Message-ID: <53719041ffb29ca49b51ce6bb727e4f8.squirrel@mail.mpi-sws.org>
In-Reply-To: <7f9a42a3cac8ea539f9f48432cd8a5af.squirrel@mail.mpi-sws.org>
References: <20110118020018.GI323@melkinpaasi.cs.helsinki.fi>
    <7f9a42a3cac8ea539f9f48432cd8a5af.squirrel@mail.mpi-sws.org>
Date: Tue, 18 Jan 2011 11:22:15 +0100 (CET)
From: rossberg@mpi-sws.org
To: "Lauri Alanko" <la@iki.fi>
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

I wrote:
>   module F (X : sig val x : int end) =
>   struct
>     val y = 1
>     include X
>     val z = x + y
>   end
>
> Without coercive subtyping semantics, what would be the meaning of:
>
>   module A = F (struct val x = 2 val y = 3 end)

(And my excuses for accidentally mixing Caml with SML syntax. :) Please read
"val" as "let" where appropriate.)

/Andreas