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

SCM Repository

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

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

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

revision 2297, Fri Mar 15 22:05:31 2013 UTC revision 2298, Fri Mar 15 22:18:22 2013 UTC
# Line 99  Line 99 
99                    then (List.nth(tys, i-1), [ty])                    then (List.nth(tys, i-1), [ty])
100                    else raise Fail("sigOf: invalid operator " ^ Op.toString rator)                    else raise Fail("sigOf: invalid operator " ^ Op.toString rator)
101              | Op.SeqSub(ty as Ty.SeqTy(elemTy, _)) => (elemTy, [ty, Ty.IntTy])              | Op.SeqSub(ty as Ty.SeqTy(elemTy, _)) => (elemTy, [ty, Ty.IntTy])
102              | Op.SeqSub(ty as Ty.DynSeqTy(elemTy)) => (elemTy, [ty, Ty.IntTy])              | Op.SeqSub(ty as Ty.DynSeqTy elemTy) => (elemTy, [ty, Ty.IntTy])
103              | Op.MkDynamic(ty, n) => (Ty.DynSeqTy ty, [Ty.SeqTy(ty, n)])              | Op.MkDynamic(ty, n) => (Ty.DynSeqTy ty, [Ty.SeqTy(ty, n)])
104              | Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])              | Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])
105              | Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])              | Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])
# Line 111  Line 111 
111              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])
112              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])
113              | Op.Kernel _ => (Ty.KernelTy, [])              | Op.Kernel _ => (Ty.KernelTy, [])
 (* DEPRECATED  
             | Op.LoadImage info => (Ty.ImageTy(ImageInfo.dim info), [Ty.StringTy])  
 *)  
114              | Op.Field dim => (Ty.FieldTy, [Ty.ImageTy dim, Ty.KernelTy])              | Op.Field dim => (Ty.FieldTy, [Ty.ImageTy dim, Ty.KernelTy])
115              | Op.Inside dim => (Ty.BoolTy, [Ty.TensorTy[dim], Ty.FieldTy])              | Op.Inside dim => (Ty.BoolTy, [Ty.TensorTy[dim], Ty.FieldTy])
116              | Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])              | Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
117              | Op.SubField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])              | Op.SubField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
118              | Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])              | Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])
119                | Op.OffsetField => (Ty.FieldTy, [Ty.FieldTy, Ty.realTy])
120              | Op.NegField => (Ty.FieldTy, [Ty.FieldTy])              | Op.NegField => (Ty.FieldTy, [Ty.FieldTy])
121              | Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])              | Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])
122                | Op.CurlField 2 => (Ty.FieldTy, [Ty.FieldTy])
123                | Op.CurlField 3 => (Ty.FieldTy, [Ty.FieldTy])
124              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])
125              | Op.LoadSeq(ty, _) => (ty, [])              | Op.LoadSeq(ty, _) => (ty, [])
126              | Op.LoadImage(ty, _, _) => (ty, [])              | Op.LoadImage(ty, _, _) => (ty, [])

Legend:
Removed from v.2297  
changed lines
  Added in v.2298

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