[E-Lang] I/O with monads

[Mark S. Miller]

At 12:11 AM Thursday 8/23/01, Mark S. Miller wrote:
>So import__uriGetter is not 
>authority granting because it allows the importing of anything that would 
>grant authority -- it doesn't.  Rather, because it implicitly provides read 
>access to another vat-global variable -- the CLASSPATH. 

Gosh, I hope I learn to stop writing this badly.  I count at least 2 
possible misreadings.  What I meant is:

The objects that import__uriGetter gives access to are not themselves 
authority granting.  So why is import__uriGetter itself considered authority 
granting?   Because it implicitly provides read access to another vat-global 
variable -- the CLASSPATH.


        Cheers,
        --MarkM