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

SCM Repository

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

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

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

revision 83, Wed May 26 18:50:44 2010 UTC revision 85, Wed May 26 19:51:10 2010 UTC
# Line 148  Line 148 
148                val d = Ty.DimVar d                val d = Ty.DimVar d
149                val dd = Ty.ShapeVar dd                val dd = Ty.ShapeVar dd
150                in                in
151                  [field(k0, d, dd), tensor[d]]                  [field(k0, d, dd)]
152                    --> field(km1, d, Ty.ShapeExt(dd, d))                    --> field(km1, d, Ty.ShapeExt(dd, d))
153                end))                end))
154    

Legend:
Removed from v.83  
changed lines
  Added in v.85

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