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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/simplify/simple-types.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/simplify/simple-types.sml

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

revision 2512, Thu Nov 21 16:22:48 2013 UTC revision 2513, Thu Nov 21 16:26:45 2013 UTC
# Line 98  Line 98 
98              | Ty.T_Int => T_Int              | Ty.T_Int => T_Int
99              | Ty.T_String => T_String              | Ty.T_String => T_String
100              | Ty.T_Sequence(ty, dim) => T_Sequence(simplify ty, TU.monoDim dim)              | Ty.T_Sequence(ty, dim) => T_Sequence(simplify ty, TU.monoDim dim)
101                | Ty.T_DynSequence ty => T_DynSequence(simplify ty)
102              | Ty.T_Kernel n => T_Kernel(TU.monoDiff n)              | Ty.T_Kernel n => T_Kernel(TU.monoDiff n)
103              | Ty.T_Tensor shape => T_Tensor(TU.monoShape shape)              | Ty.T_Tensor shape => T_Tensor(TU.monoShape shape)
104              | Ty.T_Image{dim, shape} => T_Image{              | Ty.T_Image{dim, shape} => T_Image{

Legend:
Removed from v.2512  
changed lines
  Added in v.2513

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