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

SCM Repository

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

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

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

revision 2008, Fri Oct 5 17:31:10 2012 UTC revision 2009, Fri Oct 5 17:58:18 2012 UTC
# Line 100  Line 100 
100              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])
101              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])
102              | Op.Kernel _ => (Ty.KernelTy, [])              | Op.Kernel _ => (Ty.KernelTy, [])
103    (* DEPRECATED
104              | Op.LoadImage info => (Ty.ImageTy(ImageInfo.dim info), [Ty.StringTy])              | Op.LoadImage info => (Ty.ImageTy(ImageInfo.dim info), [Ty.StringTy])
105    *)
106              | Op.Field dim => (Ty.FieldTy, [Ty.ImageTy dim, Ty.KernelTy])              | Op.Field dim => (Ty.FieldTy, [Ty.ImageTy dim, Ty.KernelTy])
107              | Op.Inside dim => (Ty.BoolTy, [Ty.TensorTy[dim], Ty.FieldTy])              | Op.Inside dim => (Ty.BoolTy, [Ty.TensorTy[dim], Ty.FieldTy])
108              | Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])              | Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
# Line 111  Line 113 
113              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])
114              | Op.Input(ty, _, _) => (ty, [])              | Op.Input(ty, _, _) => (ty, [])
115              | Op.InputWithDefault(ty, _, _) => (ty, [ty])              | Op.InputWithDefault(ty, _, _) => (ty, [ty])
116                | Op.InputNrrd(ty, _, _) => (ty, [])
117                | Op.InputNrrdWithDefault(ty, _, _, _) => (ty, [])
118              | Op.Print tys => (Ty.TupleTy[], tys)              | Op.Print tys => (Ty.TupleTy[], tys)
119              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)
120            (* end case *))            (* end case *))

Legend:
Removed from v.2008  
changed lines
  Added in v.2009

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