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

SCM Repository

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

Diff of /branches/vis12/src/compiler/basis/basis-vars.sml

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

revision 2972, Fri Mar 6 14:57:49 2015 UTC revision 2973, Fri Mar 6 15:27:22 2015 UTC
# Line 487  Line 487 
487      val zero = polyVar (Atom.atom "$zero", all ([SK],      val zero = polyVar (Atom.atom "$zero", all ([SK],
488              fn [Ty.SHAPE dd] => [] --> Ty.T_Tensor(Ty.ShapeVar dd)))              fn [Ty.SHAPE dd] => [] --> Ty.T_Tensor(Ty.ShapeVar dd)))
489    
490      (* NaN tensor *)
491        val nan = polyVar (Atom.atom "$nan", all ([SK],
492                fn [Ty.SHAPE dd] => [] --> Ty.T_Tensor(Ty.ShapeVar dd)))
493    
494    (* sequence subscript *)    (* sequence subscript *)
495      val subscript = polyVar (Atom.atom "$sub", all ([TK, NK],      val subscript = polyVar (Atom.atom "$sub", all ([TK, NK],
496              fn [Ty.TYPE tv, Ty.DIM d] =>              fn [Ty.TYPE tv, Ty.DIM d] =>

Legend:
Removed from v.2972  
changed lines
  Added in v.2973

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