From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sgk@troutmask.apl.washington.edu>
Received: from troutmask.apl.washington.edu (troutmask.apl.washington.edu [128.95.76.21])
	by sourceware.org (Postfix) with ESMTPS id 70FE2395C04C
	for <fortran@gcc.gnu.org>; Wed, 16 Nov 2022 18:08:21 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 70FE2395C04C
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=troutmask.apl.washington.edu
Authentication-Results: sourceware.org; spf=none smtp.mailfrom=troutmask.apl.washington.edu
Received: from troutmask.apl.washington.edu (localhost [127.0.0.1])
	by troutmask.apl.washington.edu (8.16.1/8.16.1) with ESMTPS id 2AGI8KfS062696
	(version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NO)
	for <fortran@gcc.gnu.org>; Wed, 16 Nov 2022 10:08:20 -0800 (PST)
	(envelope-from sgk@troutmask.apl.washington.edu)
Received: (from sgk@localhost)
	by troutmask.apl.washington.edu (8.16.1/8.16.1/Submit) id 2AGI8Kbf062695
	for fortran@gcc.gnu.org; Wed, 16 Nov 2022 10:08:20 -0800 (PST)
	(envelope-from sgk)
Date: Wed, 16 Nov 2022 10:08:20 -0800
From: Steve Kargl <sgk@troutmask.apl.washington.edu>
To: Steve Kargl via Fortran <fortran@gcc.gnu.org>
Subject: Re: typespec in forall and implied-do
Message-ID: <Y3UnFJRTd/ktGl8c@troutmask.apl.washington.edu>
Reply-To: sgk@troutmask.apl.washington.edu
References: <Y3Q5L4+MhAitbvUI@troutmask.apl.washington.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <Y3Q5L4+MhAitbvUI@troutmask.apl.washington.edu>
X-Spam-Status: No, score=-1.7 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,KAM_LAZY_DOMAIN_SECURITY,SPF_HELO_NONE,SPF_NONE,TXREP autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <fortran.gcc.gnu.org>

On Tue, Nov 15, 2022 at 05:13:19PM -0800, Steve Kargl via Fortran wrote:
> 
> This patch allows the above to compile and execute.
> It has only had some light testing, and I do not know
> if nested forall and implied-do loops do work.  Feel
> free to commit as I cannot.

For nested implied-do loops, the patch appears to do
the right thing on

   program foo

      implicit none

      integer, parameter :: m = 4, n = 3
      integer k, x(m*n)

      print '(*(I0,1X))', [(i, (i*j, integer :: j=1, n), integer :: i=1, m)]
      x = [((i*j, integer :: j=1, n), integer :: i=1, m)]
      print '(*(I0,1X))', x

   end program foo

-- 
Steve