diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 26cb9df7..49878217 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -241,7 +241,8 @@ typschm = type pat_aux = (* Pattern *) P_lit of lit (* literal constant pattern *) - | P_wild (* wildcard *) + | P_wild (* wildcard - always matches *) + | P_or of ( pat * pat) (* choice pattern - P|Q matches if P matches or Q matches *) | P_typ of atyp * pat (* typed pattern *) | P_id of id (* identifier *) | P_var of pat * atyp (* bind pat to type variable *) |