SCM Repository
Diff of /trunk/src/compiler/high-il/high-il-types.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 425, Mon Oct 18 18:13:34 2010 UTC | revision 426, Mon Oct 18 18:49:55 2010 UTC | |
|---|---|---|
| # | Line 16 | Line 16 |
| 16 | val realTy = TensorTy[] | val realTy = TensorTy[] |
| 17 | val vec3Ty = TensorTy[3] | val vec3Ty = TensorTy[3] |
| 18 | ||
| 19 | (* smart constructor for tensor type that prunes out dimensions with size 1 *) | |
| 20 | fun tensorTy dd = TensorTy(List.mapPartial (fn 1 => NONE | d => SOME d) dd) | |
| 21 | ||
| 22 | fun same (ty1 : ty, ty2) = (ty1 = ty2) | fun same (ty1 : ty, ty2) = (ty1 = ty2) |
| 23 | ||
| 24 | fun hash BoolTy = 0w1 | fun hash BoolTy = 0w1 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
