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

SCM Repository

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

Annotation of /sml/trunk/src/cm/TODO

Parent Directory Parent Directory | Revision Log Revision Log


Revision 733 - (view) (download)

1 : blume 677 short term:
2 :     - remove unfortunate dependence of SrcPath module on Servers module
3 : blume 679 - binfile module (in compiler) should not have to worry about unpickling;
4 :     (the current interface is just wrong)
5 : blume 677
6 : blume 733 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 : blume 677 long term:
20 : blume 733 - Generic notification architecture (ErrorMsg module, Say module, ...);
21 :     this also relies on having the notion of source path available early
22 :     - 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
27 :     - environment canonicalization
28 : blume 528 - Try to generalize CM by abstracting from programming language (and compiler),
29 :     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