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

SCM Repository

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

Diff of /branches/chiw17/src/compiler/typechecker/unify.sml

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

revision 5029, Tue Jul 11 22:38:23 2017 UTC revision 5030, Tue Jul 11 22:53:10 2017 UTC
# Line 179  Line 179 
179                  equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)                  equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)
180              | match (Ty.T_Field{diff=k1, dim=d1, shape=s1}, Ty.T_Field{diff=k2, dim=d2, shape=s2}) =              | match (Ty.T_Field{diff=k1, dim=d1, shape=s1}, Ty.T_Field{diff=k2, dim=d2, shape=s2}) =
181                  equalDiff (pl, k1, k2) andalso equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)                  equalDiff (pl, k1, k2) andalso equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)
182                  | match (Ty.T_Poly{diff=k1, dim=d1, shape=s1}, Ty.T_Poly{diff=k2, dim=d2, shape=s2}) =                  | match (Ty.T_OField{diff=k1, dim=d1, shape=s1}, Ty.T_OField{diff=k2, dim=d2, shape=s2}) =
183                  equalDiff (pl, k1, k2) andalso equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)                  equalDiff (pl, k1, k2) andalso equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)
184                  | match (Ty.T_Mesh{diff=k1, dim=d1, shape=s1}, Ty.T_Mesh{diff=k2, dim=d2, shape=s2}) =                  | match (Ty.T_Mesh{diff=k1, dim=d1, shape=s1}, Ty.T_Mesh{diff=k2, dim=d2, shape=s2}) =
185                  equalDiff (pl, k1, k2) andalso equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)                  equalDiff (pl, k1, k2) andalso equalDim (pl, d1, d2) andalso equalShape(pl, s1, s2)

Legend:
Removed from v.5029  
changed lines
  Added in v.5030

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