On Tue, 8 Mar 2005, Kjetil Torgrim Homme wrote:
The require command, if present, MUST be used before anything other
than a require can be used. An error occurs if a require appears
after a command other than require.
speaking of which, I think it would be a good idea to rule out that
require can affect other require statements in the base specification.
this is stated explicitly in the variables draft, but the same thing
will be a potential ambiguity with character escapes, e.g.,
require "quotes";
require "r\x65gex";
This seems very sane, safe, and backwards compatible.
-Rob
-------------------------------------------------------------------------
Rob Siemborski | PGP:0x5CE32FCC | rjs3(_at_)andrew(_dot_)cmu(_dot_)edu
-----BEGIN GEEK CODE BLOCK----
Version: 3.12
GCS/IT/CM/PA d- s+: a-- C++++$ ULS++++$ P+++$ L+++ E W+ N(-) o? K- w-- O-
M-- V-- PS+ PE+ Y+ PGP+ t+@ 5+++ X- R@ tv-- b+ DI+++ D++ G e++ h+ r- y?
------END GEEK CODE BLOCK-----