From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 11 Jul 2013 04:13:01 +0000 (-0400)
Subject: Prune some unused code from the test suite
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=e54bef60c77eefc94ce7307c2efa316622c2a3e7;p=dyna2

Prune some unused code from the test suite
---

diff --git a/src/Dyna/Analysis/Mode/Selftest/Contexts.hs b/src/Dyna/Analysis/Mode/Selftest/Contexts.hs
index 2a3bf27..b6c9218 100644
--- a/src/Dyna/Analysis/Mode/Selftest/Contexts.hs
+++ b/src/Dyna/Analysis/Mode/Selftest/Contexts.hs
@@ -137,7 +137,4 @@ prop_alias_unifyVF = unifProp nWFN' alias_unifyVF gold
 selftest :: TF.Test
 selftest = moreTries 1000 $(testGroupGenerator)
 
-main :: IO ()
-main = $(defaultMainGenerator)
-
 ------------------------------------------------------------------------}}}
diff --git a/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs b/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs
index 300d32a..f5b273e 100644
--- a/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs
+++ b/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs
@@ -168,6 +168,3 @@ prop_call_test_sufficient i1 i2 = nWFN' i1 && nWFN' i2 && nSub i1 i2
 
 selftest :: TF.Test
 selftest = moreTries 5000 $(testGroupGenerator)
-
-main :: IO ()
-main = TF.defaultMain [selftest]
diff --git a/src/Dyna/Backend/Python/Selftest.hs b/src/Dyna/Backend/Python/Selftest.hs
index abd4a3f..d348240 100644
--- a/src/Dyna/Backend/Python/Selftest.hs
+++ b/src/Dyna/Backend/Python/Selftest.hs
@@ -91,9 +91,6 @@ test_End_To_End = map mkExample
 selftest :: TF.Test
 selftest = $(testGroupGenerator)
 
-main :: IO ()
-main = $(defaultMainGenerator)
-
 -- If you're running from within GHCi and just want to do something quickly,
 -- try
 --
diff --git a/src/Dyna/ParserHS/Selftest.hs b/src/Dyna/ParserHS/Selftest.hs
index 9349436..2d8b7f4 100644
--- a/src/Dyna/ParserHS/Selftest.hs
+++ b/src/Dyna/ParserHS/Selftest.hs
@@ -543,7 +543,4 @@ prop_pragma_roundtrip =
 selftest :: TF.Test
 selftest = $(testGroupGenerator)
 
-main :: IO ()
-main = $(defaultMainGenerator)
-
 ------------------------------------------------------------------------}}}
diff --git a/src/Dyna/XXX/TrifectaTests.hs b/src/Dyna/XXX/TrifectaTests.hs
index 1ebc850..35aefd2 100644
--- a/src/Dyna/XXX/TrifectaTests.hs
+++ b/src/Dyna/XXX/TrifectaTests.hs
@@ -67,6 +67,3 @@ case_interactMany = successInteract pa "aa" ["", "(a", "", "a)", ""]
 
 selftest :: TF.Test
 selftest = $(testGroupGenerator)
-
-main :: IO ()
-main = $(defaultMainGenerator)