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 527, Tue Jan 18 04:12:54 2000 UTC revision 528, Mon Jan 24 05:03:42 2000 UTC
# Line 1  Line 1 
1  - Implement "init" modules.  - Generating BOOTLIST (call it, e.g., LINKLIST) for user programs
2    - ... make compiler bootstrapping just a special case of the above
3    - Try to generalize CM by abstracting from programming language (and compiler),
4      so it can work with Twelf, TILT, or things like HOL
5  - Generic notification architecture (ErrorMsg module, Say module, ...)  - Generic notification architecture (ErrorMsg module, Say module, ...)
6  - handling of non-generalizability move to later moment in time  - handling of non-generalizability move to later moment in time
7  - lazy environment stubs  - lazy environment stubs

Legend:
Removed from v.527  
changed lines
  Added in v.528

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