From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rossberg@mpi-sws.org>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 3EB9CBC57
	for <caml-list@yquem.inria.fr>; Thu, 22 Jul 2010 11:37:28 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AskCAN+tR0yLEwExe2dsb2JhbACfdhUBARYiBR2xRgGPEAWFNohdiU0
X-IronPort-AV: E=Sophos;i="4.55,242,1278280800"; 
   d="scan'208";a="64260411"
Received: from hera.mpi-sb.mpg.de ([139.19.1.49])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 22 Jul 2010 11:37:27 +0200
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=GSH+jq5S4X8mjhdvOV/5Hpzub6ht7soPRw
	FhbrW/5+0=; b=FPoJWNc4b22fzvm2m8clKznL2euMDSUBPYAuAQ3lk0UuEi+k2i
	dXGsDsqMG1dRk79ptgDsDZ02HrvwIys19rqvmeMoKWTdAE8RJy1y5NeWcpqSVK1H
	U89xoof7pplSxGp0RcSv0+Qi2MnAAyWKBbb6SSWtr3+yuTzREdtjhsh54=
Received: from zak.mpi-klsb.mpg.de ([139.19.1.27]:38112)
	by hera.mpi-sb.mpg.de (envelope-from <rossberg@mpi-sws.org>) 
	with esmtp (Exim 4.69) id 1ObsDU-00010X-F4; Thu, 22 Jul 2010 11:37:27 +0200
Received: from local
	by zak.mpi-klsb.mpg.de (envelope-from <rossberg@mpi-sws.org>) 
	with local (Exim 4.69) id 1ObsDT-0003UT-Uz; Thu, 22 Jul 2010 11:37:24 +0200
Received: from 80.146.185.83
        (SquirrelMail authenticated user rossberg)
        by mail.mpi-sws.org with HTTP;
        Thu, 22 Jul 2010 11:37:24 +0200 (CEST)
Message-ID: <eba06d53a3e944d03b2ffcde9f82684f.squirrel@mail.mpi-sws.org>
In-Reply-To: <20100722.151839.48519361.garrigue@math.nagoya-u.ac.jp>
References: <4C46F866.9050900@inria.fr>
    <AANLkTikvjA641yGQJDFrC-wWOyLRGuudTh=gZjpKiHYj@mail.gmail.com>
    <4C473F45.6020307@inria.fr>
    <20100722.151839.48519361.garrigue@math.nagoya-u.ac.jp>
Date: Thu, 22 Jul 2010 11:37:24 +0200 (CEST)
Subject: Re: [Caml-list] Bug in the module system of version 3.12.0+beta1
From: rossberg@mpi-sws.org
To: "Jacques Garrigue" <garrigue@math.nagoya-u.ac.jp>
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
X-Spam: no; 0.00; bug:01 rossberg:01 sig:01 wrote:01 andreas:01 caml-list:01 garrigue:03 garrigue:03 module:03 module:03 jacques:03 nagoya-u:04 disagree:08 sense:10 sense:10 

"Jacques Garrigue" <garrigue@math.nagoya-u.ac.jp> wrote:
>
>   module type MyModuleType(Param:ParamType) = sig ... end
>
> But this just doesn't make sense.

Hm, I would disagree. It makes perfect sense, it just wouldn't desugar in
the way Dumitru thought it should.

/Andreas