From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel.scherer@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id E48B3BC57
	for <caml-list@yquem.inria.fr>; Wed,  9 Jun 2010 17:17:24 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AloCAIdND0zRVaE2kGdsb2JhbACeQwgVAQEBAQkJDAcRAx+tXYIDhTkuiE8BAQMFhRMEjhc
X-IronPort-AV: E=Sophos;i="4.53,391,1272837600"; 
   d="scan'208";a="64260370"
Received: from mail-fx0-f54.google.com ([209.85.161.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Jun 2010 17:17:24 +0200
Received: by fxm20 with SMTP id 20so4036634fxm.27
        for <caml-list@inria.fr>; Wed, 09 Jun 2010 08:17:24 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:mime-version:sender:received
         :in-reply-to:references:from:date:x-google-sender-auth:message-id
         :subject:to:cc:content-type;
        bh=o4cLUfZkVXM7R4RbVIrZbJgI27TduW2pUwGEjBCDpHo=;
        b=ffvtcd2WGQba9FDzmdJCaObWE8PNV8hdqstrh7ompU8DJxHOiAwXHdaBJArduOE5uA
         /IuwozHLemnXsK1Zr2XkbL6hAuNDvI8PzV9aTJFaSQAWC7da8QaWyAVNKFumuE+VEnUy
         ofy7Y1TGxs83XPc9GH5+5PIiEbffUxVtHtcYg=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type;
        b=SpWJMTQHfG/cQyLHrE6BHwbBFLem3SlVGj63A1YgX/3LS7RFTeqjComcVeYp3Ae4uH
         UUgT+vdCb5JL4SA2pLll4sdglkDBAfq1j5HxMONzUUKiwKUcMrrRKvP0+oAG2OlLFEX8
         tiYme+0aRG3tf5wAKebtYkKmcMZrzq8gUuoJM=
Received: by 10.204.83.25 with SMTP id d25mr8698312bkl.56.1276096644266; Wed, 
	09 Jun 2010 08:17:24 -0700 (PDT)
MIME-Version: 1.0
Sender: gabriel.scherer@gmail.com
Received: by 10.204.112.14 with HTTP; Wed, 9 Jun 2010 08:17:03 -0700 (PDT)
In-Reply-To: <87mxv4nsuh.fsf@frosties.localdomain>
References: <4C03CBD3.3010606@mcmaster.ca> <AANLkTilMuMbRly7ZhDt97tZyvkzATpv4_eT0Zwub4hq9@mail.gmail.com> 
	<4C03DBA6.8020208@mcmaster.ca> <87mxv4nsuh.fsf@frosties.localdomain>
From: bluestorm <bluestorm.dylc@gmail.com>
Date: Wed, 9 Jun 2010 17:17:03 +0200
X-Google-Sender-Auth: qOPuSu4o3dfoIoIZ48ffQ3ONCyo
Message-ID: <AANLkTimWZQI412cICMhJqkzdTG3W8rBqE5qLVNs3lbAP@mail.gmail.com>
Subject: Re: [Caml-list] Why is this allowed?
To: Goswin von Brederlow <goswin-v-b@web.de>
Cc: Jacques Carette <carette@mcmaster.ca>,
	Till Varoquaux <till@pps.jussieu.fr>, caml-list@inria.fr
Content-Type: multipart/alternative; boundary=0016e6ddfede2e3c8704889a67de
X-Spam: no; 0.00; struct:01 struct:01 caml-list:01 int:01 int:01 module:03 module:03 definition:07 definition:07 structure:07 structure:07 actually:10 actually:10 end:12 end:12 

--0016e6ddfede2e3c8704889a67de
Content-Type: text/plain; charset=ISO-8859-1

It is actually not the case that type structure items can be shadowed :

# module A = struct type t = int;; type t = int end;;
Error: Multiple definition of the type name t.
       Names must be unique in a given structure or signature.

--0016e6ddfede2e3c8704889a67de
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

It is actually not the case that type structure items can be shadowed :<div=
><br></div><div><div># module A =3D struct type t =3D int;; type t =3D int =
end;;</div><div>Error: Multiple definition of the type name t.</div><div>=
=A0=A0 =A0 =A0 Names must be unique in a given structure or signature.</div=
>

</div><div><br></div>

--0016e6ddfede2e3c8704889a67de--