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/compiler/FLINT/ChangeLog
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/ChangeLog

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

revision 219, Tue Mar 9 01:07:30 1999 UTC revision 220, Tue Mar 9 02:15:05 1999 UTC
# Line 1  Line 1 
1    1999-03-08  Stefan Monnier  <monnier@cs.yale.edu>
2    
3            * opt/split.sml (sexp): don't split HANDLE (it's incorrect).
4            (funeffect): embryo to detect side-effect free APPs (non-functional).
5            (splitThreshold): to put a cap on inlining.
6            (stfn): don't bother splitting inlinable TFNs.
7    
8            * main/control.sml (splitThreshold): new var.
9    
10            * opt/specialize (kBnd): be more conservative with nvars (it's too
11              conservative, now).
12    
13            * opt/fixfix.sml (curry): fixed bug when uncurrying cooked functions.
14    
15            * opt/fcontract.sml (fcFun):  fix bug when undertaking mut-rec functions.
16    
17            * main/flintcomp.sml:  added `recover' to help debugging.
18            updated the fold to allow extraction of Fi and return it at the end.
19    
20            * lsplit/ls-inline.sml (oneBranch): fixed the wrapper function.
21    
22            * flint/flintutil.sml (freevars):  forgot to count the arg of SWITCH.
23    
24            * flint/flint.sig:  added a tfkind to TFN (only inlining for now).
25    
26            * main/control.sml: new file. Moved from TopLevel/viscomp/control.sml
27    
28    1999-03-04  Stefan Monnier  <monnier@cs.yale.edu>
29    
30            * kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
31              flatten arguments when reifying them since the pretty-printer doesn't
32              know how to deal with flattened reified TFNs.
33    
34    1999-03-02  Stefan Monnier  <monnier@cs.yale.edu>
35    
36            * kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
37              don't unflatten arguments when reifying them.
38    
39    1999-02-28  Stefan Monnier  <monnier@cs.yale.edu>
40    
41            * opt/fcontract.sml (fcEta): do the known->unknown eta-reduce if the
42              `known' function is not locally defined (in which case the known/unknown
43              distinction is pointless anyway).
44            (wrap):  don't forget to junk dead inlinable functions.
45    
46    1999-02-26  Stefan Monnier  <monnier@cs.yale.edu>
47    
48            * opt/split.sml: seriously reworked.  Now splits TFNs as well.
49    
50    1999-02-25  Stefan Monnier  <monnier@cs.yale.edu>
51    
52            * kernel/primop.sml (effect): removed DEREF and MAKEREF from the pure
53              primops.
54    
55    1999-02-24  Stefan Monnier  <monnier@cs.yale.edu>
56    
57            * flint/flintutil.sml (copy): sort the type-map since {lt,tc}_subst
58              actually expects it to be sorted.
59    
60    1999-02-23  Stefan Monnier  <monnier@cs.yale.edu>
61    
62            * opt/recover.sml (lt_nvpoly): moved to ltyextern.sml
63    
64            * kernel/ltyextern.{sml,sig} (lt_nvpoly): new function (digged from
65              recover.sml to build a LT_POLY in the case of named tvars.
66    
67    1999-02-20  Stefan Monnier  <monnier@cs.yale.edu>
68    
69            * opt/recover.sml: removed unused depth arguments left behind from before
70              we switched to named tvars.
71            (addLty): added for the benefit of opt/split.sml
72    
73    1999-02-17  Stefan Monnier  <monnier@cs.yale.edu>
74    
75            * opt/split.sml: new file.  Does the lambda-splitting for cross-module
76              inlining.  Currently in a simplified form.
77    
78            * opt/fcontract.sml (fcEta): bug with (mutually) recursive eta redexes.
79    
80  1998-12-18  Stefan Monnier  <monnier@cs.yale.edu>  1998-12-18  Stefan Monnier  <monnier@cs.yale.edu>
81    
82          * opt/fcontract.sml: turned fcFun into a foldable function.          * opt/fcontract.sml: turned fcFun into a foldable function.

Legend:
Removed from v.219  
changed lines
  Added in v.220

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