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 88, Wed May 26 23:07:50 2010 UTC revision 91, Thu May 27 15:16:36 2010 UTC
# Line 184  Line 184 
184      val fn_dot = polyVar (N.fn_dot, allNK(fn tv => let      val fn_dot = polyVar (N.fn_dot, allNK(fn tv => let
185            val t = tensor[Ty.DimVar tv]            val t = tensor[Ty.DimVar tv]
186            in            in
187              [t, t] --> t              [t, t] --> Ty.realTy
188            end))            end))
189    
190      val fn_inside = polyVar (N.fn_inside,       all([DK, NK, SK],      val fn_inside = polyVar (N.fn_inside,       all([DK, NK, SK],
# Line 214  Line 214 
214    
215      val fn_pow = polyVar (N.fn_pow, ty([Ty.realTy, Ty.realTy] --> Ty.realTy))      val fn_pow = polyVar (N.fn_pow, ty([Ty.realTy, Ty.realTy] --> Ty.realTy))
216    
217  (*      val fn_principleEvec = polyVar (N.fn_principleEvec, all([NK],
218      val fn_principleEvec = Atom.atom "principleEvec"              fn [Ty.DIM d] => let
219  *)                  val d = Ty.DimVar d
220                    in
221                      [tensor[d,d]] --> tensor[d]
222                    end))
223    
224      val fn_sin = polyVar (N.fn_sin, ty([Ty.realTy] --> Ty.realTy))      val fn_sin = polyVar (N.fn_sin, ty([Ty.realTy] --> Ty.realTy))
225    

Legend:
Removed from v.88  
changed lines
  Added in v.91

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