Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/TODO
ViewVC logotype

Annotation of /sml/trunk/src/compiler/TODO

Parent Directory Parent Directory | Revision Log Revision Log


Revision 24 - (view) (download)
Original Path: sml/branches/FLINT/src/compiler/TODO

1 : monnier 24 Changes to be done:
2 : monnier 16
3 : monnier 24 a. push FLINT into inl_info (?) (* easy *)
4 :     b. push opt into FLINT (* easy *)
5 :     c. push reps into FLINT (* rework *)
6 : monnier 16 d. push narrow into FLINT (* easy *)
7 : monnier 24 e. push convert into FLINT (* easy *)
8 : monnier 16 f. turn on the FLINT typechecker (* CHRIS & VALERY *)
9 :     g. turn on the FLINT pretty printer (* CHRIS & VALERY *)
10 :    
11 :     ---------------------------------------------------------------------------
12 :     OTHER:
13 :    
14 : monnier 24 h. eliminate pointers to the middle of closures ...
15 :     i. reppy new array splitting (code splitting)
16 :     j. get rid of LT_PST through advanced linkage interface
17 :     k. delay inlining of array primops to the backend
18 :     l. clean up the primitives such as PACK and WRAP ...
19 : monnier 16
20 :     ---------------------------------------------------------------------------
21 :     DONE:
22 :    
23 : monnier 24 X m. merge EXNC and EXNF into ETAG; (fixing exn flag typing)
24 :     X n. treat non-value carrying datatypes as unit-carrying ...
25 :     X o. merge EXNCONS and EXNFUN ?
26 :     X p. propagating datatypes into the middle-end

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