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 420, Sun Oct 17 02:23:55 2010 UTC revision 422, Sun Oct 17 02:27:07 2010 UTC
# Line 54  Line 54 
54                  (Ty.AddrTy, List.tabulate(dim, fn _ => Ty.intTy))                  (Ty.AddrTy, List.tabulate(dim, fn _ => Ty.intTy))
55              | Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])              | Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])
56              | Op.Transform(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])              | Op.Transform(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])
57              | Op.EvalKernel(d, _, _) => (Ty.realTy, [Ty.VecTy d])              | Op.EvalKernel(d, _, _) => (Ty.VecTy d, [Ty.VecTy d])
58              | Op.LoadImage _ => (Ty.ImageTy, [])              | Op.LoadImage _ => (Ty.ImageTy, [])
59              | Op.Inside(ImageInfo.ImgInfo{dim, ...}) => (Ty.BoolTy, [Ty.VecTy dim, Ty.ImageTy])              | Op.Inside(ImageInfo.ImgInfo{dim, ...}) => (Ty.BoolTy, [Ty.VecTy dim, Ty.ImageTy])
60              | Op.Input(ty, _) => (ty, [])              | Op.Input(ty, _) => (ty, [])

Legend:
Removed from v.420  
changed lines
  Added in v.422

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