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 1302, Fri Jun 10 00:00:05 2011 UTC revision 1303, Fri Jun 10 21:39:54 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      val op_D = polyVar (N.op_D, all([DK, NK, SK],      val op_D = polyVar (N.op_D, all([DK, NK],
223            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let            fn [Ty.DIFF k, Ty.DIM d] => let
224                val k0 = Ty.DiffVar(k, 0)                val k0 = Ty.DiffVar(k, 0)
225                val km1 = Ty.DiffVar(k, ~1)                val km1 = Ty.DiffVar(k, ~1)
226                val d = Ty.DimVar d                val d = Ty.DimVar d
227                  in
228                    [field(k0, d, Ty.Shape[])]
229                      --> field(km1, d, Ty.Shape[d])
230                  end))
231        val op_Dotimes = polyVar (N.op_Dotimes, all([DK, NK, SK, NK],
232              fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd, Ty.DIM d'] => let
233                  val k0 = Ty.DiffVar(k, 0)
234                  val km1 = Ty.DiffVar(k, ~1)
235                  val d = Ty.DimVar d
236                  val d' = Ty.DimVar d'
237                val dd = Ty.ShapeVar dd                val dd = Ty.ShapeVar dd
238                in                in
239                  [field(k0, d, dd)]                  [field(k0, d, Ty.ShapeExt(dd, d'))]
240                    --> field(km1, d, Ty.ShapeExt(dd, d))                    --> field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))
241                end))                end))
242    
243      val op_norm = polyVar (N.op_norm, all([SK],      val op_norm = polyVar (N.op_norm, all([SK],

Legend:
Removed from v.1302  
changed lines
  Added in v.1303

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