Annotation of /sml/trunk/src/cm/TODO

Parent Directory | Revision Log

---

Revision 528 - (view) (download)

1 :	blume	528	- 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 :	blume	484	- Generic notification architecture (ErrorMsg module, Say module, ...)
6 :	blume	505	- handling of non-generalizability move to later moment in time
7 :			- lazy environment stubs
8 :			- environment canonicalization

---

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