From b8a9cadc04c59aa19634291d3cf0b48788c1358a Mon Sep 17 00:00:00 2001
From: Erin <erin@erindesu.cz>
Date: Wed, 4 Oct 2023 19:02:02 +0200
Subject: [PATCH] Multiple things

---
 src/syntax/parser.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/syntax/parser.rs b/src/syntax/parser.rs
index 1fc6a1a..6e4f9ed 100644
--- a/src/syntax/parser.rs
+++ b/src/syntax/parser.rs
@@ -102,7 +102,11 @@ pub fn parse_input<'a>(
 ) -> ParseResult {
     println!(
         "{:?}",
-        definition().parse_with_state(input, &mut State { arena })
+        definition()
+            .separated_by(just(T![";"]))
+            .allow_trailing()
+            .pipe(arena_collect)
+            .parse_with_state(input, &mut State { arena })
     );
 }