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

Revision 53


Jump to revision: Previous Next
Author: league
Date: Mon Mar 23 04:02:58 1998 UTC (21 years, 4 months ago)
Log Message:
Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

Changed paths:

Path Details
Directorysml/trunk/src/compiler/FLINT/flint/chkflint.sml modified , text changed
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.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/plambda/chkplexp.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

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