From 70ae3ef40d87294905c583e2267229e88b753b6f Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Mon, 4 May 2026 13:15:51 +0200
Subject: [PATCH] do not ignore excess text in config lines

---
 src/Prolog/Programming/ExampleConfig.hs | 6 +++---
 src/Prolog/Programming/Parser.hs        | 5 +++--
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/Prolog/Programming/ExampleConfig.hs b/src/Prolog/Programming/ExampleConfig.hs
index 32a9eb6..8edf573 100644
--- a/src/Prolog/Programming/ExampleConfig.hs
+++ b/src/Prolog/Programming/ExampleConfig.hs
@@ -19,10 +19,10 @@ exampleConfig = Config
  * %    - For task definitions clauses that occur identically in the input program are filtered out
  * % 'no': do not include.
  * % Both default to yes
- * Include hidden definitions: [ yes | filtered ]
- * Include task definitions: [ yes | filtered | no ]
+ * % Include hidden definitions: [ yes | filtered ]
+ * % Include task definitions: [ yes | filtered | no ]
  * % allow/disallow the use of [H|T] matching on list values, defaults to 'yes' (experimental: might not recognize all instances of the pattern)
- * Allow list pattern matching: [ yes | no ]
+ * % Allow list pattern matching: [ yes | no ]
  * % prefixing a test with [<time out in ms>] sets a local timeout for that test
  * a_predicate(Foo,Bar): a_predicate(expected_foo1,expected_bar1), a_predicate(expected_foo2,expected_bar2)
  * a_statement_that_has_to_be_true
diff --git a/src/Prolog/Programming/Parser.hs b/src/Prolog/Programming/Parser.hs
index 7467d7b..efc27a7 100644
--- a/src/Prolog/Programming/Parser.hs
+++ b/src/Prolog/Programming/Parser.hs
@@ -33,14 +33,15 @@ specification = do
   pure (fromMaybe 10000 mTimeout, fromMaybe QueryStyle mStyle, fromMaybe Yes mIncTask, fromMaybe Yes mIncHidden, fromMaybe True mListMatch, specs)
   where
     parseSpecLine :: (Integer, String) -> Either ParseError (Maybe SpecLine)
-    parseSpecLine (i, s) = parse
+    parseSpecLine (i, s) = parse (
         ((Nothing <$ commentLine)
          <|> (Just <$> ((TimeoutSpec <$> try globalTimeout)
                         <|> TreeStyleSpec <$> try treeStyle
                         <|> IncludeHiddenSpec <$> try includeHidden
                         <|> IncludeTaskSpec <$> try includeTask
                         <|> ListMatchSpec <$> try allowListMatching
-                        <|> TestSpec <$> (try newPredDeclParser <|> specLine))))
+                        <|> TestSpec <$> (try newPredDeclParser <|> specLine)))
+        ) <* eof)
         ("Specification line " ++ show i) s
 
     specLine = ((\f g h i -> f . g . h . i)