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 756 - (view) (download)

1 : blume 677 short term:
2 : blume 679 - binfile module (in compiler) should not have to worry about unpickling;
3 :     (the current interface is just wrong)
4 : blume 677
5 : blume 733 medium term:
6 :     - compilation units must NOT be identified by their export pid because
7 : blume 756 under CM's semantics this pid is not necessarily unique (correction:
8 :     I believe that it is not unique even under old SC semantics);
9 : blume 733 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 : blume 735 - fix "too large environment after opaque match" problem
16 : blume 756 (perhaps cannot be fixed easily (?))
17 : blume 733
18 : blume 677 long term:
19 : blume 733 - Generic notification architecture (ErrorMsg module, Say module, ...);
20 :     this also relies on having the notion of source path available early
21 :     - restructure binfiles and library files; implement a dynamic linker for
22 :     libraries that is much more light-weight than CM itself
23 :     - implement dynamic loading of stable libraries via shared memory segments
24 :     (mmap); this requires help from the runtime system
25 :     - handling of non-generalizability should move to later moment in time
26 :     - environment canonicalization
27 : blume 528 - Try to generalize CM by abstracting from programming language (and compiler),
28 :     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