From owner-sc22wg5@dkuug.dk Fri Jun 20 00:46:42 2003 Received: (from majordom@localhost) by dkuug.dk (8.12.8p1/8.9.2) id h5JMkgG9023911 for sc22wg5-domo; Fri, 20 Jun 2003 00:46:42 +0200 (CEST) (envelope-from owner-sc22wg5@dkuug.dk) X-Authentication-Warning: ptah.dkuug.dk: majordom set sender to owner-sc22wg5@dkuug.dk using -f Received: from mailhub.dfrc.nasa.gov (mailhub.dfrc.nasa.gov [130.134.81.12]) by dkuug.dk (8.12.8p1/8.9.2) with ESMTP id h5JMjDEc023903 for ; Fri, 20 Jun 2003 00:46:37 +0200 (CEST) (envelope-from maine@altair.dfrc.nasa.gov) Received: from mail.dfrc.nasa.gov by mailhub.dfrc.nasa.gov with ESMTP for sc22wg5@dkuug.dk; Thu, 19 Jun 2003 15:42:33 -0700 Received: from altair.dfrc.nasa.gov ([130.134.20.211]) by mail.dfrc.nasa.gov (Post.Office MTA v3.5.3 release 223 ID# 0-71686U2500L200S0V35) with ESMTP id gov for ; Thu, 19 Jun 2003 15:45:05 -0700 Received: by altair.dfrc.nasa.gov (Postfix, from userid 201) id A440D35081; Thu, 19 Jun 2003 15:45:06 -0700 (PDT) From: Richard Maine MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <16114.15602.528482.874172@altair.dfrc.nasa.gov> Date: Thu, 19 Jun 2003 15:45:06 -0700 Cc: sc22wg5@dkuug.dk Subject: (SC22WG5.2789) Modules TR In-Reply-To: <200306192106.h5JL64PY023521@dkuug.dk> References: <200306192002.h5JK2hKK009030@math.jpl.nasa.gov> <200306192106.h5JL64PY023521@dkuug.dk> X-Mailer: VM 7.07 under 21.4 (patch 12) "Portable Code" XEmacs Lucid Sender: owner-sc22wg5@dkuug.dk Precedence: bulk Aleksandar Donev writes: > You are misunderstanding me Van. I understand that we need some way to > distinguish these separate procedures from ordinary module procedures. > If you look at what I proposed there was an IMPLEMENTS and a CONTAINS > block in the module, clearly marked and separate. Is Bill the only one > that likes this idea? I think it sounds at least plasuble at first glance. Afraid I haven't had time for much more than a first glance, so I've stayed mostly out of it. Just letting you know that, no, Bill isn't the only one who at least thinks the idea sounds plausible. -- Richard Maine | Good judgment comes from experience; Richard.Maine@nasa.gov | experience comes from bad judgment. | -- Mark Twain