970: const_def: 971: | CONST declname COLON expr EQUAL code_spec requires_clause SEMI 972: { 973: let name,vs = hd $2 in 974: let sr = rstoken $1 $8 in 975: let stmt = `AST_const_decl 976: ( 977: sr, name,vs, 978: typecode_of_expr $4, 979: $6, $7 980: ) in 981: fold_left (fun stmt (name,vs) -> `AST_namespace (sr,name,vs,[stmt])) stmt (tl $2) 982: 983: } 984: 985: | CONST declname COLON expr requires_clause SEMI 986: { 987: let name,vs = hd $2 in 988: let sr = rstoken $1 $6 in 989: let stmt = `AST_const_decl 990: ( 991: sr, name, vs, 992: typecode_of_expr $4, 993: `Str name, $5 994: ) in 995: fold_left (fun stmt (name,vs) -> `AST_namespace (sr,name,vs,[stmt])) stmt (tl $2) 996: } 997: 998: