784: const_def: 785: | CONST NAME tvarlist COLON expr EQUAL code_spec requires_clause SEMI 786: { 787: `AST_const_decl 788: ( 789: rstoken $1 $9, 790: snd $2, 791: $3, 792: typecode_of_expr $5, 793: $7, $8 794: ) 795: } 796: 797: | CONST NAME tvarlist COLON expr requires_clause SEMI 798: { 799: let sr = rstoken $1 $7 in 800: `AST_const_decl 801: ( 802: sr, 803: snd $2, 804: $3, 805: typecode_of_expr $5, 806: `Str (snd $2), $6 807: ) 808: } 809: 810: