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

SCM Repository

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

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

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

revision 3080, Mon Mar 16 22:01:42 2015 UTC revision 3081, Mon Mar 16 22:08:21 2015 UTC
# Line 108  Line 108 
108                  in                  in
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.VoxelAddressWithCtl(info, offset, ctl) => let
112                    val dim = ImageInfo.dim info
113                    in
114                      (Ty.AddrTy info, Ty.ImageTy info :: List.tabulate(dim, fn _ => Ty.intTy))
115                    end
116              | Op.LoadVoxels(info, n) => (Ty.vecTy n, [Ty.AddrTy info])              | Op.LoadVoxels(info, n) => (Ty.vecTy n, [Ty.AddrTy info])
117              | Op.PosToImgSpace info => let              | Op.PosToImgSpace info => let
118                  val dim = ImageInfo.dim info                  val dim = ImageInfo.dim info
# 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.3080  
changed lines
  Added in v.3081

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