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

SCM Repository

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

Diff of /sml/trunk/src/cm/TODO

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 732, Mon Nov 13 21:59:12 2000 UTC revision 733, Fri Nov 17 05:13:45 2000 UTC
# Line 1  Line 1 
1  short term:  short term:
 - come up with some version of ml-build that does not produce a new  
   heap image if nothing had to be recompiled  
2  - remove unfortunate dependence of SrcPath module on Servers module  - remove unfortunate dependence of SrcPath module on Servers module
3  - binfile module (in compiler) should not have to worry about unpickling;  - binfile module (in compiler) should not have to worry about unpickling;
4    (the current interface is just wrong)    (the current interface is just wrong)
5    
6    medium term:
7    - compilation units must NOT be identified by their export pid because
8      under CM's semantics this pid is not necessarily unique;
9      the current behavior is actually seriously broken (although you
10      almost have to know how to trigger the bug in order to actually trigger it)
11    - (Related to previous point) move the concept of source paths (SrcPath module)
12      much further down towards the basis of the system;
13      compilation units should be identifed by their abstract source path;
14      the compiler should uniformely talk about source paths (even for "use")
15    - make traversal construction lazy somehow so that the autoloader does
16      not force lazy pickles (e.g., $/html-lib.cm should not show up when
17      touching CM or CM, but traversal construction screws this up)
18    
19  long term:  long term:
20  - Try to generalize CM by abstracting from programming language (and compiler),  - Generic notification architecture (ErrorMsg module, Say module, ...);
21    so it can work with Twelf, TILT, or things like HOL    this also relies on having the notion of source path available early
22  - Generic notification architecture (ErrorMsg module, Say module, ...)  - restructure binfiles and library files; implement a dynamic linker for
23      libraries that is much more light-weight than CM itself
24    - implement dynamic loading of stable libraries via shared memory segments
25      (mmap); this requires help from the runtime system
26  - handling of non-generalizability should move to later moment in time  - handling of non-generalizability should move to later moment in time
27  - environment canonicalization  - environment canonicalization
28    - Try to generalize CM by abstracting from programming language (and compiler),
29      so it can work with Twelf, TILT, or things like HOL

Legend:
Removed from v.732  
changed lines
  Added in v.733

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0