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 4348, Tue Aug 2 15:48:33 2016 UTC revision 4349, Tue Aug 2 18:14:48 2016 UTC
# Line 84  Line 84 
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
87              | Op.SphereQuery(ptTy, strandTy) => Ty.SeqTy(strandTy, NONE)              | Op.SphereQuery(_, strandTy) => Ty.SeqTy(strandTy, NONE)
88              | Op.Sqrt => Ty.realTy              | Op.Sqrt => Ty.realTy
89              | Op.Cos => Ty.realTy              | Op.Cos => Ty.realTy
90              | Op.ArcCos => Ty.realTy              | Op.ArcCos => Ty.realTy

Legend:
Removed from v.4348  
changed lines
  Added in v.4349

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