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/tree-type-of.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-ir/tree-type-of.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 79  Line 79 
79              | Op.Select(ty as Ty.TupleTy tys, i) => List.nth(tys, i-1)              | Op.Select(ty as Ty.TupleTy tys, i) => List.nth(tys, i-1)
80              | Op.Subscript(ty as Ty.SeqTy(elemTy, _)) => elemTy              | Op.Subscript(ty as Ty.SeqTy(elemTy, _)) => elemTy
81              | Op.MkDynamic(ty, n) => Ty.SeqTy(ty, NONE)              | Op.MkDynamic(ty, n) => Ty.SeqTy(ty, NONE)
82              | Op.Prepend ty => Ty.SeqTy(ty, NONE)              | Op.Prepend(ty, _) => Ty.SeqTy(ty, NONE)
83              | Op.Append ty => Ty.SeqTy(ty, NONE)              | Op.Append(ty, _) => Ty.SeqTy(ty, NONE)
84              | Op.Concat ty => Ty.SeqTy(ty, NONE)              | Op.Concat ty => Ty.SeqTy(ty, NONE)
85              | Op.Range => Ty.SeqTy(Ty.intTy, NONE)              | Op.Range => Ty.SeqTy(Ty.intTy, NONE)
86              | Op.Length ty => Ty.intTy              | Op.Length ty => Ty.intTy

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