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

Revision 2389


Jump to revision: Previous Next
Author: gkuan
Date: Mon Apr 9 17:03:21 2007 UTC (12 years, 4 months ago)
Log Message:
fixed matchInstTypes case for translate -- i.e., matchInstTypes should follow through abstract types unlike during signature matching, turned off plam typechecking and kind checking to get to the realconst (matchInstTypes) bug

Changed paths:

Path Details
Directorysml/branches/primop-branch-3/compiler/ElabData/types/typesutil.sig modified , text changed
Directorysml/branches/primop-branch-3/compiler/ElabData/types/typesutil.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/Elaborator/modules/sigmatch.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/flint/flintutil.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/kernel/ltybasic.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/kernel/ltydef.sig modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/kernel/ltydef.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/kernel/ltyextern.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/kernel/ltykernel.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/opt/fixfix.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/opt/lift.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/opt/recover.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/opt/specialize.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/plambda/chkplexp.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/plambda/flintnm.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/reps/reify.sml modified , text changed
Directorysml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml modified , text changed

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