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 216
ViewVC logotype

Revision 216

Jump to revision: Previous Next
Author: monnier
Date: Fri Feb 26 12:55:26 1999 UTC (21 years, 9 months ago)
Log Message:
* opt/split.sml: seriously reworked.  Now splits TFNs as well.
* kernel/primop.sml (effect): removed DEREF and MAKEREF from the pure
* 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

Changed paths:

Path Details
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/kernel/ltyextern.sig modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltyextern.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/primop.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/fixfix.sml modified , text changed
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/opt/split.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/reps/reify.sml modified , text changed
Directorysml/trunk/src/compiler/FLINT/reps/wrapping.sml modified , text changed

ViewVC Help
Powered by ViewVC 1.0.0