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 676, Sat Jun 24 03:37:03 2000 UTC revision 677, Mon Jun 26 00:56:56 2000 UTC
# Line 1  Line 1 
1    short term:
2    - improve noweb tool (witness files, subdir)
3    - change ml-yacc tool so that options can be passed independently to
4      .sig file and to .sml file
5    - come up with some version of ml-build that does not produce a new
6      heap image if nothing had to be recompiled
7    - remove unfortunate dependence of SrcPath module on Servers module
8    
9    long term:
10  - Try to generalize CM by abstracting from programming language (and compiler),  - Try to generalize CM by abstracting from programming language (and compiler),
11    so it can work with Twelf, TILT, or things like HOL    so it can work with Twelf, TILT, or things like HOL
12  - Generic notification architecture (ErrorMsg module, Say module, ...)  - Generic notification architecture (ErrorMsg module, Say module, ...)
13  - handling of non-generalizability should move to later moment in time  - handling of non-generalizability should move to later moment in time
 - lazy environment stubs  
14  - environment canonicalization  - environment canonicalization

Legend:
Removed from v.676  
changed lines
  Added in v.677

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