Add a 'Fact' test case to the parser selftest

While here, silence a warning from Dyna.XXX.TrifectaTest

diff --git a/src/Dyna/ParserHS/Selftest.hs b/src/Dyna/ParserHS/Selftest.hs
index 1d5a935f3257f182d2ef7b1cf7e2198ac644873b..76a3b196e92230688c1c548f995d40adb140da86 100644 (file)
--- a/src/Dyna/ParserHS/Selftest.hs
+++ b/src/Dyna/ParserHS/Selftest.hs
@@ -163,6 +163,14 @@ progline = unsafeParse dline
 proglines :: ByteString -> [Spanned Line]
 proglines = unsafeParse dlines
 
+case_ruleFact :: Assertion
+case_ruleFact = e @=? (progline sr)
+ where
+  e  = LRule (Fact (TFunctor "goal" [] :~ Span (Columns 0 0) (Columns 4 4) "goal.")
+                     :~ Span (Columns 0 0) (Columns 4 4) "goal.")
+         :~ Span (Columns 0 0) (Columns 4 4) "goal."
+  sr = "goal."
+
 case_ruleSimple :: Assertion
 case_ruleSimple = e @=? (progline sr)
  where

diff --git a/src/Dyna/XXX/TrifectaTest.hs b/src/Dyna/XXX/TrifectaTest.hs
index f4e41056e9f562630844a07ad48d983a1a4d705e..38f863fad851b7fb2ca29c3d9434db72694df240 100644 (file)
--- a/src/Dyna/XXX/TrifectaTest.hs
+++ b/src/Dyna/XXX/TrifectaTest.hs
@@ -13,7 +13,7 @@ unsafeFS (Success a) = a
 unsafeFS (Failure td) = error $ "Errors: " ++ show td
 
 unsafeFF :: String -> Result t -> Assertion
-unsafeFF e (Success _) = error $ "Unexpected success"
+unsafeFF _ (Success _) = error $ "Unexpected success"
 unsafeFF e (Failure td) = e @=? show td
 
 unsafeParse :: (Show a) => (Parser a) -> ByteString -> a