From 523dc486ce31aa7a6c15d9dc2f34105fcb81917e Mon Sep 17 00:00:00 2001 From: liweijian Date: Wed, 20 Sep 2023 17:20:05 +0800 Subject: [PATCH] update syntax --- parser.mly | 2 ++ 1 file changed, 2 insertions(+) diff --git a/parser.mly b/parser.mly index a9592aea..fa425d48 100644 --- a/parser.mly +++ b/parser.mly @@ -324,6 +324,8 @@ simple_pattern: | CHAR {} | INT {} | FLOAT {} + | "-" INT {} + | "-" FLOAT {} | STRING {} | UNDERSCORE {} | b=binder {}