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

SCM Repository

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

Diff of /branches/vis15/src/compiler/mid-ir/check-mid.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 71  Line 71 
71              | 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)])
72              | Op.Range => (Ty.SeqTy(Ty.intTy, NONE), [Ty.IntTy, Ty.IntTy])              | Op.Range => (Ty.SeqTy(Ty.intTy, NONE), [Ty.IntTy, Ty.IntTy])
73              | Op.Length ty => (Ty.intTy, [Ty.SeqTy(ty, NONE)])              | Op.Length ty => (Ty.intTy, [Ty.SeqTy(ty, NONE)])
74              | Op.SphereQuery(ptTy, strandTy) => (Ty.SeqTy(strandTy, NONE), [ptTy, Ty.realTy])              | Op.SphereQuery(1, strandTy) =>
75                    (Ty.SeqTy(strandTy, NONE), [Ty.realTy, Ty.realTy])
76                | Op.SphereQuery(dim, strandTy) =>
77                    (Ty.SeqTy(strandTy, NONE), [Ty.TensorTy[dim], Ty.realTy])
78              | Op.Ceiling d => (Ty.vecTy d, [Ty.vecTy d])              | Op.Ceiling d => (Ty.vecTy d, [Ty.vecTy d])
79              | Op.Floor d => (Ty.vecTy d, [Ty.vecTy d])              | Op.Floor d => (Ty.vecTy d, [Ty.vecTy d])
80              | Op.Round d => (Ty.vecTy d, [Ty.vecTy d])              | Op.Round d => (Ty.vecTy d, [Ty.vecTy d])

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