From 556f637cf61405d8e9bf0a4b5a8a628a547ba797 Mon Sep 17 00:00:00 2001
From: Nicolas PENELOUX <nicolas.peneloux@free.fr>
Date: Tue, 24 Oct 2023 16:44:19 +0200
Subject: [PATCH] fix infix application

---
 flap/src/hopix/hopixParser.mly | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/flap/src/hopix/hopixParser.mly b/flap/src/hopix/hopixParser.mly
index 92772d3..cd1cec1 100644
--- a/flap/src/hopix/hopixParser.mly
+++ b/flap/src/hopix/hopixParser.mly
@@ -21,6 +21,7 @@
 %left LPAREN
 %left let1
 
+
 %left FUN
 %left STRING
 %left INT CID CHAR WHILE
@@ -44,6 +45,7 @@
 %left SLASH STAR
 
 %left fun1
+%left app1
 
 
 %%
@@ -343,7 +345,7 @@ expression:
     Fun(FunctionDefinition(p, e))
   }
 /* Application */
-| e1=located(expression) e2=located(expression) {
+| e1=located(expression) e2=located(expression) %prec app1 {
     Apply(e1, e2)
   }