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

SCM Repository

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

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

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

revision 3832, Fri May 6 15:08:12 2016 UTC revision 3851, Thu May 12 19:27:43 2016 UTC
# Line 119  Line 119 
119                  else (Ty.TensorTy[dim], [Ty.ImageTy info])                  else (Ty.TensorTy[dim], [Ty.ImageTy info])
120                      end                      end
121              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])
122              | Op.LoadVoxel(info) => (Ty.realTy, [Ty.ImageTy info, Ty.IntTy])              | Op.LoadVoxel info => (Ty.realTy, [Ty.ImageTy info, Ty.IntTy])
123              | Op.Inside(info, _) => let              | Op.Inside(info, _) => let
124                  val idxTy = (case ImageInfo.dim info                  val idxTy = (case ImageInfo.dim info
125                         of 1 => Ty.IntTy                         of 1 => Ty.IntTy

Legend:
Removed from v.3832  
changed lines
  Added in v.3851

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