|
@@ -75,6 +75,12 @@ and dim_reduce depth = function
|
|
|
Allocate (dec, [multiply dims], ann)
|
|
Allocate (dec, [multiply dims], ann)
|
|
|
|
|
|
|
|
(* Simplify array types in declarations *)
|
|
(* Simplify array types in declarations *)
|
|
|
|
|
+ | GlobalDef (export, ArrayDims (ctype, _), name, None, ann) ->
|
|
|
|
|
+ GlobalDef (export, Array ctype, name, None, ann)
|
|
|
|
|
+
|
|
|
|
|
+ | GlobalDef (export, ArrayDims (ctype, _), name, None, ann) ->
|
|
|
|
|
+ GlobalDef (export, Array ctype, name, None, ann)
|
|
|
|
|
+
|
|
|
| VarDec (ArrayDims (ctype, _), name, None, ann) ->
|
|
| VarDec (ArrayDims (ctype, _), name, None, ann) ->
|
|
|
VarDec (Array ctype, name, None, ann)
|
|
VarDec (Array ctype, name, None, ann)
|
|
|
|
|
|