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

SCM Repository

[diderot] Diff of /trunk/src/compiler/ast/type-util.sml
ViewVC logotype

Diff of /trunk/src/compiler/ast/type-util.sml

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

revision 240, Fri Aug 6 04:59:16 2010 UTC revision 241, Fri Aug 6 14:07:20 2010 UTC
# Line 69  Line 69 
69            (* end case *))            (* end case *))
70    
71      and pruneShape shape = (case shape      and pruneShape shape = (case shape
72             of Ty.ShapeVar(Ty.SV{bind=ref(SOME shape), ...}) => pruneShape shape             of Ty.Shape dd => Ty.Shape(List.map pruneDim dd)
73                | Ty.ShapeVar(Ty.SV{bind=ref(SOME shape), ...}) => pruneShape shape
74              | Ty.ShapeExt(shape, dim) => Ty.shapeExt(pruneShape shape, pruneDim dim)              | Ty.ShapeExt(shape, dim) => Ty.shapeExt(pruneShape shape, pruneDim dim)
75              | _ => shape              | _ => shape
76            (* end case *))            (* end case *))

Legend:
Removed from v.240  
changed lines
  Added in v.241

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