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

Revision 65

Jump to revision: Previous Next
Author: league
Date: Wed Apr 1 20:57:44 1998 UTC (24 years, 6 months ago)
Log Message:
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.

Changed paths:

Path Details
Directorysml/trunk/src/compiler/FLINT/kernel/ltybasic.sig modified , text changed
Directorysml/trunk/src/compiler/FLINT/kernel/ltybasic.sml 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

ViewVC Help
Powered by ViewVC 1.0.0