From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id AB7FABC57 for ; Wed, 9 Jun 2010 17:32:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkCANlQD0yCcUBTaGdsb2JhbACeYQ0FBgoHESK+OoUYBA X-IronPort-AV: E=Sophos;i="4.53,392,1272837600"; d="scan'208";a="52757201" Received: from sigma957.cis.mcmaster.ca ([130.113.64.83]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Jun 2010 17:32:05 +0200 Received: from Gorash7.UTS.McMaster.CA (Gorash7.UTS.mcmaster.ca [130.113.196.61]) by sigma957.cis.mcmaster.ca (8.13.7/8.13.7) with ESMTP id o59FVpGT018193; Wed, 9 Jun 2010 11:32:01 -0400 (EDT) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Gorash7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id o59FVTsu022677; Wed, 9 Jun 2010 11:31:29 -0400 Received: from [129.97.169.240] (account carette@univmail.cis.mcmaster.ca [129.97.169.240] verified) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 5.2.12) with ESMTPSA id 305906281; Wed, 09 Jun 2010 11:31:30 -0400 Message-ID: <4C0FB3D1.4020103@mcmaster.ca> Date: Wed, 09 Jun 2010 11:31:29 -0400 From: Jacques Carette User-Agent: Thunderbird 2.0.0.24 (Windows/20100228) MIME-Version: 1.0 To: bluestorm Cc: Goswin von Brederlow , Till Varoquaux , caml-list@inria.fr Subject: Re: [Caml-list] Why is this allowed? References: <4C03CBD3.3010606@mcmaster.ca> <4C03DBA6.8020208@mcmaster.ca> <87mxv4nsuh.fsf@frosties.localdomain> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 5.5.9.395186, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2010.6.9.152415 X-PerlMx-Spam: Gauge=IIIIIIII, Probability=8%, Report=' BODYTEXTP_SIZE_3000_LESS 0, BODY_SIZE_1000_LESS 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_500_599 0, BODY_SIZE_7000_LESS 0, __BOUNCE_CHALLENGE_SUBJ 0, __BOUNCE_NDR_SUBJ_EXEMPT 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __MOZILLA_MSGID 0, __SANE_MSGID 0, __USER_AGENT 0' X-Spam-Flag: NO X-Spam: no; 0.00; struct:01 wrote:01 caml-list:01 int:01 int:01 mcmaster:02 module:03 jacques:03 jacques:03 types:05 restriction:05 definition:07 structure:07 structure:07 actually:10 bluestorm wrote: > 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. > Exactly. My desired would be for this non-shadowing restriction to be extended to all types, not just type structure items. Shadowing at the value level is an entirely different issue, and is perfectly fine as it is. Jacques