From efc69a97cf50a1d702b51cd2b4e462830faf4215 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 28 Jan 2008 12:25:00 +0000
Subject: [PATCH] Moved all the modules related to usage-checking into a new
 checks directory

---
 Makefile.am                                        | 14 +++++++-------
 {transformations => checks}/ArrayUsageCheck.hs     |  0
 {transformations => checks}/ArrayUsageCheckTest.hs |  0
 {transformations => checks}/Omega.hs               |  0
 {transformations => checks}/RainUsageCheck.hs      |  0
 {transformations => checks}/RainUsageCheckTest.hs  |  0
 {transformations => checks}/UsageCheck.hs          |  0
 7 files changed, 7 insertions(+), 7 deletions(-)
 rename {transformations => checks}/ArrayUsageCheck.hs (100%)
 rename {transformations => checks}/ArrayUsageCheckTest.hs (100%)
 rename {transformations => checks}/Omega.hs (100%)
 rename {transformations => checks}/RainUsageCheck.hs (100%)
 rename {transformations => checks}/RainUsageCheckTest.hs (100%)
 rename {transformations => checks}/UsageCheck.hs (100%)

diff --git a/Makefile.am b/Makefile.am
index 16a5b26..ad687b6 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -3,7 +3,7 @@ GHC_OPTS = \
 	-fwarn-unused-binds \
 	-fwarn-unused-imports \
 	-fwarn-type-defaults \
-	-icommon -itransformations -ifrontends -ibackends
+	-ibackends -ichecks -icommon -ifrontends -itransformations
 
 if GHC68
 GHC_OPTS += -XUndecidableInstances -fwarn-tabs -fwarn-monomorphism-restriction
@@ -82,6 +82,10 @@ tock_SOURCES_hs += backends/BackendPasses.hs
 tock_SOURCES_hs += backends/GenerateC.hs
 tock_SOURCES_hs += backends/GenerateCPPCSP.hs
 tock_SOURCES_hs += backends/TLP.hs
+tock_SOURCES_hs += checks/ArrayUsageCheck.hs
+tock_SOURCES_hs += checks/Omega.hs
+tock_SOURCES_hs += checks/RainUsageCheck.hs
+tock_SOURCES_hs += checks/UsageCheck.hs
 tock_SOURCES_hs += common/AST.hs
 tock_SOURCES_hs += common/CompState.hs
 tock_SOURCES_hs += common/Errors.hs
@@ -107,15 +111,11 @@ tock_SOURCES_hs += frontends/PreprocessOccam.hs
 tock_SOURCES_hs += frontends/RainPasses.hs
 tock_SOURCES_hs += frontends/RainTypes.hs
 tock_SOURCES_hs += frontends/StructureOccam.hs
-tock_SOURCES_hs += transformations/ArrayUsageCheck.hs
-tock_SOURCES_hs += transformations/Omega.hs
-tock_SOURCES_hs += transformations/RainUsageCheck.hs
 tock_SOURCES_hs += transformations/SimplifyComms.hs
 tock_SOURCES_hs += transformations/SimplifyExprs.hs
 tock_SOURCES_hs += transformations/SimplifyProcs.hs
 tock_SOURCES_hs += transformations/SimplifyTypes.hs
 tock_SOURCES_hs += transformations/Unnest.hs
-tock_SOURCES_hs += transformations/UsageCheck.hs
 
 tock_SOURCES = $(tock_SOURCES_hs) frontends/LexOccam.x frontends/LexRain.x
 
@@ -123,6 +123,8 @@ tocktest_SOURCES = $(tock_SOURCES)
 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 += common/CommonTest.hs
 tocktest_SOURCES += common/FlowGraphTest.hs
 tocktest_SOURCES += common/TestHarness.hs
@@ -130,9 +132,7 @@ tocktest_SOURCES += common/TestUtils.hs
 tocktest_SOURCES += frontends/ParseRainTest.hs
 tocktest_SOURCES += frontends/RainPassesTest.hs
 tocktest_SOURCES += frontends/RainTypesTest.hs
-tocktest_SOURCES += transformations/ArrayUsageCheckTest.hs
 tocktest_SOURCES += transformations/PassTest.hs
-tocktest_SOURCES += transformations/RainUsageCheckTest.hs
 
 GenTagAST_SOURCES = GenTagAST.hs
 
diff --git a/transformations/ArrayUsageCheck.hs b/checks/ArrayUsageCheck.hs
similarity index 100%
rename from transformations/ArrayUsageCheck.hs
rename to checks/ArrayUsageCheck.hs
diff --git a/transformations/ArrayUsageCheckTest.hs b/checks/ArrayUsageCheckTest.hs
similarity index 100%
rename from transformations/ArrayUsageCheckTest.hs
rename to checks/ArrayUsageCheckTest.hs
diff --git a/transformations/Omega.hs b/checks/Omega.hs
similarity index 100%
rename from transformations/Omega.hs
rename to checks/Omega.hs
diff --git a/transformations/RainUsageCheck.hs b/checks/RainUsageCheck.hs
similarity index 100%
rename from transformations/RainUsageCheck.hs
rename to checks/RainUsageCheck.hs
diff --git a/transformations/RainUsageCheckTest.hs b/checks/RainUsageCheckTest.hs
similarity index 100%
rename from transformations/RainUsageCheckTest.hs
rename to checks/RainUsageCheckTest.hs
diff --git a/transformations/UsageCheck.hs b/checks/UsageCheck.hs
similarity index 100%
rename from transformations/UsageCheck.hs
rename to checks/UsageCheck.hs