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

SCM Repository

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

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

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

revision 2509, Tue Nov 12 21:24:35 2013 UTC revision 2510, Thu Nov 14 20:33:18 2013 UTC
# Line 183  Line 183 
183                  (BV.neg_f,              fn (y, [_,Ty.DIM d, Ty.SHAPE dd], xs) =>                  (BV.neg_f,              fn (y, [_,Ty.DIM d, Ty.SHAPE dd], xs) =>
184                                          [assignEin(y, mk.negField(d, dd),xs)]),                                          [assignEin(y, mk.negField(d, dd),xs)]),
185                  (BV.op_probe,           fn (y, [_, Ty.DIM d, Ty.SHAPE dd], xs) =>                  (BV.op_probe,           fn (y, [_, Ty.DIM d, Ty.SHAPE dd], xs) =>
186                                              [assignEin(y, (mk.probe(dd,d,[d])),xs)]),                                              [assignEin(y, (mk.probe(dd,d)),xs)]),
187                  (BV.op_D,               fn (y, [_, Ty.DIM d], xs) =>  [assignEin(y, mk.grad([d]),xs)]),                  (BV.op_D,               fn (y, [_, Ty.DIM d], xs) =>  [assignEin(y, mk.grad([d]),xs)]),
188    
189                  (BV.op_Dotimes,         fn (y, [_, Ty.DIM d1,  Ty.SHAPE dd, Ty.DIM d2], xs) => let                  (BV.op_Dotimes,         fn (y, [_, Ty.DIM d1,  Ty.SHAPE dd, Ty.DIM d2], xs) => let
190  val x= print (String.concat[" d1:",Int.toString(d1)," d2:",Int.toString(d2),  val x= print (String.concat[" d1:",Int.toString(d1)," d2:",Int.toString(d2),
191                                          " shape:",Int.toString(length(dd)), "\n"])                                          " shape:",Int.toString(length(dd)), "\n"])
192  in  in
193                                      [assignEin(y, mk.hessian(d1, dd),xs)] end ),                                      [assignEin(y, mk.hessian(d1, dd@[d2]),xs)] end ),
194                  (BV.op_Ddot,         fn (y, [_, Ty.DIM d1,  Ty.SHAPE dd, Ty.DIM d2], xs) =>                  (BV.op_Ddot,         fn (y, [_, Ty.DIM d1,  Ty.SHAPE dd, Ty.DIM d2], xs) =>
195                                          [assignEin(y, mk.divergence(d1, dd),xs)]),                                          [assignEin(y, mk.divergence(d1, dd),xs)]),
196    

Legend:
Removed from v.2509  
changed lines
  Added in v.2510

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