2014: match_expr: 2015: | MATCH expr WITH matchings ENDMATCH 2016: { 2017: `AST_match (rstoken $1 $5, ($2, $4)) 2018: } 2019: matchings: 2020: | matching matchings { $1 :: $2 } 2021: | matching { [$1] } 2022: matching: 2023: | VBAR pattern EQRIGHTARROW expr { $2, $4 } 2024: | VBAR EQRIGHTARROW expr { let sr = rstoken $1 $2 in `PAT_none sr, $3 } 2025: