From jls@uxb.liv.ac.uk Tue May 18 13:20:22 1993 Received: from mail.liv.ac.uk by dkuug.dk with SMTP id AA11431 (5.65c8/IDA-1.4.4j for ); Tue, 18 May 1993 13:20:22 +0200 Received: from uxb.liverpool.ac.uk by mailhub.liverpool.ac.uk with SMTP (PP) id <07729-0@mailhub.liverpool.ac.uk>; Tue, 18 May 1993 12:19:40 +0100 From: jls Message-Id: <7914.9305181116@uxb.liv.ac.uk> Subject: Re: (SC22WG5.358) a simple requirement To: jwagener@amoco.com (Jerrold "L." Wagener) Date: Tue, 18 May 93 12:16:04 BST Cc: SC22WG5@dkuug.dk (SC22/WG5 members) In-Reply-To: <199305172241.AA02354@dkuug.dk>; from "Jerrold "L." Wagener" at May 17, 93 5:41 pm X-Mailer: ELM [version 2.3 PL11] X-Charset: ASCII X-Char-Esc: 29 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? Can you declare an object before its type has been defined? 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. 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