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 2010, Sat Oct 6 11:49:30 2012 UTC revision 2011, Sun Oct 7 21:14:31 2012 UTC
# Line 111  Line 111 
111              | Op.NegField => (Ty.FieldTy, [Ty.FieldTy])              | Op.NegField => (Ty.FieldTy, [Ty.FieldTy])
112              | Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])              | Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])
113              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])              | Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])
114              | Op.Input(ty, _, _) => (ty, [])              | Op.Input(Inputs.INP{ty, ...}) => (ty, [])
             | Op.InputWithDefault(ty, _, _) => (ty, [ty])  
             | Op.InputNrrd(ty, _, _) => (ty, [])  
             | Op.InputNrrdWithDefault(ty, _, _, _) => (ty, [])  
115              | Op.Print tys => (Ty.TupleTy[], tys)              | Op.Print tys => (Ty.TupleTy[], tys)
116              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)
117            (* end case *))            (* end case *))

Legend:
Removed from v.2010  
changed lines
  Added in v.2011

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