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

SCM Repository

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

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

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

revision 2515, Mon Dec 2 03:42:14 2013 UTC revision 2522, Mon Jan 13 18:42:09 2014 UTC
# Line 313  Line 313 
313  val dd = Ty.ShapeVar dd  val dd = Ty.ShapeVar dd
314  in  in
315  [field(k0, d, Ty.ShapeExt(dd, d'))]  [field(k0, d, Ty.ShapeExt(dd, d'))]
316  -->Ty.realTy  (*-->Ty.realTy*)
317    --> field(k0, d, Ty.Shape[])
318    
319  (*field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))*)  (*field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))*)
320  end))  end))
321    

Legend:
Removed from v.2515  
changed lines
  Added in v.2522

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