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

Revision 2044

Jump to revision: Previous Next
Author: georgekuan
Date: Thu Aug 24 17:45:04 2006 UTC (16 years, 1 month ago)
Log Message:
chkplexp now exports checkLty and checkLtyTop taking and not taking an ltyEnv respectively

Changed paths:

Path Details
Directorysml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml modified , text changed
Directorysml/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml modified , text changed

ViewVC Help
Powered by ViewVC 1.0.0