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

Revision 59


Jump to revision: Previous Next
Author: league
Date: Mon Mar 30 19:24:59 1998 UTC (21 years, 7 months ago)
Log Message:
Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

Changed paths:

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