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

Revision 2402


Jump to revision: Previous Next
Author: gkuan
Date: Wed Apr 11 21:34:42 2007 UTC (12 years, 1 month ago)
Log Message:
Corrected equality type and abstract type bug (regression test d005a-ac.sml). matchInstTypes now ignores equality type test if it told to ignore abstract

Changed paths:

Path Details
Directorysml/branches/primop-branch-3/compiler/ElabData/types/typesutil.sml modified , text changed

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