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

SCM Repository

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

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

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

revision 516, Wed Feb 9 23:10:31 2011 UTC revision 517, Thu Feb 10 11:45:00 2011 UTC
# Line 56  Line 56 
56              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])
57              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])
58              | Op.Kernel _ => (Ty.KernelTy, [])              | Op.Kernel _ => (Ty.KernelTy, [])
59              | Op.LoadImage _ => (Ty.ImageTy, [Ty.StringTy])              | Op.LoadImage info => (Ty.ImageTy(ImageInfo.dim info), [Ty.StringTy])
60              | Op.Field => (Ty.FieldTy, [Ty.ImageTy, Ty.KernelTy])              | Op.Field d => (Ty.FieldTy, [Ty.ImageTy d, Ty.KernelTy])
61              | Op.Inside domTy => (Ty.BoolTy, [domTy, Ty.FieldTy])              | Op.Inside domTy => (Ty.BoolTy, [domTy, Ty.FieldTy])
62              | Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])              | Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
63              | Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])              | Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])

Legend:
Removed from v.516  
changed lines
  Added in v.517

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