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 576, Fri Mar 10 07:27:16 2000 UTC revision 577, Fri Mar 10 08:07:18 2000 UTC
# Line 1  Line 1 
 - Generating BOOTLIST (call it, e.g., LINKLIST) for user programs  
 - ... make compiler bootstrapping just a special case of the above  
1  - Try to generalize CM by abstracting from programming language (and compiler),  - Try to generalize CM by abstracting from programming language (and compiler),
2    so it can work with Twelf, TILT, or things like HOL    so it can work with Twelf, TILT, or things like HOL
3  - Generic notification architecture (ErrorMsg module, Say module, ...)  - Generic notification architecture (ErrorMsg module, Say module, ...)
4  - handling of non-generalizability move to later moment in time  - handling of non-generalizability should move to later moment in time
5  - lazy environment stubs  - lazy environment stubs
6  - environment canonicalization  - environment canonicalization

Legend:
Removed from v.576  
changed lines
  Added in v.577

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