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 2452, Sat Oct 5 00:43:58 2013 UTC revision 2453, Mon Oct 7 04:32:27 2013 UTC
# Line 53  Line 53 
53     * by the argument type signature, where     * by the argument type signature, where
54     *    i  -- int     *    i  -- int
55     *    b  -- bool     *    b  -- bool
56       *s  -- string
57     *    r  -- real (tensor[])     *    r  -- real (tensor[])
58     *    t  -- tensor[shape]     *    t  -- tensor[shape]
59     *    f  -- field#k(d)[shape]     *    f  -- field#k(d)[shape]
# Line 284  Line 285 
285                  [t, t, Ty.realTy, Ty.realTy, Ty.realTy] --> t                  [t, t, Ty.realTy, Ty.realTy, Ty.realTy] --> t
286                end))                end))
287    
288        val all_rs = monoVar(N.fn_all, [Ty.realTy, Ty.T_String] --> Ty.realTy)
289    
290    
291    (* Eigenvalues/vectors of a matrix; we only support this operation on 2x2 and 3x3 matrices, so    (* Eigenvalues/vectors of a matrix; we only support this operation on 2x2 and 3x3 matrices, so
292     * we overload the function.     * we overload the function.
293     *)     *)
# Line 402  Line 406 
406                      --> Ty.T_Bool                      --> Ty.T_Bool
407                  end))                  end))
408    
409        (* Reduction Operations *)
410        val fn_mean = monoVar (N.fn_mean, [Ty.realTy,Ty.T_Strand(Atom.atom("")),Ty.T_String] --> Ty.realTy)
411    
412    (* load dynamic sequence from nrrd *)    (* load dynamic sequence from nrrd *)
413      val fn_load = polyVar (N.fn_load, all([TK],      val fn_load = polyVar (N.fn_load, all([TK],
414              fn [Ty.TYPE tv] => [Ty.T_String] --> Ty.T_DynSequence(Ty.T_Var tv)))              fn [Ty.TYPE tv] => [Ty.T_String] --> Ty.T_DynSequence(Ty.T_Var tv)))

Legend:
Removed from v.2452  
changed lines
  Added in v.2453

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