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 197 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (20 years, 10 months ago) by monnier
File length: 9328 byte(s)
Diff to previous 191 , to selected 122
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 (20 years, 10 months ago) by monnier
File length: 9285 byte(s)
Diff to previous 184 , to selected 122
* 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 (20 years, 10 months ago) by monnier
File length: 9263 byte(s)
Diff to previous 183 , to selected 122
* 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 (20 years, 10 months ago) by monnier
File length: 9269 byte(s)
Diff to previous 163 , to selected 122
merged in 110.9.1

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

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

Revision 122 - (view) (download) (annotate) - [selected]
Modified Sat Jun 6 15:05:38 1998 UTC (21 years, 3 months ago) by monnier
File length: 9028 byte(s)
Diff to previous 111
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, 3 months ago) by monnier
File length: 8961 byte(s)
Diff to selected 122
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:

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