From 0d5e045671c2a884cc38240f69db334fa175b7d2 Mon Sep 17 00:00:00 2001
From: dsac <arnaud@dabyseesaram.info>
Date: Thu, 15 Dec 2022 22:07:16 +0100
Subject: [PATCH] [parser] foirbid calling auxiliary nodes with no arguments

---
 src/parser.mly | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/parser.mly b/src/parser.mly
index 7cd039a..f8660d5 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -386,6 +386,9 @@ expr:
   /* Tuples */
   | LPAREN expr_comma_list RPAREN      { $2 }
   /* Applications */
+  | IDENT LPAREN RPAREN
+      { raise (MyParsingError ("An application should come with arguments!",
+                      current_location())) }
   | IDENT LPAREN expr_comma_list RPAREN
       { let name = $1 in
         let node = fetch_node name in