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

SCM Repository

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

Diff of /branches/vis15/src/compiler/ast/type-util.sml

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

revision 3431, Sat Nov 14 14:03:58 2015 UTC revision 3807, Tue May 3 20:48:51 2016 UTC
# Line 241  Line 241 
241    
242      fun shapeToString shape = (case pruneShape shape      fun shapeToString shape = (case pruneShape shape
243             of Ty.Shape shape => concat["[", listToString dimToString "," shape, "]"]             of Ty.Shape shape => concat["[", listToString dimToString "," shape, "]"]
244              | Ty.ShapeVar sv => MV.shapeVarToString sv              | Ty.ShapeVar sv => concat["[", MV.shapeVarToString sv, "]"]
245              | Ty.ShapeExt(shape, d) => let              | Ty.ShapeExt(shape, d) => let
246                  fun toS (Ty.Shape shape) = (listToString dimToString "," shape) ^ ","                  fun toS (Ty.Shape shape) = (listToString dimToString "," shape) ^ ","
247                    | toS (Ty.ShapeVar sv) = MV.shapeVarToString sv ^ ";"                    | toS (Ty.ShapeVar sv) = MV.shapeVarToString sv ^ ";"
248                    | toS (Ty.ShapeExt(shape, d)) = concat[toS shape, dimToString d, ","]                    | toS (Ty.ShapeExt(shape, d)) = concat[toS shape, dimToString d, ","]
249                  in                  in
250                    toS shape ^ dimToString d                    concat["[", toS shape, dimToString d, "]"]
251                  end                  end
252            (* end case *))            (* end case *))
253    

Legend:
Removed from v.3431  
changed lines
  Added in v.3807

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