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

Revision 2954


Jump to revision: Previous Next
Author: gkuan
Date: Mon Feb 25 15:43:35 2008 UTC (11 years, 4 months ago)
Log Message:
propagate VARty OPEN's eq property in LBOUND, bugfix for equality type signature matching bug

Changed paths:

Path Details
Directorysml/trunk/compiler/ElabData/types/types.sig modified , text changed
Directorysml/trunk/compiler/ElabData/types/types.sml modified , text changed
Directorysml/trunk/compiler/ElabData/types/typesutil.sig modified , text changed
Directorysml/trunk/compiler/ElabData/types/typesutil.sml modified , text changed
Directorysml/trunk/compiler/Elaborator/modules/sigmatch.sml modified , text changed
Directorysml/trunk/compiler/Elaborator/print/pptype.sml modified , text changed
Directorysml/trunk/compiler/Elaborator/types/typecheck.sml modified , text changed
Directorysml/trunk/compiler/FLINT/trans/translate.sml modified , text changed
Directorysml/trunk/compiler/FLINT/trans/transtypes.sml modified , text changed

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