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 1381, Thu Jun 23 19:20:18 2011 UTC revision 1382, Thu Jun 23 20:03:05 2011 UTC
# Line 219  Line 219 
219                  [field(k, d, dd), tensor[d]] --> Ty.T_Tensor dd                  [field(k, d, dd), tensor[d]] --> Ty.T_Tensor dd
220                end))                end))
221    
222      (* differentiation of scalar fields *)
223      val op_D = polyVar (N.op_D, all([DK, NK],      val op_D = polyVar (N.op_D, all([DK, NK],
224            fn [Ty.DIFF k, Ty.DIM d] => let            fn [Ty.DIFF k, Ty.DIM d] => let
225                val k0 = Ty.DiffVar(k, 0)                val k0 = Ty.DiffVar(k, 0)
# Line 228  Line 229 
229                  [field(k0, d, Ty.Shape[])]                  [field(k0, d, Ty.Shape[])]
230                    --> field(km1, d, Ty.Shape[d])                    --> field(km1, d, Ty.Shape[d])
231                end))                end))
232      (* differetiation of higher-order tensor fields *)
233      val op_Dotimes = polyVar (N.op_Dotimes, all([DK, NK, SK, NK],      val op_Dotimes = polyVar (N.op_Dotimes, all([DK, NK, SK, NK],
234            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd, Ty.DIM d'] => let            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd, Ty.DIM d'] => let
235                val k0 = Ty.DiffVar(k, 0)                val k0 = Ty.DiffVar(k, 0)

Legend:
Removed from v.1381  
changed lines
  Added in v.1382

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