1179: open_decl: 1180: | OPEN tvarlist qualified_name SEMI 1181: { 1182: let vs : vs_list_t = $2 in 1183: `AST_open (rstoken $1 $4,vs,qualified_name_of_expr $3) 1184: } 1185: 1186: use_decl: 1187: | USE qualified_name SEMI 1188: { 1189: let sr = rstoken $1 $3 in 1190: match $2 with 1191: | (`AST_lookup (_,(e,n,[])) as qn) -> `AST_use (sr,n,qualified_name_of_expr qn) 1192: | (`AST_name (_,n,_) as qn) -> `AST_use (sr,n,qualified_name_of_expr qn) 1193: | _ -> Flx_exceptions.clierr sr "Use declaration requires qualified name" 1194: } 1195: 1196: | USE NAME EQUAL qualified_name SEMI 1197: { 1198: let sr = rstoken $1 $5 in 1199: `AST_use (sr, snd $2, qualified_name_of_expr $4) 1200: } 1201: