SCM Repository
View of /sml/trunk/src/cm/TODO
Parent Directory
|
Revision Log
Revision 1059 -
(download)
(annotate)
Mon Feb 11 17:05:33 2002 UTC (20 years, 4 months ago) by blume
File size: 951 byte(s)
Mon Feb 11 17:05:33 2002 UTC (20 years, 4 months ago) by blume
File size: 951 byte(s)
minor fix for a problem with GenSML
short term: medium term: - move the concept of source paths (SrcPath module) much further down towards the basis of the system; the compiler should uniformely talk about source paths (even for "use") - fix "too large environment after opaque match" problem (perhaps cannot be fixed easily (?)) long term: - Generic notification architecture (ErrorMsg module, Say module, ...); this also relies on having the notion of source path available early - restructure binfiles and library files; implement a dynamic linker for libraries that is much more light-weight than CM itself - implement dynamic loading of stable libraries via shared memory segments (mmap); this requires help from the runtime system - handling of non-generalizability should move to later moment in time - environment canonicalization - Try to generalize CM by abstracting from programming language (and compiler), so it can work with Twelf, TILT, or things like HOL
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |