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 2954, Wed Mar 4 23:04:05 2015 UTC revision 2955, Wed Mar 4 23:06:28 2015 UTC
# Line 441  Line 441 
441                  [t1, t2] --> t3                  [t1, t2] --> t3
442                end))                end))
443    
444      val op_inner_ff = polyVar (N.op_dot, all([DK, NK, SK, SK, SK],      val op_inner_ff = polyVar (N.op_dot, all([DK,DK, NK, SK, SK, SK],
445            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd1, Ty.SHAPE dd2, Ty.SHAPE dd3] => let            fn [Ty.DIFF k1,Ty.DIFF k2, Ty.DIM d, Ty.SHAPE dd1, Ty.SHAPE dd2, Ty.SHAPE dd3] => let
446                val k = Ty.DiffVar(k, 0)                val k1 = Ty.DiffVar(k1, 0)
447                  val k2 = Ty.DiffVar(k2, 0)
448                val d = Ty.DimVar d                val d = Ty.DimVar d
449                val t1 = Ty.T_Field{diff = k, dim = d, shape = Ty.ShapeVar dd1}                val t1 = Ty.T_Field{diff = k1, dim = d, shape = Ty.ShapeVar dd1}
450                val t2 = Ty.T_Field{diff = k, dim = d, shape = Ty.ShapeVar dd2}                val t2 = Ty.T_Field{diff = k2, dim = d, shape = Ty.ShapeVar dd2}
451                val t3 = Ty.T_Field{diff = k, dim = d, shape = Ty.ShapeVar dd3}                val t3 = Ty.T_Field{diff = k1, dim = d, shape = Ty.ShapeVar dd3}
452                in                in
453                  [t1, t2] --> t3                  [t1, t2] --> t3
454                end))                end))

Legend:
Removed from v.2954  
changed lines
  Added in v.2955

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