|
|
@@ -84,11 +84,12 @@ decl:
|
|
|
|
|
|
(* global variable declaration: use location of variable name *)
|
|
|
| EXTERN ctype=basic_type name=ID SEMICOL
|
|
|
- { GlobalDec (ctype, name, loc $startpos $endpos) }
|
|
|
+ { let nameloc = loc $startpos(name) $endpos(name) in
|
|
|
+ GlobalDec (ctype, name, nameloc) }
|
|
|
|
|
|
| EXTERN ctype=basic_type LBRACK dims=dimlist RBRACK name=ID SEMICOL
|
|
|
- { let loc = loc $startpos(name) $endpos(name) in
|
|
|
- GlobalDec (ArrayDims (ctype, List.rev dims), name, loc) }
|
|
|
+ { let nameloc = loc $startpos(name) $endpos(name) in
|
|
|
+ GlobalDec (ArrayDims (ctype, List.rev dims), name, nameloc) }
|
|
|
|
|
|
| export=boption(EXPORT) ctype=basic_type name=ID SEMICOL
|
|
|
{ let loc = loc $startpos(name) $endpos(name) in
|