Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/cm/TODO
ViewVC logotype

View of /sml/trunk/src/cm/TODO

Parent Directory Parent Directory | Revision Log Revision Log


Revision 735 - (download) (annotate)
Tue Nov 21 12:15:55 2000 UTC (18 years, 10 months ago) by blume
File size: 1467 byte(s)
merging recent changes related to autoloading and tool plugins
short term:
- remove unfortunate dependence of SrcPath module on Servers module
- binfile module (in compiler) should not have to worry about unpickling;
  (the current interface is just wrong)

medium term:
- compilation units must NOT be identified by their export pid because
  under CM's semantics this pid is not necessarily unique;
  the current behavior is actually seriously broken (although you
  almost have to know how to trigger the bug in order to actually trigger it)
- (Related to previous point) move the concept of source paths (SrcPath module)
  much further down towards the basis of the system;
  compilation units should be identifed by their abstract source path;
  the compiler should uniformely talk about source paths (even for "use")
- fix "too large environment after opaque match" problem

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