diff --git a/src/passes/1-parser/pascaligo/Parser.mly b/src/passes/1-parser/pascaligo/Parser.mly index a1902bade..f4d25bbe5 100644 --- a/src/passes/1-parser/pascaligo/Parser.mly +++ b/src/passes/1-parser/pascaligo/Parser.mly @@ -591,7 +591,11 @@ assignment: in {region; value}} rhs: - expr { Expr $1 } + expr { + match $1 with + EConstr (NoneExpr e) -> (NoneExpr e : rhs) + | e -> Expr e + } lhs: path { Path $1 }