--NotesOnSaffron.tioga
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Lucy Hederman August 21, 1987 11:46:56 am PDT
The names of modules in Methods is completely misleading. But to change them would have required changing all the df andconfig and make files and I never seemed to have the time.
The biggest complication is with situations where the syntax does not represent the semantic nesting. For example
for Scope: AbstractProduction [ BindList, Catch, OptDecList, StatementList ]
The field which is now called paintRecords should become a flags field, recording, among other things, whether
records should be painted (if this is a definitions file)
default access is public or private (public for definitions files)
default is safe or not (safe if CEDAR appears).
All the uses of these flags then have to be worked out.
OpaqueTypes not done
I don't know if interface types are looked up correctly (like for IO.stream)
Imports/Exports stuff