/[mojave]/metaprl/theories/mc/TODO
ViewVC logotype

Diff of /metaprl/theories/mc/TODO

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3562 by emre, Wed Apr 3 08:37:31 2002 UTC revision 3563 by emre, Fri Apr 5 01:16:49 2002 UTC
# Line 28  Line 28 
28     prove deadcode.)     prove deadcode.)
29  -  fundef (Mp_mc_fir_exp) is a hack.  I need to come up with a term  -  fundef (Mp_mc_fir_exp) is a hack.  I need to come up with a term
30     representation for entire programs that is "convinient".     representation for entire programs that is "convinient".
31    -  Fir.frame (would fall under types) is not represented at all.
32    
33  Notes to myself:  Notes to myself:
34  --------------------------------------------------------------------------  --------------------------------------------------------------------------
# Line 38  Line 39 
39  -  Checklist for when I need to add/remove/change a term:  -  Checklist for when I need to add/remove/change a term:
40     1) .mli file: term declaration, term operation function signatures     1) .mli file: term declaration, term operation function signatures
41     2) .ml file: term declaration, display form, term operation functions,     2) .ml file: term declaration, display form, term operation functions,
42     3) connect: change cases appropriately     3) connect: change cases appropriately (2 directions to check)
43          this could also involve defining new functions.
44     4) test: change cases appropriately     4) test: change cases appropriately
45     5) eval: change evaluation as needed     5) eval: change evaluation as needed
46  -  Checklist for when files are added/removed:  -  Checklist for when files are added/removed:

Legend:
Removed from v.3562  
changed lines
  Added in v.3563

  ViewVC Help
Powered by ViewVC 1.1.26