Diff of /sml/trunk/src/cm/TODO

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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