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

SCM Repository

[smlnj] Revision 197
ViewVC logotype

Revision 197


Jump to revision: Previous Next
Author: monnier
Date: Sun Nov 22 01:25:23 1998 UTC (20 years, 11 months ago)
Log Message:
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.

Changed paths:

Path Details
Directorysml/trunk/src/compiler/FLINT/ChangeLog modified , text changed
Directorysml/trunk/src/compiler/FLINT/cps/convert.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/flint/flintutil.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/flint/ppflint.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/flint/tvarcvt.sml added
Directorysml/trunk/src/compiler/FLINT/kernel/ltybasic.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltydef.sig modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltydef.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltyextern.sig modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltyextern.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltykernel.sig modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltykernel.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/lsplit/ls-inline.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/main/flintcomp.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/opt/collect.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/opt/fcontract.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/opt/lcontract.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/opt/lift.sml added
Directorysml/trunk/src/compiler/FLINT/opt/recover.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/opt/specialize.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/reps/reify.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/reps/rttype.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/reps/typeoper.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/reps/wrapping.sml modified , text changed
Directorysml/trunk/src/compiler/Semant/pickle/pickmod.sml modified , text changed
Directorysml/trunk/src/compiler/Semant/pickle/unpickmod.sml modified , text changed
Directorysml/trunk/src/compiler/TopLevel/viscomp/control.sig modified , text changed
Directorysml/trunk/src/compiler/TopLevel/viscomp/control.sml modified , text changed
Directorysml/trunk/src/compiler/viscomp-lib.cm modified , text changed

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