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

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/ChangeLog
ViewVC logotype

View of /sml/trunk/src/compiler/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 220 - (download) (annotate)
Tue Mar 9 02:15:05 1999 UTC (20 years, 9 months ago) by monnier
File size: 1352 byte(s)
* 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.
1999-03-08  Stefan Monnier  <monnier@cs.yale.edu>

	* 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.

1999-03-02  Stefan Monnier  <monnier@cs.yale.edu>

	* Semant/pickle/(un)pickmod.sml (fkind): pickle the inline bit.

	* 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): pickle puts a leading "1", so look for a "1", not a "0".

1998-11-12  Stefan Monnier  <monnier@cs.yale.edu>

	* MiscUtil/util/stats.sml: added counters.

1998-11-09  Stefan Monnier  <monnier@cs.yale.edu>

	* TopLevel/viscomp/control.sml
	(checkDatatypes): turned off because of infinite looping problems

1998-11-05  Stefan Monnier  <monnier@cs.yale.edu>

	* TopLevel/viscomp/control.sig: add FLINT.unrollThreshold

1998-10-27  Stefan Monnier  <monnier@cs.yale.edu>

	* TopLevel/viscomp/control.sml (listLiterals): turned it back off because
	  it increases the resulting heap size by more than 10%.


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