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

Parent Directory | Revision Log

---

Revision 679 - (view) (download)

1 :	blume	677	short term:
2 :			- come up with some version of ml-build that does not produce a new
3 :			heap image if nothing had to be recompiled
4 :			- remove unfortunate dependence of SrcPath module on Servers module
5 :	blume	679	- binfile module (in compiler) should not have to worry about unpickling;
6 :			(the current interface is just wrong)
7 :	blume	677
8 :			long term:
9 :	blume	528	- Try to generalize CM by abstracting from programming language (and compiler),
10 :			so it can work with Twelf, TILT, or things like HOL
11 :	blume	484	- Generic notification architecture (ErrorMsg module, Say module, ...)
12 :	blume	577	- handling of non-generalizability should move to later moment in time
13 :	blume	505	- environment canonicalization

---

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