My not-quite obsolete namespace parser

new topic     » topic index » view thread      » older message » newer message

I've updated my namespace parser, you can find the link to it on my
web site.

My version of namespaces is quite different from what RDS has
implemented
in Eu 2.3, so I believe it will be useful to some people.

My version lets you include a file into seperate namespaces and have
them
be actually seperate. Also, you can "insert" a file into the current
file's
direct namespace. Finally, my version fixes a bug which RDS still has:

include ./eufile.e
include eufile.e

are 2 seperate files for RDS, but my parser sees them as one and the
same.

(My parser has one big bug: both the local and global are accessable in
a
named namespace. I'm fixing this right now, and also adding an
"insert file as namespace" which can be used to have the current buggy
behavior exhibited by "include file as namespace" right now. I'll send
and update when I have done this.)

jbrown



-- 
Faster than the email provider that you're using!
Soar with FastMail.FM! -> http://fastmail.fm

new topic     » topic index » view thread      » older message » newer message

Search



Quick Links

User menu

Not signed in.

Misc Menu