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 2971, Fri Mar 6 03:35:49 2015 UTC revision 2972, Fri Mar 6 14:57:49 2015 UTC
# Line 109  Line 109 
109                    (Ty.FieldTy, [Ty.ImageTy imgInfo, Ty.KernelTy])                    (Ty.FieldTy, [Ty.ImageTy imgInfo, Ty.KernelTy])
110                  end                  end
111              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])
112                | Op.ProbeWithCtl(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])
113              | Op.AddField => (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])              | Op.AddField => (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
114              | Op.SubField => (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])              | Op.SubField => (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
115              | Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])              | Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])

Legend:
Removed from v.2971  
changed lines
  Added in v.2972

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