diff --git a/Makefile.am b/Makefile.am index dcc6a33..a8745a6 100644 --- a/Makefile.am +++ b/Makefile.am @@ -145,7 +145,7 @@ tocktest_SOURCES += TestMain.hs tocktest_SOURCES += backends/BackendPassesTest.hs tocktest_SOURCES += backends/GenerateCTest.hs tocktest_SOURCES += checks/ArrayUsageCheckTest.hs -tocktest_SOURCES += checks/RainUsageCheckTest.hs +tocktest_SOURCES += checks/UsageCheckTest.hs tocktest_SOURCES += common/CommonTest.hs tocktest_SOURCES += common/FlowGraphTest.hs tocktest_SOURCES += common/TestFramework.hs diff --git a/TestMain.hs b/TestMain.hs index 4146e9f..1972c82 100644 --- a/TestMain.hs +++ b/TestMain.hs @@ -36,7 +36,7 @@ with this program. If not, see . -- -- * "RainTypesTest" -- --- * "RainUsageCheckTest" +-- * "UsageCheckTest" module TestMain () where import Control.Monad @@ -54,7 +54,7 @@ import qualified ParseRainTest (tests) import qualified PassTest (tests) import qualified RainPassesTest (tests) import qualified RainTypesTest (tests) -import qualified RainUsageCheckTest (tests) +import qualified UsageCheckTest (tests) import TestUtils import Utils @@ -129,7 +129,7 @@ main = do (opts, nonOpts, errs) <- getArgs >>* getOpt RequireOrder options ,noqc PassTest.tests ,noqc RainPassesTest.tests ,noqc RainTypesTest.tests - ,noqc RainUsageCheckTest.tests + ,noqc UsageCheckTest.tests ] noqc :: Test -> IO (Test, [LabelledQuickCheckTest]) diff --git a/checks/RainUsageCheckTest.hs b/checks/UsageCheckTest.hs similarity index 99% rename from checks/RainUsageCheckTest.hs rename to checks/UsageCheckTest.hs index de5c176..392789e 100644 --- a/checks/RainUsageCheckTest.hs +++ b/checks/UsageCheckTest.hs @@ -16,7 +16,7 @@ You should have received a copy of the GNU General Public License along with this program. If not, see . -} -module RainUsageCheckTest (tests) where +module UsageCheckTest (tests) where import Control.Monad.Identity import Data.Graph.Inductive