Parser disallows declarations like "f x # y = y".

Fixes #342.
2024-12-11 07:00:49 +03:00 · 2016-06-16 17:05:59 -07:00 · 2016-06-16 17:05:59 -07:00 · 2cface6f31
commit 2cface6f31
parent 20965a0b0b
1 changed files with 1 additions and 1 deletions
--- a/src/Cryptol/Parser.y
+++ b/src/Cryptol/Parser.y
@ -334,7 +334,7 @@ var                        :: { LPName }
  | '(' op ')'                { $2 }

 apats                     :: { [Pattern PName] }
-  : ipat                   { [$1] }
+  : apat                   { [$1] }
  | apats1 apat            { $2 : $1 }

 apats1                   :: { [Pattern PName]  }