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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/basis/basis-vars.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/basis/basis-vars.sml

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

revision 819, Wed Apr 13 22:02:50 2011 UTC revision 820, Wed Apr 13 22:15:08 2011 UTC
# Line 311  Line 311 
311                  end))                  end))
312    
313    (* outer product *)    (* outer product *)
314      val fn_outer = polyVar (N.fn_outer, all([NK, NK],      local
315              fn [Ty.DIM d1, Ty.DIM d2] => let        fun mkOuter [Ty.DIM d1, Ty.DIM d2] = let
316                  val vt1 = Ty.T_Tensor(Ty.Shape[Ty.DimVar d1])                  val vt1 = Ty.T_Tensor(Ty.Shape[Ty.DimVar d1])
317                  val vt2 = Ty.T_Tensor(Ty.Shape[Ty.DimVar d2])                  val vt2 = Ty.T_Tensor(Ty.Shape[Ty.DimVar d2])
318                  val mt = Ty.T_Tensor(Ty.Shape[Ty.DimVar d1, Ty.DimVar d2])                  val mt = Ty.T_Tensor(Ty.Shape[Ty.DimVar d1, Ty.DimVar d2])
319                  in                  in
320                    [vt1, vt2] --> mt                    [vt1, vt2] --> mt
321                  end))              end
322        in
323        val fn_outer = polyVar (N.fn_outer, all([NK, NK], mkOuter))
324        val op_outer = polyVar (N.op_outer, all([NK, NK], mkOuter))
325        end
326    
327      val fn_pow = monoVar (N.fn_pow, [Ty.realTy, Ty.realTy] --> Ty.realTy)      val fn_pow = monoVar (N.fn_pow, [Ty.realTy, Ty.realTy] --> Ty.realTy)
328    

Legend:
Removed from v.819  
changed lines
  Added in v.820

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