From 1401d03d62a927b7714c12cd1a1b39339610f584 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Mon, 7 Oct 2019 11:53:07 +0200 Subject: [PATCH] Parser patch from Christian --- src/passes/1-parser/pascaligo/Parser.mly | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 }