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

SCM Repository

[smlnj] Log of /sml/trunk/src/compiler/viscomp-lib.cm
[smlnj] / sml / trunk / src / compiler / viscomp-lib.cm  
ViewVC logotype

Log of /sml/trunk/src/compiler/viscomp-lib.cm

Parent Directory Parent Directory

Sticky Revision:
(Current path doesn't exist after revision 503)

Revision 422 - (view) (download) (annotate) - [selected]
Modified Sun Sep 5 22:49:38 1999 UTC (20 years, 4 months ago) by monnier
File length: 8957 byte(s)
Diff to previous 251
merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

Revision 251 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 9 months ago) by monnier
File length: 9111 byte(s)
Diff to previous 220 , to selected 422
First try at a merge of 110.16

Revision 220 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 9 02:15:05 1999 UTC (20 years, 10 months ago) by monnier
File length: 9371 byte(s)
Diff to previous 215 , to selected 422
* opt/split.sml (sexp): don't split HANDLE (it's incorrect).
(funeffect): embryo to detect side-effect free APPs (non-functional).
(splitThreshold): to put a cap on inlining.
(stfn): don't bother splitting inlinable TFNs.
* opt/fixfix.sml (curry): fixed bug when uncurrying cooked functions.
* opt/fcontract.sml (fcFun):  fix bug when undertaking mut-rec functions.
* main/flintcomp.sml:  added `recover' to help debugging.
updated the fold to allow extraction of Fi and return it at the end.
* lsplit/ls-inline.sml (oneBranch): fixed the wrapper function.
* flint/flintutil.sml (freevars):  forgot to count the arg of SWITCH.
* flint/flint.sig:  added a tfkind to TFN (only inlining for now).
* main/control.sml: new file. Moved from TopLevel/viscomp/control.sml
(splitThreshold): new var.
* TopLevel/viscomp/control.sig (FLINT.printFctTypes): to reduce clutter.
(splitThreshold): to control splitting agressiveness.
* TopLevel/viscomp/control.sml:  moved substructs outside so that clients
  can refer to them directly (rather than through Control.Foo) to reduce
  spurious dependencies.
* TopLevel/main/{codes,compile}: call `split' from flintcomp, not compile.
* kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
  flatten arguments when reifying them since the pretty-printer doesn't
  know how to deal with flattened reified TFNs.

Revision 215 - (view) (download) (annotate) - [select for diffs]
Modified Wed Feb 17 14:17:40 1999 UTC (20 years, 11 months ago) by monnier
File length: 9348 byte(s)
Diff to previous 197 , to selected 422
* opt/split.sml: new file.  Does the lambda-splitting for cross-module
  inlining.  Currently in a simplified form.
* opt/fcontract.sml (fcEta): bug with (mutually) recursive eta redexes.

Revision 197 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (21 years, 2 months ago) by monnier
File length: 9328 byte(s)
Diff to previous 191 , to selected 422
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

Revision 191 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 20 02:01:27 1998 UTC (21 years, 2 months ago) by monnier
File length: 9285 byte(s)
Diff to previous 184 , to selected 422
* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

Revision 184 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 8 21:18:20 1998 UTC (21 years, 2 months ago) by monnier
File length: 9263 byte(s)
Diff to previous 183 , to selected 422
* added basic unrolling support
* changed fkind to have most annotations valid on
  functors as well.  It also adds a loopkind annotation as well as extends
  the inline boolean into a three-way alternative.
* switched to a continuation passing style to implement the
  let-associativity rule in a better way.

Revision 183 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 8 16:58:19 1998 UTC (21 years, 2 months ago) by monnier
File length: 9269 byte(s)
Diff to previous 163 , to selected 422
merged in 110.9.1

Revision 163 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 29 21:00:27 1998 UTC (21 years, 2 months ago) by monnier
File length: 9131 byte(s)
Diff to previous 145 , to selected 422
added dropping of dead-arguments

Revision 145 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 7 23:12:37 1998 UTC (21 years, 4 months ago) by monnier
File length: 9102 byte(s)
Diff to previous 122 , to selected 422
merged in changes upto 110.8.1

Revision 122 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 6 15:05:38 1998 UTC (21 years, 7 months ago) by monnier
File length: 9028 byte(s)
Diff to previous 111 , to selected 422
addition of fcontract and fixfix and Control.FLINT

Revision 111 - (view) (download) (annotate) - [select for diffs]
Added Fri Jun 5 19:37:29 1998 UTC (21 years, 7 months ago) by monnier
File length: 8961 byte(s)
Diff to selected 422
Initial revision

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

ViewVC Help
Powered by ViewVC 1.0.0