From 149474968eb650633cdd36c72501748dbed36867 Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Tue, 13 Nov 2012 23:25:21 -0500
Subject: [PATCH] Add a 'Fact' test case to the parser selftest

While here, silence a warning from Dyna.XXX.TrifectaTest
---
 src/Dyna/ParserHS/Selftest.hs | 8 ++++++++
 src/Dyna/XXX/TrifectaTest.hs  | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/Dyna/ParserHS/Selftest.hs b/src/Dyna/ParserHS/Selftest.hs
index 1d5a935..76a3b19 100644
--- 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 f4e4105..38f863f 100644
--- 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
-- 
2.50.1