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

SCM Repository

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

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

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

revision 5029, Tue Jul 11 22:38:23 2017 UTC revision 5030, Tue Jul 11 22:53:10 2017 UTC
# Line 125  Line 125 
125   dim = pruneDim dim,   dim = pruneDim dim,
126   shape = pruneShape shape   shape = pruneShape shape
127   }   }
128   | (Ty.T_Poly{diff, dim, shape}) => Ty.T_Poly{   | (Ty.T_OField{diff, dim, shape}) => Ty.T_OField{
129   diff = pruneDiff diff,   diff = pruneDiff diff,
130   dim = pruneDim dim,   dim = pruneDim dim,
131   shape = pruneShape shape   shape = pruneShape shape
# Line 210  Line 210 
210   dim = pruneDim dim,   dim = pruneDim dim,
211   shape = pruneShape shape   shape = pruneShape shape
212   }   }
213   | prune' (Ty.T_Poly{diff, dim, shape}) = Ty.T_Poly{   | prune' (Ty.T_OField{diff, dim, shape}) = Ty.T_OField{
214   diff = pruneDiff diff,   diff = pruneDiff diff,
215   dim = pruneDim dim,   dim = pruneDim dim,
216   shape = pruneShape shape   shape = pruneShape shape
# Line 349  Line 349 
349                  "mesh#", diffToString diff, "(", dimToString dim,                  "mesh#", diffToString diff, "(", dimToString dim,
350                  ")", shapeToString shape                  ")", shapeToString shape
351                  ]                  ]
352                  | Ty.T_Poly{diff, dim, shape} => concat[                  | Ty.T_OField{diff, dim, shape} => concat[
353                  "poly#", diffToString diff, "(", dimToString dim,                  "poly#", diffToString diff, "(", dimToString dim,
354                  ")", shapeToString shape                  ")", shapeToString shape
355                  ]                  ]
# Line 433  Line 433 
433                  Ty.T_Field{diff=iDiff diff, dim=iDim dim, shape=iShape shape}                  Ty.T_Field{diff=iDiff diff, dim=iDim dim, shape=iShape shape}
434              | ity (Ty.T_Mesh{diff, dim, shape}) =              | ity (Ty.T_Mesh{diff, dim, shape}) =
435                  Ty.T_Mesh{diff=iDiff diff, dim=iDim dim, shape=iShape shape}                  Ty.T_Mesh{diff=iDiff diff, dim=iDim dim, shape=iShape shape}
436              | ity (Ty.T_Poly{diff, dim, shape}) =              | ity (Ty.T_OField{diff, dim, shape}) =
437                  Ty.T_Poly{diff=iDiff diff, dim=iDim dim, shape=iShape shape}                  Ty.T_OField{diff=iDiff diff, dim=iDim dim, shape=iShape shape}
438              | ity (Ty.T_Fun(dom, rng)) = Ty.T_Fun(List.map ity dom, ity rng)              | ity (Ty.T_Fun(dom, rng)) = Ty.T_Fun(List.map ity dom, ity rng)
439              | ity Ty.T_Error = Ty.T_Error              | ity Ty.T_Error = Ty.T_Error
440            in            in

Legend:
Removed from v.5029  
changed lines
  Added in v.5030

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