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

Revision 699


Jump to revision: Previous Next
Author: monnier
Date: Mon Aug 21 22:13:39 2000 UTC (19 years, 1 month ago)
Log Message:
(FLINTComp.flintcomp): Convert named type vars
in `fi' back into deBruijn indices since this is still the
representation used outside of flintcomp (i.e. in LSplitInline).

Changed paths:

Path Details
Directorysml/trunk/src/compiler/FLINT/ChangeLog modified , text changed
Directorysml/trunk/src/compiler/FLINT/main/flintcomp.sml modified , text changed

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