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

SCM Repository

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

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

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

revision 4235, Tue Jul 19 22:26:44 2016 UTC revision 4236, Wed Jul 20 03:02:00 2016 UTC
# Line 331  Line 331 
331                                            [assignEin(y,(Mk.traceT d), xs)]),                                            [assignEin(y,(Mk.traceT d), xs)]),
332                  (BV.fn_trace_f,           fn (y, [_,Ty.DIM d,Ty.SHAPE dd], xs) =>                  (BV.fn_trace_f,           fn (y, [_,Ty.DIM d,Ty.SHAPE dd], xs) =>
333                          [assignEin(y,Mk.traceF(d,dd), xs)]),                          [assignEin(y,Mk.traceF(d,dd), xs)]),
334                    (BV.fn_trace_fd,           fn (y, [_, Ty.DIM d1, Ty.DIM d2, Ty.SHAPE dd], xs) =>
335                                        [assignEin(y,Mk.traceFd(d1,d2,dd), xs)]),
337                  (BV.fn_transpose_t,       fn (y, [Ty.DIM d1, Ty.DIM d2], xs) =>                  (BV.fn_transpose_t,       fn (y, [Ty.DIM d1, Ty.DIM d2], xs) =>
338                                            [assignEin(y, (Mk.transposeT [d1,d2]), xs)]),                                            [assignEin(y, (Mk.transposeT [d1,d2]), xs)]),
339                  (BV.fn_transpose_f,  fn (y, [_,Ty.DIM d1, Ty.DIM d2,Ty.DIM d3], xs) =>                  (BV.fn_transpose_f,  fn (y, [_,Ty.DIM d1, Ty.DIM d2,Ty.DIM d3], xs) =>
340                      [assignEin(y, (Mk.transposeF (d1,d2,d3)), xs)]),                      [assignEin(y, (Mk.transposeF (d1,d2,d3)), xs)]),
341                  (BV.fn_det_t2,        simpleEOp (Mk.detT2)),                  (BV.fn_det_t2,        simpleEOp (Mk.detT2)),
342                  (BV.fn_det_t3,        simpleEOp (Mk.detT3)),                  (BV.fn_det_t3,        simpleEOp (Mk.detT3)),
343                  (BV.fn_det_f2,        simpleEOp (Mk.detF2)),                  (BV.fn_det_f2,      fn (y, [_,Ty.DIM d1], xs) =>
344                  (BV.fn_det_f3,        simpleEOp (Mk.detF3)),                                      [assignEin(y, (Mk.detF2 (d1)), xs)]),
345                    (BV.fn_det_f3,      fn (y, [_,Ty.DIM d1], xs) =>
346                                        [assignEin(y, (Mk.detF3 (d1)), xs)]),
347                  (BV.fn_sqrt_f,    fn (y, [_,Ty.DIM d1], xs) =>                  (BV.fn_sqrt_f,    fn (y, [_,Ty.DIM d1], xs) =>
348                      [assignEin(y, Mk.sqrtF d1, xs)]),                      [assignEin(y, Mk.sqrtF d1, xs)]),
349                  (BV.fn_sqrt_t,    fn (y, _, xs) =>                  (BV.fn_sqrt_t,    fn (y, _, xs) =>

Removed from v.4235  
changed lines
  Added in v.4236

ViewVC Help
Powered by ViewVC 1.0.0