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/Semant/pickle
ViewVC logotype

Log of /sml/trunk/src/compiler/Semant/pickle

View Directory Listing Directory Listing


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

Revision 220 - Directory Listing
Modified Tue Mar 9 02:15:05 1999 UTC (22 years, 6 months ago) by monnier
* 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 - Directory Listing
Modified Tue Mar 2 08:12:06 1999 UTC (22 years, 6 months ago) by monnier
* 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 197 - Directory Listing
Modified Sun Nov 22 01:25:23 1998 UTC (22 years, 10 months ago) by monnier
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 - Directory Listing
Modified Sun Nov 8 21:18:20 1998 UTC (22 years, 10 months ago) by monnier
* 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 168 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (22 years, 10 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.

Revision 114 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (23 years, 3 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Revision 107 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (23 years, 3 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r106,
which included commits to RCS files with non-trunk default branches.

Revision 101 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (23 years, 4 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r100,
which included commits to RCS files with non-trunk default branches.

Revision 94 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (23 years, 4 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r93,
which included commits to RCS files with non-trunk default branches.

Revision 70 - Directory Listing
Modified Fri Apr 3 00:06:55 1998 UTC (23 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r69,
which included commits to RCS files with non-trunk default branches.

Revision 46 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (23 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

Revision 25 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (23 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r24,
which included commits to RCS files with non-trunk default branches.

Revision 16 - Directory Listing
Added Wed Mar 11 21:00:04 1998 UTC (23 years, 6 months ago) by monnier
Initial revision

Sort log by:

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