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

Log of /sml/trunk/src/compiler/FLINT/kernel

View Directory Listing Directory Listing


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

Revision 423 - Directory Listing
Modified Mon Sep 6 02:32:11 1999 UTC (21 years, 1 month ago) by monnier
It now compiles

Revision 422 - Directory Listing
Modified Sun Sep 5 22:49:38 1999 UTC (21 years, 2 months ago) by monnier
merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

Revision 419 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (21 years, 2 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r418,
which included commits to RCS files with non-trunk default branches.

Revision 412 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (21 years, 2 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r411,
which included commits to RCS files with non-trunk default branches.

Revision 259 - Directory Listing
Modified Thu Apr 22 09:30:22 1999 UTC (21 years, 6 months ago) by monnier
turned the CPS optimizer back on and tamed the FLINT inlining

Revision 256 - Directory Listing
Modified Wed Apr 21 01:28:39 1999 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 254 - Directory Listing
Modified Wed Apr 21 00:01:13 1999 UTC (21 years, 6 months ago) by monnier
add a space for `prPrimop *' so as to avoid printing `(*'.

Revision 253 - Directory Listing
Modified Tue Apr 20 17:31:38 1999 UTC (21 years, 6 months ago) by monnier
cleanup non-exhaustive match warning

Revision 251 - Directory Listing
Modified Mon Apr 19 02:55:26 1999 UTC (21 years, 6 months ago) by monnier
First try at a merge of 110.16

Revision 246 - Directory Listing
Modified Sat Apr 17 18:47:12 1999 UTC (21 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r245,
which included commits to RCS files with non-trunk default branches.

Revision 244 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (21 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r243,
which included commits to RCS files with non-trunk default branches.

Revision 228 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (21 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.

Revision 224 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (21 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r223,
which included commits to RCS files with non-trunk default branches.

Revision 220 - Directory Listing
Modified Tue Mar 9 02:15:05 1999 UTC (21 years, 7 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 (21 years, 8 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 217 - Directory Listing
Modified Sun Feb 28 23:41:30 1999 UTC (21 years, 8 months ago) by monnier
* opt/fcontract.sml (fcEta): do the known->unknown eta-reduce if the
  `known' function is not locally defined (in which case the known/unknown
  distinction is pointless anyway).
(wrap):  don't forget to junk dead inlinable functions.

Revision 216 - Directory Listing
Modified Fri Feb 26 12:55:26 1999 UTC (21 years, 8 months ago) by monnier
* 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 213 - Directory Listing
Modified Fri Jan 15 21:18:35 1999 UTC (21 years, 9 months ago) by monnier
merged in 110.10

Revision 204 - Directory Listing
Modified Sun Dec 20 11:23:30 1998 UTC (21 years, 10 months ago) by monnier
*** empty log message ***

Revision 202 - Directory Listing
Modified Sun Dec 13 02:29:45 1998 UTC (21 years, 10 months ago) by monnier
Added IH_MAYBE to allow more selective inlining.

Revision 199 - Directory Listing
Modified Wed Nov 25 18:30:38 1998 UTC (21 years, 11 months ago) by monnier
* opt/loopify.sml: improved tail-calls recognition.
Also be more careful about wrapping loops into functions (so contraction
is not needed to cleanup).
* opt/fixfix.sml: pretend loops are smaller to increase their inlining.
* kernel/ltyextern.sml: commented out Stats calls.
* flint/flint.sig: changed LK_WHILE to LK_TAIL.

Revision 197 - Directory Listing
Modified Sun Nov 22 01:25:23 1998 UTC (21 years, 11 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 (21 years, 11 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 122 - Directory Listing
Modified Sat Jun 6 15:05:38 1998 UTC (22 years, 5 months ago) by monnier
addition of fcontract and fixfix and Control.FLINT

Revision 118 - Directory Listing
Modified Fri Jun 5 21:38:17 1998 UTC (22 years, 5 months ago) by monnier
merged in 110.7 changes

Revision 114 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (22 years, 5 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 109 - Directory Listing
Modified Fri May 29 02:12:55 1998 UTC (22 years, 5 months ago) by monnier
merged in 110.6 changes

Revision 107 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (22 years, 5 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 102 - Directory Listing
Modified Thu May 14 05:53:10 1998 UTC (22 years, 5 months ago) by monnier
merged in 110.5.1 from Zhong

Revision 101 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (22 years, 5 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 95 - Directory Listing
Modified Wed May 13 00:49:12 1998 UTC (22 years, 5 months ago) by monnier
merged with 110.5

Revision 94 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (22 years, 5 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 76 - Directory Listing
Modified Sun Apr 12 02:23:26 1998 UTC (22 years, 6 months ago) by league
changed max # elements to flatten to 5, to support x86 floating
points.  should be made machine dependent?

Revision 71 - Directory Listing
Modified Fri Apr 3 01:57:57 1998 UTC (22 years, 7 months ago) by monnier
merged in Zhong's 110.4

Revision 70 - Directory Listing
Modified Fri Apr 3 00:06:55 1998 UTC (22 years, 7 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 65 - Directory Listing
Modified Wed Apr 1 20:57:44 1998 UTC (22 years, 7 months ago) by league
made changes to kind-checking so that enc_tvar need not be exported
by ltykernel.  one awkwardness is that the tkLookupFreeVars function
in ltykernel manipulates a tkindenv, which is technically not defined
until ltyextern.

Revision 60 - Directory Listing
Modified Mon Mar 30 19:25:56 1998 UTC (22 years, 7 months ago) by league
major change to tc_eqv_gen and its clients; now they properly check
equivalence of two FIX nodes.

Revision 53 - Directory Listing
Modified Mon Mar 23 04:02:58 1998 UTC (22 years, 7 months ago) by league
Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

Revision 47 - Directory Listing
Modified Sun Mar 22 21:53:07 1998 UTC (22 years, 7 months ago) by monnier
*** empty log message ***

Revision 46 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (22 years, 7 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 41 - Directory Listing
Modified Sun Mar 22 20:10:46 1998 UTC (22 years, 7 months ago) by monnier
Initial revision

Revision 25 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (22 years, 7 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 (22 years, 7 months ago) by monnier
Initial revision

Sort log by:

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