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 1059 - (download) (annotate)
Mon Feb 11 17:05:33 2002 UTC (18 years, 5 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