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

SCM Repository

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

Diff of /branches/charisee/src/compiler/mid-il/check-mid-il.sml

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

revision 2679, Tue Jul 29 04:18:35 2014 UTC revision 2680, Wed Aug 6 00:51:53 2014 UTC
# Line 74  Line 74 
74              | Op.Transform info => let              | Op.Transform info => let
75                  val dim = ImageInfo.dim info                  val dim = ImageInfo.dim info
76                  in                  in
77                    (Ty.TensorTy[dim,dim], [])                    (Ty.TensorTy[dim,dim], [Ty.StringTy])
78                  end                  end
79              | Op.Translate info  => let              | Op.Translate info  => let
80                  val dim = ImageInfo.dim info                  val dim = ImageInfo.dim info
81                  in                  in
82                      (Ty.TensorTy[dim,dim], [])                      (Ty.TensorTy[dim], [Ty.StringTy])
83                  end                  end
84    
85    
86              | Op.LoadImage info => (Ty.ImageTy info, [])              | Op.LoadImage info => (Ty.ImageTy info, [Ty.StringTy])
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])

Legend:
Removed from v.2679  
changed lines
  Added in v.2680

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