178 |
|
|
179 |
Type : "image" "<" Dimensions ">" |
Type : "image" "<" Dimensions ">" |
180 |
=> (markTy(FULL_SPAN, PT.T_Image Dimensions)) |
=> (markTy(FULL_SPAN, PT.T_Image Dimensions)) |
|
| "tensor" "<" Dimensions ">" |
|
|
=> (markTy(FULL_SPAN, PT.T_Tensor Dimensions)) |
|
181 |
| "field" "#" Dimension "<" Dimensions ">" |
| "field" "#" Dimension "<" Dimensions ">" |
182 |
=> (markTy(FULL_SPAN, PT.T_Field(Dimension, Dimensions))) |
=> (markTy(FULL_SPAN, PT.T_Field(Dimension, Dimensions))) |
183 |
| "kernel" "#" Dimension |
| "kernel" "#" Dimension |
184 |
=> (markTy(FULL_SPAN, PT.T_Kernel Dimension)) |
=> (markTy(FULL_SPAN, PT.T_Kernel Dimension)) |
185 |
|
| ValueType |
186 |
|
=> (ValueType) |
187 |
|
; |
188 |
|
|
189 |
|
ValueType |
190 |
|
: "tensor" "<" Dimensions ">" |
191 |
|
=> (markTy(FULL_SPAN, PT.T_Tensor Dimensions)) |
192 |
| "vec" "<" Dimension ">" |
| "vec" "<" Dimension ">" |
193 |
=> (markTy(FULL_SPAN, PT.T_Vec Dimension)) |
=> (markTy(FULL_SPAN, PT.T_Vec Dimension)) |
194 |
| "bool" |
| "bool" |
272 |
of NONE => markExpr(FULL_SPAN, PT.E_Var ID) |
of NONE => markExpr(FULL_SPAN, PT.E_Var ID) |
273 |
| SOME args => markExpr(FULL_SPAN, PT.E_Apply(ID, args)) |
| SOME args => markExpr(FULL_SPAN, PT.E_Apply(ID, args)) |
274 |
(* end case *)) |
(* end case *)) |
275 |
|
| ValueType "(" Arguments ")" |
276 |
|
=> (markExpr(FULL_SPAN, PT.E_Cons(ValueType, Arguments))) |
277 |
| POSINT |
| POSINT |
278 |
=> (markExpr(FULL_SPAN, PT.E_Lit(L.Int POSINT))) |
=> (markExpr(FULL_SPAN, PT.E_Lit(L.Int POSINT))) |
279 |
| NEGINT |
| NEGINT |