SCM Repository
Diff of /sml/trunk/src/cm/TODO
Parent Directory
| 
Revision Log
| 
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 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
