From owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org Tue Mar 13 18:06:28 2012 Return-Path: X-Original-To: sc22wg5-dom8 Delivered-To: sc22wg5-dom8@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 8DE929DB113; Tue, 13 Mar 2012 18:06:28 +0100 (CET) Delivered-To: sc22wg5@open-std.org Received: from mk-filter-1-a-1.mail.uk.tiscali.com (mk-filter-1-a-1.mail.tiscali.co.uk [212.74.100.52]) by www.open-std.org (Postfix) with ESMTP id 2A71B9DB112 for ; Tue, 13 Mar 2012 18:06:26 +0100 (CET) X-Trace: 742410837/mk-filter-1.mail.uk.tiscali.com/B2C/$b2c-THROTTLED/TalkTalk_Customer/92.21.164.145/None/John.Reid@stfc.ac.uk X-SBRS: None X-RemoteIP: 92.21.164.145 X-IP-MAIL-FROM: John.Reid@stfc.ac.uk X-SMTP-AUTH: X-Originating-Country: GB/UNITED KINGDOM X-MUA: Mozilla/5.0 (Windows NT 5.1; rv:10.0.2) Gecko/20120216 Firefox/10.0.2 SeaMonkey/2.7.2 X-IP-BHB: Once X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcCAEB9X09cFaSR/2dsb2JhbAAMN7RYA4QZAQEBBDgbJRELGAkWDwkDAgECAUUGDQgCxEaLL4U2BJVQhVaKTYJl X-IronPort-AV: E=Sophos;i="4.73,577,1325462400"; d="scan'208";a="742410837" Received: from host-92-21-164-145.as13285.net (HELO [127.0.0.1]) ([92.21.164.145]) by smtp.tiscali.co.uk with ESMTP; 13 Mar 2012 17:06:26 +0000 Message-ID: <4F5F7E90.5030105@stfc.ac.uk> Date: Tue, 13 Mar 2012 17:06:24 +0000 From: John Reid User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:10.0.2) Gecko/20120216 Firefox/10.0.2 SeaMonkey/2.7.2 MIME-Version: 1.0 To: WG5 Subject: Re: Issue with C1255 in Interop TS References: <20120312205547.B38759DB112@www.open-std.org> <20120313085552.AED2D9DB113@www.open-std.org> <20120313133844.E22BD356959@www.open-std.org> In-Reply-To: <20120313133844.E22BD356959@www.open-std.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-sc22wg5@open-std.org Precedence: bulk N.M. Maclaren wrote: > On Mar 13 2012, Malcolm Cohen wrote: >> >>> It appears to me to be a good idea to enforce interoperable >>> type and type parameters for non-assumed-type dummy entities. >> >> Absolutely. > > The more I think about it, the more I agree. I think, however, that > this is a reason NOT to constrain assumed-type more than strictly > necessary. We seem to be reaching consensus that along with my suggested change: Page 10, C1255, line 2, change "or" to ", a variable that has the ALLOCATABLE or POINTER attribute, a variable of assumed shape, a variable of assumed type, a variable of assumed character length, or". we need to add these constraints: C524a A coarray shall not be a dummy argument of a procedure that has a . C1255a A variable that not of assumed type and is a dummy argument of a procedure that has a shall be of interoperable type. Cheers, John.