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
 [diderot] / trunk / src / compiler / basis / basis-vars.sml

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

revision 90, Thu May 27 02:52:07 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.90 changed lines Added in v.91

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