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

SCM Repository

[diderot] Diff of /branches/lamont/src/compiler/high-il/high-il-types.sml
ViewVC logotype

Diff of /branches/lamont/src/compiler/high-il/high-il-types.sml

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

revision 2083, Thu Nov 8 18:42:05 2012 UTC revision 2084, Fri Nov 9 21:55:00 2012 UTC
# Line 36  Line 36 
36        | same (IntTy, IntTy) = true        | same (IntTy, IntTy) = true
37        | same (StringTy, StringTy) = true        | same (StringTy, StringTy) = true
38        | same (TensorTy dd1, TensorTy dd2) = (dd1 = dd2)        | same (TensorTy dd1, TensorTy dd2) = (dd1 = dd2)
39        | same (StrandSeqTy n1, StrandSeqTy n2) = Atom.same(n1,n2)        | same (StrandSeqTy n1, StrandSeqTy n2) = true
40        | same (TupleTy tys1, TupleTy tys2) = ListPair.allEq same (tys1, tys2)        | same (TupleTy tys1, TupleTy tys2) = ListPair.allEq same (tys1, tys2)
41        | same (SeqTy(ty1, n1), SeqTy(ty2, n2)) = (n1 = n2) andalso same(ty1, ty2)        | same (SeqTy(ty1, n1), SeqTy(ty2, n2)) = (n1 = n2) andalso same(ty1, ty2)
42        | same (DynSeqTy ty1, DynSeqTy ty2) = same(ty1, ty2)        | same (DynSeqTy ty1, DynSeqTy ty2) = same(ty1, ty2)

Legend:
Removed from v.2083  
changed lines
  Added in v.2084

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