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

SCM Repository

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

Diff of /branches/vis12/src/compiler/mid-il/check-mid-il.sml

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

revision 3071, Sun Mar 15 00:09:44 2015 UTC revision 3072, Sun Mar 15 16:33:00 2015 UTC
# Line 109  Line 109 
109                    (Ty.AddrTy info, Ty.ImageTy info :: List.tabulate(dim, fn _ => Ty.intTy))                    (Ty.AddrTy info, Ty.ImageTy info :: List.tabulate(dim, fn _ => Ty.intTy))
110                  end                  end
111              | Op.LoadVoxels(info, n) => (Ty.vecTy n, [Ty.AddrTy info])              | Op.LoadVoxels(info, n) => (Ty.vecTy n, [Ty.AddrTy info])
112                | Op.VoxelAddressWithCtl(info, offset, ctl) => let
113                    val dim = ImageInfo.dim info
114                    in
115                      (Ty.AddrTy info, Ty.ImageTy info :: List.tabulate(dim, fn _ => Ty.intTy))
116                    end
117              | Op.PosToImgSpace info => let              | Op.PosToImgSpace info => let
118                  val dim = ImageInfo.dim info                  val dim = ImageInfo.dim info
119                  in                  in
# Line 136  Line 141 
141                  | _ => false                  | _ => false
142                (* end case *))                (* end case *))
143              else false              else false
144          | typeOfCons _ = false
145    
146    end    end
147    

Legend:
Removed from v.3071  
changed lines
  Added in v.3072

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