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 2a3bf278cee654cb388f778ceb3a282e15968b33..b6c9218c23ce6a9a4812e9656db4f3c1047c0955 100644 (file)
--- 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 300d32adbdf866584fe26405d213bb73146b3b1a..f5b273e06359504b630bf2b28cd7918675b724e3 100644 (file)
--- 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 abd4a3fbcc80c543d3f75fc42fb40d9edaf0c693..d3482402afeb0df17ffb24fe0c7a9a1a688c9951 100644 (file)
--- 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 93494366ae1b2b8a9618336415ec30a0a1188b6b..2d8b7f40c1f120a999df6f2d2a251c0c3be0ff3b 100644 (file)
--- 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 1ebc850ab57d9f74d1332aee59c1f4f5646f9fa1..35aefd277f2a7db00a3361318bab82179b22f846 100644 (file)
--- 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)