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

Revision 2032


Jump to revision: Previous Next
Author: georgekuan
Date: Fri Aug 18 21:19:55 2006 UTC (13 years ago)
Log Message:
lty kind checker and tyc kind checker handle IND cases correctly now

Changed paths:

Path Details
Directorysml/branches/primop-branch-2/src/compiler/FLINT/kernel/lty.sml modified , text changed

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