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

SCM Repository

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

Diff of /branches/chiw17/src/compiler/simple/simple-types.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 38  Line 38 
38  dim : dim,                    (* dimension of domain (2D or 3D field) *)  dim : dim,                    (* dimension of domain (2D or 3D field) *)
39  shape : shape                 (* shape of tensors in range; order is length of list *)  shape : shape                 (* shape of tensors in range; order is length of list *)
40  }  }
41  | T_Poly of {  | T_OField of {
42  diff : diff,                  (* number of levels of differentiation supported *)  diff : diff,                  (* number of levels of differentiation supported *)
43  dim : dim,                    (* dimension of domain (2D or 3D field) *)  dim : dim,                    (* dimension of domain (2D or 3D field) *)
44  shape : shape                 (* shape of tensors in range; order is length of list *)  shape : shape                 (* shape of tensors in range; order is length of list *)
# Line 77  Line 77 
77                  (k1 = k2) andalso (d1 = d2) andalso ListPair.allEq (op =) (shp1, shp2)                  (k1 = k2) andalso (d1 = d2) andalso ListPair.allEq (op =) (shp1, shp2)
78  | (T_Mesh{diff=k1, dim=d1, shape=shp1}, T_Mesh{diff=k2, dim=d2, shape=shp2}) =>  | (T_Mesh{diff=k1, dim=d1, shape=shp1}, T_Mesh{diff=k2, dim=d2, shape=shp2}) =>
79  (k1 = k2) andalso (d1 = d2) andalso ListPair.allEq (op =) (shp1, shp2)  (k1 = k2) andalso (d1 = d2) andalso ListPair.allEq (op =) (shp1, shp2)
80  | (T_Poly{diff=k1, dim=d1, shape=shp1}, T_Poly{diff=k2, dim=d2, shape=shp2}) =>  | (T_OField{diff=k1, dim=d1, shape=shp1}, T_OField{diff=k2, dim=d2, shape=shp2}) =>
81  (k1 = k2) andalso (d1 = d2) andalso ListPair.allEq (op =) (shp1, shp2)  (k1 = k2) andalso (d1 = d2) andalso ListPair.allEq (op =) (shp1, shp2)
82              | _ => false              | _ => false
83            (* end case *))            (* end case *))
# Line 108  Line 108 
108  "mesh#", Int.toString diff, "(", Int.toString dim,  "mesh#", Int.toString diff, "(", Int.toString dim,
109  ")[", shapeToString shape, "]"  ")[", shapeToString shape, "]"
110  ]  ]
111  | T_Poly{diff, dim, shape} => concat[  | T_OField{diff, dim, shape} => concat[
112  "poly#", Int.toString diff, "(", Int.toString dim,  "poly#", Int.toString diff, "(", Int.toString dim,
113  ")[", shapeToString shape, "]"  ")[", shapeToString shape, "]"
114  ]  ]

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