From 27ed7ebddbfe334dbe1543b8b4ee1c3fb33cb55e Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 25 Oct 2023 00:22:43 +0200 Subject: [PATCH] NO CONFLICT --- flap/src/hopix/hopixParser.mly | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/flap/src/hopix/hopixParser.mly b/flap/src/hopix/hopixParser.mly index ca58a5f..88a5908 100644 --- a/flap/src/hopix/hopixParser.mly +++ b/flap/src/hopix/hopixParser.mly @@ -17,6 +17,7 @@ %start program +%left constr %left LPAREN %left STRING @@ -288,15 +289,13 @@ simple_expression: (* S'il y a qu'1 élément, alors c'est juste une expression *) match el with | [alone] -> Position.value alone | _ -> Tuple(el) } - mid_expression: | e=simple_expression { e } -/* Tagged Value - Construction d'une donnée - * TODO: Conflict shift/reduce sur le expr_list */ -| const=located(constructor) tl=option(type_list) el=optionlist(expr_list) { - Tagged(const, tl, el) +/* Tagged Value - Déclaration d'une donnée */ +| const=located(constructor) tl=option(type_list) %prec constr { + Tagged(const, tl, []) } /* Application */ | e1=located(mid_expression) e2=located(mid_expression) %prec app1 { @@ -315,6 +314,7 @@ mid_expression: Record(l, tl) } + expression: | e=mid_expression { e @@ -328,6 +328,10 @@ expression: | LPAREN RPAREN { Tuple([]) } +/* Tagged Value - Construction d'une donnée */ +| const=located(constructor) tl=option(type_list) el=expr_list { + Tagged(const, tl, el) + } /* Sequence - Séquencement */ | e=located(expression) SEMICOLON e2=located(expression) { Sequence([e; e2])