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 2026, Thu Oct 11 00:26:15 2012 UTC revision 2027, Thu Oct 11 10:40:12 2012 UTC
# Line 108  Line 108 
108              | Op.LoadImage info => (Ty.ImageTy info, [Ty.StringTy])              | Op.LoadImage info => (Ty.ImageTy info, [Ty.StringTy])
109  *)  *)
110              | Op.Inside(info, _) => (Ty.BoolTy, [Ty.vecTy(ImageInfo.dim info), Ty.ImageTy info])              | Op.Inside(info, _) => (Ty.BoolTy, [Ty.vecTy(ImageInfo.dim info), Ty.ImageTy info])
111                | Op.LoadSeq(ty, _) => (ty, [])
112                | Op.LoadImage(ty, _, _) => (ty, [])
113              | Op.Input(Inputs.INP{ty, ...}) => (ty, [])              | Op.Input(Inputs.INP{ty, ...}) => (ty, [])
114              | Op.Print tys => (Ty.TupleTy[], tys)              | Op.Print tys => (Ty.TupleTy[], tys)
115              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)

Legend:
Removed from v.2026  
changed lines
  Added in v.2027

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