SCM Repository
Diff of /trunk/src/compiler/ast/type-util.sml
Parent Directory
| 
Revision Log
| 
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 *)) |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
