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

SCM Repository

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

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

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

revision 3997, Sun Jun 19 15:55:49 2016 UTC revision 3998, Sun Jun 19 17:12:03 2016 UTC
# Line 90  Line 90 
90              | Op.LoadImage(ty, _, _) => (ty, [])              | Op.LoadImage(ty, _, _) => (ty, [])
91              | Op.Input(Inputs.INP{ty, ...}) => (ty, [])              | Op.Input(Inputs.INP{ty, ...}) => (ty, [])
92              | Op.Print tys => (Ty.TupleTy[], tys)              | Op.Print tys => (Ty.TupleTy[], tys)
93              | _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)              | _ => raise Fail("sigOf: invalid operator- " ^ Op.toString rator)
94            (* end case *))            (* end case *))
95    
96      fun typeOfCons (Ty.TensorTy dd', (ty1 as Ty.TensorTy dd)::r) =      fun typeOfCons (Ty.TensorTy dd', (ty1 as Ty.TensorTy dd)::r) =

Legend:
Removed from v.3997  
changed lines
  Added in v.3998

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