From jwagener@amoco.com Tue May 18 03:47:46 1993 Received: from interlock.amoco.com by dkuug.dk with SMTP id AA14483 (5.65c8/IDA-1.4.4j for ); Tue, 18 May 1993 15:47:53 +0200 Received: by interlock.amoco.com id AA13583 (InterLock SMTP Gateway 1.1 for SC22WG5@dkuug.dk); Tue, 18 May 1993 08:41:50 -0500 Received: by interlock.amoco.com (Internal Mail Agent-2); Tue, 18 May 1993 08:41:50 -0500 Received: by interlock.amoco.com (Internal Mail Agent-1); Tue, 18 May 1993 08:41:50 -0500 Date: Tue, 18 May 93 08:47:46 CDT Message-Id: <9305181347.AA02350@trc.amoco.com> From: Jerrold L. Wagener To: SC22WG5@dkuug.dk Subject: FYI: Re: (SC22WG5.358) a simple requirement X-Charset: ASCII X-Char-Esc: 29 ------ Forwarded Message Here! Here! to that... BUT some of your simplifications may not be all that simple! Remove ordering in specifications for instance is not all that simple. Can you use a PARAMETER before it is defined? jlw: why is this any more difficult than calling an internal jlw: procedure before its (explicit) interface is defined? Can you declare an object before its type has been defined? jlw: see above comment; conceptual parallelism for array operations jlw: works fine; why can't conceptual parallelism for all specifications jlw: work as well? why shouldn't we allow a parallel compiler of the jlw: future to work on each specification statement concurrently? I think it would be a simplification to see specification/declaration as just another part of the execution sequence. The distinction between executable and non-executable is the thing that is getting to be some what misleading. jlw: I hope my suggestion will generate lots of ideas for simplification, jlw: some of which will augment my specific candidates, some of which jlw: might replace my specific candidate(s) I agree with Jerry about most of the other things though, particularly about redundant specification. -- Dr.J.L.Schonfelder Director, Computing Services Dept. University of Liverpool, UK Phone: +44(51)794 3716 FAX : +44(51)794 3759 email: jls@liv.ac.uk ------ End of Forwarded Message