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/branches/FLINT/src/compiler/TODO
ViewVC logotype

Diff of /sml/branches/FLINT/src/compiler/TODO

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

revision 68, Fri Apr 3 00:06:42 1998 UTC revision 69, Fri Apr 3 00:06:55 1998 UTC
# Line 1  Line 1 
1  TODO:  TODO NOTES:
2     a. lcontract should do the following:     a. lcontract should do the following:
3          o reduce the code to normal form in one pass (no surprising redices)          o reduce the code to normal form in one pass (no surprising redices)
4          o should contract type applications (i.e., polymorphic functions          o should contract type applications (i.e., polymorphic functions
# Line 61  Line 61 
61     h. Files that needs further clean-up ---     h. Files that needs further clean-up ---
62          ltykernel.sml and wrappingNEW.sml          ltykernel.sml and wrappingNEW.sml
63  ---------------------------------------------------------------------------  ---------------------------------------------------------------------------
 TODO:  
   
    a. push lcontract into FLINT    (* easy *)  
    b. push specialize into FLINT   (* some work *)  
    c. push reps into FLINT         (* rework *)  
    d. push narrow into FLINT       (* easy *)  
    e. push convert into FLINT      (* register pressure ? *)  
   
    f. turn on the FLINT typechecker           (* CHRIS & VALERY *)  
    g. turn on the FLINT pretty printer        (* CHRIS & VALERY *)  
   
 ---------------------------------------------------------------------------  
64  OTHER:  OTHER:
65    
66  B  eliminate pointers to the middle of closures ...  B  eliminate pointers to the middle of closures ...
 C  clean up the copyright/etc in all the source files  
67  C  parametrize the cross-module linkage conventions  C  parametrize the cross-module linkage conventions
68       1. add code splitting       1. add code splitting
69       2. get rid of LT_PST through advanced linkage interface       2. get rid of LT_PST through advanced linkage interface
70       3. new array splitting (code splitting, phase 1)       3. new array splitting (code splitting, phase 1)
71       4. all require runtime support in LoadBinFile in new-boot.c       4. all require runtime support in LoadBinFile in new-boot.c
72  C. delay inlining of array primops to the backend  C. delay inlining of array primops to the backend
73    D  clean up the copyright/etc in all the source files
74    
75  ---------------------------------------------------------------------------  ---------------------------------------------------------------------------
76  DONE:  DONE:
# Line 97  Line 85 
85          1. eliminate the PLambda to Lambda normalize module          1. eliminate the PLambda to Lambda normalize module
86          2. plambda is now part of the "trans-mcomp" phase          2. plambda is now part of the "trans-mcomp" phase
87  X  push FLINT into inl_info (?) and cleanup the CM interface  X  push FLINT into inl_info (?) and cleanup the CM interface
88    X  push lcontract into FLINT    (* easy *)
89    X  push specialize into FLINT   (* some work *)
90    X  push reps into FLINT         (* rework *)
91    X  push narrow into FLINT       (* easy *)
92    X  push convert into FLINT      (* register pressure ? *)
93    X  turn on the FLINT typechecker           (* CHRIS & VALERY *)
94    X  turn on the FLINT pretty printer        (* CHRIS & VALERY *)
95    

Legend:
Removed from v.68  
changed lines
  Added in v.69

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