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

SCM Repository

[diderot] Diff of /trunk/src/ast/types.sml
ViewVC logotype

Diff of /trunk/src/ast/types.sml

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

revision 80, Tue May 25 03:05:33 2010 UTC revision 81, Wed May 26 17:28:54 2010 UTC
# Line 48  Line 48 
48            dim : dim,            (* dimension of domain (2D or 3D field) *)            dim : dim,            (* dimension of domain (2D or 3D field) *)
49            shape : shape         (* shape of tensors in range; order is length of list *)            shape : shape         (* shape of tensors in range; order is length of list *)
50          }          }
51        | T_Fun of ty list * ty list        | T_Fun of ty list * ty
52    
53    (* type variables; the kind field restricts their range *)    (* type variables; the kind field restricts their range *)
54      and ty_var = TV of {      and ty_var = TV of {
# Line 100  Line 100 
100      val vec3Ty = vecTy 3      val vec3Ty = vecTy 3
101      val vec4Ty = vecTy 4      val vec4Ty = vecTy 4
102    
103      (* smart constructors for building normalized forms *)
104        fun shapeExt (Shape dd, d) = Shape(dd @ [d])
105          | shapeExt (shape, d) = ShapeExt(shape, d)
106    
107    end    end

Legend:
Removed from v.80  
changed lines
  Added in v.81

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