Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/typechecker/typechecker.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2954, Wed Mar 4 23:04:05 2015 UTC revision 2955, Wed Mar 4 23:06:28 2015 UTC
# Line 352  Line 352 
352                                val resTy = Ty.T_Field{diff=k1, dim=dim1, shape=Ty.Shape(dd1@dd2)}                                val resTy = Ty.T_Field{diff=k1, dim=dim1, shape=Ty.Shape(dd1@dd2)}
353                                in                                in
354                                  if U.equalDim(d1, d1)                                  if U.equalDim(d1, d1)
355                                  andalso U.equalDiff(k1, k2)                                  (*andalso U.equalDiff(k1, k2)*)
356                                  andalso U.equalDim(dim1, dim2)                                  andalso U.equalDim(dim1, dim2)
357                                  andalso U.equalTypes(domTy, [ty1, ty2])                                  andalso U.equalTypes(domTy, [ty1, ty2])
358                                  andalso U.equalType(rngTy, resTy)                                  andalso U.equalType(rngTy, resTy)

Legend:
Removed from v.2954  
changed lines
  Added in v.2955

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