From 659f1a9d33761976fb52a2c446317e8aff2141c4 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Sun, 13 Dec 2020 20:31:48 +0000
Subject: [PATCH] Parse until eof

---
 src/Propa/Prolog/Parse.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Propa/Prolog/Parse.hs b/src/Propa/Prolog/Parse.hs
index f26a2ac..3a239ef 100644
--- a/src/Propa/Prolog/Parse.hs
+++ b/src/Propa/Prolog/Parse.hs
@@ -72,7 +72,7 @@ pDefs = many pDef
 parseHelper :: Parser a -> FilePath -> T.Text -> Either T.Text a
 parseHelper p path input
   = first (T.pack . errorBundlePretty)
-  $ parse (space *> p) path input
+  $ parse (space *> p <* eof) path input
 
 parseTerms :: FilePath -> T.Text -> Either T.Text [Term T.Text]
 parseTerms = parseHelper pTerms