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

SCM Repository

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

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

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

revision 87, Wed May 26 23:07:39 2010 UTC revision 88, Wed May 26 23:07:50 2010 UTC
# Line 181  Line 181 
181    
182      val fn_cos = polyVar (N.fn_cos, ty([Ty.realTy] --> Ty.realTy))      val fn_cos = polyVar (N.fn_cos, ty([Ty.realTy] --> Ty.realTy))
183    
184      val fn_dot = polyVar (N.fn_dot, allNK(fn tv => [tensor[Ty.DimVar tv]] --> tensor[Ty.DimVar tv]))      val fn_dot = polyVar (N.fn_dot, allNK(fn tv => let
185              val t = tensor[Ty.DimVar tv]
186              in
187                [t, t] --> t
188              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],
191              fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let              fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let

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

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