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 3990, Fri Jun 17 21:27:47 2016 UTC revision 3991, Fri Jun 17 21:28:31 2016 UTC
# Line 303  Line 303 
303            in            in
304              Ty.T_Tensor(Ty.Shape(ListPair.foldr f [] (l, mask)))              Ty.T_Tensor(Ty.Shape(ListPair.foldr f [] (l, mask)))
305            end            end
306          | slice (Ty.T_Field{shape as Ty.Shape l,diff,dim}, mask) = let
307              fun q (d, true, dd) = dd
308                | q (d, false, dd) = d::dd
309              in
310                Ty.T_Field{diff=diff, dim=dim, shape= Ty.Shape (ListPair.foldr q [] (l, mask))}
311              end
312        | slice (ty, _) = raise Fail(concat["slice(", toString ty, ", _)"])        | slice (ty, _) = raise Fail(concat["slice(", toString ty, ", _)"])
313    
314    (* convert to fully resolved monomorphic forms *)    (* convert to fully resolved monomorphic forms *)

Legend:
Removed from v.3990  
changed lines
  Added in v.3991

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