From d9fd965b3b80a72c5b70ef6ef48548e8732edd5b Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Tue, 24 Oct 2023 20:25:22 +0200
Subject: [PATCH] fmt

---
 flap/src/hopix/hopixParser.mly | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/flap/src/hopix/hopixParser.mly b/flap/src/hopix/hopixParser.mly
index 80e38e5..91b4e37 100644
--- a/flap/src/hopix/hopixParser.mly
+++ b/flap/src/hopix/hopixParser.mly
@@ -103,7 +103,6 @@ tdefinition:
   }
 
 list_constructor_and_their_ty:
-// TODO: C'est pas sensé être en option list_ty ici?
 | c=located(constructor) t=optionlist(list_ty) {
     (c, t)
   }
@@ -168,11 +167,11 @@ simple_pattern:
   }
 /* N-uplets ou parenthésage */
 | LPAREN RPAREN {
-  PTuple([])
-}
+    PTuple([])
+  }
 | l=pattern_list {
-  match l with | [alone] -> Position.value alone | _ -> PTuple(l)
-}
+    match l with | [alone] -> Position.value alone | _ -> PTuple(l)
+  }
 
 
 /* Annotation de type */
@@ -346,7 +345,7 @@ expression:
     Define(vd, e)
   }
 /* Fonction anonyme */
-| BACKSLASH p=located(pattern) ARROW e=located(expression){
+| BACKSLASH p=located(pattern) ARROW e=located(expression) {
     Fun(FunctionDefinition(p, e))
   }
 /* Application */