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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/tree-ir/check-tree.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-ir/check-tree.sml

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

revision 4411, Fri Aug 12 18:28:57 2016 UTC revision 4412, Sun Aug 14 19:54:48 2016 UTC
# Line 132  Line 132 
132              | Op.Select(ty as Ty.TupleTy tys, i) => (List.nth(tys, i-1), [ty])              | Op.Select(ty as Ty.TupleTy tys, i) => (List.nth(tys, i-1), [ty])
133              | Op.Subscript(ty as Ty.SeqTy(elemTy, _)) => (mkRefTy elemTy, [ty, Ty.intTy])              | Op.Subscript(ty as Ty.SeqTy(elemTy, _)) => (mkRefTy elemTy, [ty, Ty.intTy])
134              | Op.MkDynamic(ty, n) => (Ty.SeqTy(ty, NONE), [Ty.SeqTy(ty, SOME n)])              | Op.MkDynamic(ty, n) => (Ty.SeqTy(ty, NONE), [Ty.SeqTy(ty, SOME n)])
135              | Op.Prepend ty => (Ty.SeqTy(ty, NONE), [ty, Ty.SeqTy(ty, NONE)])              | Op.Prepend(seqTy,elemTy) => (Ty.SeqTy(seqTy, NONE), [elemTy, Ty.SeqTy(seqTy, NONE)])
136              | Op.Append ty => (Ty.SeqTy(ty, NONE), [Ty.SeqTy(ty, NONE), ty])              | Op.Append(seqTy,elemTy) => (Ty.SeqTy(seqTy, NONE), [Ty.SeqTy(seqTy, NONE), elemTy])
137              | Op.Concat ty => (Ty.SeqTy(ty, NONE), [Ty.SeqTy(ty, NONE), Ty.SeqTy(ty, NONE)])              | Op.Concat ty => (Ty.SeqTy(ty, NONE), [Ty.SeqTy(ty, NONE), Ty.SeqTy(ty, NONE)])
138              | Op.Range => (Ty.SeqTy(Ty.intTy, NONE), [Ty.IntTy, Ty.IntTy])              | Op.Range => (Ty.SeqTy(Ty.intTy, NONE), [Ty.IntTy, Ty.IntTy])
139              | Op.Length ty => (Ty.intTy, [Ty.SeqTy(ty, NONE)])              | Op.Length ty => (Ty.intTy, [Ty.SeqTy(ty, NONE)])

Legend:
Removed from v.4411  
changed lines
  Added in v.4412

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