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

SCM Repository

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

Diff of /branches/charisee/src/compiler/basis/basis-vars.sml

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

revision 2921, Tue Mar 3 02:08:04 2015 UTC revision 2922, Tue Mar 3 03:55:09 2015 UTC
# Line 438  Line 438 
438                  [t1,t2] --> t3                  [t1,t2] --> t3
439              end))              end))
440    
441      val op_inner_ft = polyVar (N.op_dot, all([DK,NK,NK,SK, SK],      val op_inner_ft = polyVar (N.op_dot, all([DK,NK,SK,SK, SK],
442          fn [Ty.DIFF k0, Ty.DIM d,Ty.DIM d2,Ty.SHAPE dd1, (*Ty.SHAPE dd2,*)Ty.SHAPE dd3] => let          fn [Ty.DIFF k0,Ty.DIM d1,Ty.SHAPE dd1, Ty.SHAPE dd2,Ty.SHAPE dd3] => let
443              val k0=Ty.DiffVar(k0, 0)              val k0=Ty.DiffVar(k0, 0)
444              val d' = Ty.DimVar d              val d' = Ty.DimVar d1
445              val t1 = Ty.T_Field{diff = k0, dim = d', shape = Ty.ShapeVar dd1}              val t1 = Ty.T_Field{diff = k0, dim = d', shape = Ty.ShapeVar dd1}
446              val t2 = Ty.T_Tensor(Ty.Shape[Ty.DimVar d2])              val t2 = Ty.T_Tensor(Ty.ShapeVar dd2)
447              val t3 = Ty.T_Field{diff = k0, dim = d', shape = Ty.ShapeVar dd3}              val t3 = Ty.T_Field{diff = k0, dim = d', shape = Ty.ShapeVar dd3}
448    
449              in              in
450                  [t1,t1] --> t3                  [t1,t2] --> t3
451              end))              end))
452    
453    

Legend:
Removed from v.2921  
changed lines
  Added in v.2922

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