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/branches/primop-branch-3/compiler/FLINT/reps/reify.sml
ViewVC logotype

Log of /sml/branches/primop-branch-3/compiler/FLINT/reps/reify.sml

Parent Directory Parent Directory


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 2389 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 7 months ago) by gkuan
File length: 11472 byte(s)
Diff to previous 2221 , to selected 69
fixed matchInstTypes case for translate -- i.e., matchInstTypes should follow through abstract types unlike during signature matching, turned off plam typechecking and kind checking to get to the realconst (matchInstTypes) bug

Revision 2221 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 21:56:55 2006 UTC (12 years, 11 months ago) by blume
File length: 11282 byte(s)
Diff to previous 2162 , to selected 69
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (13 years ago) by blume
Original Path: sml/trunk/compiler/FLINT/reps/reify.sml
File length: 11282 byte(s)
Diff to previous 651 , to selected 69
eliminated src dir

Revision 651 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 5 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11282 byte(s)
Diff to previous 251 , to selected 69
bring revisions from the vendor branch to the trunk

Revision 251 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11282 byte(s)
Diff to previous 220 , to selected 69
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11299 byte(s)
Diff to previous 218 , to selected 69
* 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 218 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 2 08:12:06 1999 UTC (20 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11022 byte(s)
Diff to previous 216 , to selected 69
* Semant/pickle/pickmod.sml (mkPickleLty):
  alpha-rename was not applied to NVAR.
* Semant/pickle/unpickmod.sml (lvar): was improperly defined.
(tyc): TC_NVAR wasn't read correctly.
(tfundec): leading char was inconsistent with pickle.
* kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
  don't unflatten arguments when reifying them.

Revision 216 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 26 12:55:26 1999 UTC (20 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11294 byte(s)
Diff to previous 197 , to selected 69
* opt/split.sml: seriously reworked.  Now splits TFNs as well.
* kernel/primop.sml (effect): removed DEREF and MAKEREF from the pure
  primops.
* flint/flintutil.sml (copy): sort the type-map since {lt,tc}_subst
  actually expects it to be sorted.
* kernel/ltyextern.{sml,sig} (lt_nvpoly): new function (digged from
  recover.sml to build a LT_POLY in the case of named tvars.
* opt/recover.sml: removed unused depth arguments left behind from before
  we switched to named tvars.
(addLty): added for the benefit of opt/split.sml
(lt_nvpoly): moved to ltyextern.sml

Revision 197 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (20 years, 11 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11289 byte(s)
Diff to previous 184 , to selected 69
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 184 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 8 21:18:20 1998 UTC (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11336 byte(s)
Diff to previous 114 , to selected 69
* 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 114 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 11366 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/reps/reify.sml revision 113
Diff to previous 113 , to selected 69
This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Revision 113 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/reps/reify.sml
File length: 11366 byte(s)
Diff to previous 93 , to selected 69
110.7

Revision 93 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 12 21:56:22 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/reps/reify.sml
File length: 11449 byte(s)
Diff to previous 69
*** empty log message ***

Revision 69 - (view) (download) (annotate) - [selected]
Modified Fri Apr 3 00:06:55 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/reps/reify.sml
File length: 11349 byte(s)
Diff to previous 45
*** empty log message ***

Revision 45 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/reps/reify.sml
File length: 8738 byte(s)
Diff to previous 24 , to selected 69
*** empty log message ***

Revision 24 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 8 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/reps/reify.sml
File length: 8677 byte(s)
Diff to previous 17 , to selected 69
*** empty log message ***

Revision 17 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 8 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/reps/reify.sml
File length: 8738 byte(s)
Diff to previous 16 , to selected 69
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 16 - (view) (download) (annotate) - [select for diffs]
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/reps/reify.sml
File length: 8738 byte(s)
Diff to selected 69
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