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

SCM Repository

[diderot] Diff of /trunk/src/compiler/basis/basis-vars.sml
ViewVC logotype

Diff of /trunk/src/compiler/basis/basis-vars.sml

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

revision 85, Wed May 26 19:51:10 2010 UTC revision 86, Wed May 26 22:23:17 2010 UTC
# Line 157  Line 157 
157    
158      val op_not = monoVar (N.op_not, [Ty.T_Bool] --> Ty.T_Bool)      val op_not = monoVar (N.op_not, [Ty.T_Bool] --> Ty.T_Bool)
159    
160        val op_subscript = polyVar (N.op_subscript, all([SK, NK],
161              fn [Ty.SHAPE dd, Ty.DIM d] => let
162                  val dd = Ty.ShapeVar dd
163                  val d = Ty.DimVar d
164                  in
165                    [Ty.T_Tensor(Ty.ShapeExt(dd, d)), Ty.T_Int]
166                      --> Ty.T_Tensor dd
167                  end))
168    
169    (* functions *)    (* functions *)
170      val fn_CL = polyVar (N.fn_CL, ty([tensor[N3, N3]] --> Ty.vec3Ty))      val fn_CL = polyVar (N.fn_CL, ty([tensor[N3, N3]] --> Ty.vec3Ty))

Legend:
Removed from v.85  
changed lines
  Added in v.86

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