| 427 | } |
| 428 | |
| 429 | static std::shared_ptr<Pattern> maybe_collapse_to_either(PatternList&& seq) |
| 430 | { |
| 431 | if (seq.size()==1) { |
| 432 | return std::move(seq[0]); |
| 433 | } |
| 434 | return std::make_shared<Either>(std::move(seq)); |
| 435 | } |
| 436 | |
| 437 | PatternList parse_expr(Tokens& tokens, std::vector<Option>& options) |
| 438 | { |