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

SCM Repository

[diderot] Diff of /branches/chiw17/src/compiler/ein/ein-util.sml
ViewVC logotype

Diff of /branches/chiw17/src/compiler/ein/ein-util.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 65  Line 65 
65                  | (E.Probe(e11, e12), E.Probe(e21, e22)) => same(e11, e21) andalso same(e12, e22)                  | (E.Probe(e11, e12), E.Probe(e21, e22)) => same(e11, e21) andalso same(e12, e22)
66                  | (E.Comp(e11, es1), E.Comp(e21, es2)) =>                  | (E.Comp(e11, es1), E.Comp(e21, es2)) =>
67                      same(e11,e21) andalso sameSubEin(es1, es2)                      same(e11,e21) andalso sameSubEin(es1, es2)
68                  | (E.PolyWrap(id1, e11, ix1), E.PolyWrap(id2, e21, ix2)) =>                  | (E.OField(ofld1, id1, e11, ix1), E.OField(ofld2, id2, e21, ix2)) =>
69                      same(e11,e21)  andalso same(id1,id2) andalso sameIndex(ix1, ix2)                      same(e11,e21)  andalso same(id1,id2) andalso sameIndex(ix1, ix2)
70                  | (E.Poly(id1, ix1, n1,alpha1), E.Poly(id2, ix2, n2, alpha2)) =>                  | (E.Poly(id1, ix1, n1,alpha1), E.Poly(id2, ix2, n2, alpha2)) =>
71                      (id1=id2)andalso  sameIndex(ix1,ix2) andalso  (n1=n2) andalso sameIndex(alpha1,alpha2)                      (id1=id2)andalso  sameIndex(ix1,ix2) andalso  (n1=n2) andalso sameIndex(alpha1,alpha2)
# Line 137  Line 137 
137                  | E.Apply(e1, e2) => 0w97 + hash' e1 + hash' e2                  | E.Apply(e1, e2) => 0w97 + hash' e1 + hash' e2
138                  | E.Probe(e1, e2) => 0w101 + hash' e1 + hash' e2                  | E.Probe(e1, e2) => 0w101 + hash' e1 + hash' e2
139                  | E.Comp(e1, es) =>    0w141 +hash' e1+iterS es                  | E.Comp(e1, es) =>    0w141 +hash' e1+iterS es
140                  | E.PolyWrap(e1, e2, alpha) =>    0w141 +hash' e1+hash' e2  + hashAlpha alpha                  | E.OField(ofld, e1, e2, alpha) =>    0w141 +hash' e1+hash' e2  + hashAlpha alpha
141                  | E.Poly(id, alpha1, n1, alpha2) =>    0w143 + hashInt id+ hashAlpha alpha1+ hashInt n1 + hashAlpha alpha2                  | E.Poly(id, alpha1, n1, alpha2) =>    0w143 + hashInt id+ hashAlpha alpha1+ hashInt n1 + hashAlpha alpha2
142                  | E.Value _ => 0w11                  | E.Value _ => 0w11
143                  | E.Img (_, alpha, es, _,  _) => 0w43 + hashAlpha alpha + iter es                  | E.Img (_, alpha, es, _,  _) => 0w43 + hashAlpha alpha + iter es

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