Skip to content

Commit

Permalink
update syntax
Browse files Browse the repository at this point in the history
  • Loading branch information
liweijian committed Sep 20, 2023
1 parent 8b90a0d commit 523dc48
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions parser.mly
Original file line number Diff line number Diff line change
Expand Up @@ -324,6 +324,8 @@ simple_pattern:
| CHAR {}
| INT {}
| FLOAT {}
| "-" INT {}
| "-" FLOAT {}
| STRING {}
| UNDERSCORE {}
| b=binder {}
Expand Down

0 comments on commit 523dc48

Please sign in to comment.