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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/basis/basis-vars.sml

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

revision 690, Fri Mar 25 00:23:10 2011 UTC revision 691, Fri Mar 25 01:31:46 2011 UTC
# Line 233  Line 233 
233              fn [Ty.DIM d] => let              fn [Ty.DIM d] => let
234                  val d = Ty.DimVar d                  val d = Ty.DimVar d
235                  in                  in
236                    [matrix d] --> Ty.T_Array(Ty.realTy, d)                    [matrix d] --> Ty.T_Sequence(Ty.realTy, d)
237                  end))                  end))
238    
239    (* Eigenvectors of a matrix *)    (* Eigenvectors of a matrix *)
# Line 241  Line 241 
241              fn [Ty.DIM d] => let              fn [Ty.DIM d] => let
242                  val d = Ty.DimVar d                  val d = Ty.DimVar d
243                  in                  in
244                    [matrix d] --> Ty.T_Array(tensor[d], d)                    [matrix d] --> Ty.T_Sequence(tensor[d], d)
245                  end))                  end))
246    
247      val fn_inside = polyVar (N.fn_inside, all([DK, NK, SK],      val fn_inside = polyVar (N.fn_inside, all([DK, NK, SK],

Legend:
Removed from v.690  
changed lines
  Added in v.691

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