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

SCM Repository

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

Diff of /branches/lamont/src/compiler/basis/basis-vars.sml

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

revision 405, Fri Oct 15 04:42:42 2010 UTC revision 406, Fri Oct 15 12:12:10 2010 UTC
# Line 168  Line 168 
168    
169      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)
170    
     val op_subscript = polyVar (N.op_subscript, all([SK, NK],  
           fn [Ty.SHAPE dd, Ty.DIM d] => let  
               val dd = Ty.ShapeVar dd  
               val d = Ty.DimVar d  
               in  
                 [Ty.T_Tensor(Ty.ShapeExt(dd, d)), Ty.T_Int]  
                   --> Ty.T_Tensor dd  
               end))  
   
171    (* functions *)    (* functions *)
172      val fn_CL = monoVar (N.fn_CL, [tensor[N3, N3]] --> Ty.realTy)      val fn_CL = monoVar (N.fn_CL, [tensor[N3, N3]] --> Ty.realTy)
173    
# Line 247  Line 238 
238    
239    (* internal variables *)    (* internal variables *)
240      val i2r = monoVar (Atom.atom "$i2r", [Ty.T_Int] --> Ty.realTy)      (* integer to real conversion *)      val i2r = monoVar (Atom.atom "$i2r", [Ty.T_Int] --> Ty.realTy)      (* integer to real conversion *)
241      val input = polyVar (Atom.atom "$input", all([TK],  
               fn [Ty.TYPE tv] => [Ty.T_String] --> Ty.T_Var tv))  
     val optInput = polyVar (Atom.atom "$optional-input", all([TK],  
               fn [Ty.TYPE tv] => [Ty.T_String, Ty.T_Var tv] --> Ty.T_Var tv))  
242      end (* local *)      end (* local *)
243    end    end

Legend:
Removed from v.405  
changed lines
  Added in v.406

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