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

SCM Repository

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

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

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

revision 1623, Fri Nov 11 21:58:50 2011 UTC revision 1624, Sat Nov 12 16:50:10 2011 UTC
# Line 87  Line 87 
87              | 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])
88              | Op.Input(ty, _, _) => (ty, [])              | Op.Input(ty, _, _) => (ty, [])
89              | Op.InputWithDefault(ty, _, _) => (ty, [ty])              | Op.InputWithDefault(ty, _, _) => (ty, [ty])
90              | Op.ToString ty => (Ty.StringTy, [ty])              | Op.Print tys => (Ty.TupleTy[], tys)
             | Op.Print n => (Ty.TupleTy[], List.tabulate(n, fn _ => Ty.StringTy))  
91              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)
92            (* end case *))            (* end case *))
93    

Legend:
Removed from v.1623  
changed lines
  Added in v.1624

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