Removed the GenericUtils module, now that everything uses Polyplate instead
This commit is contained in:
parent
b0a34eb3a8
commit
4672675ba8
|
@ -164,7 +164,6 @@ tock_SOURCES_hs += checks/UsageCheckUtils.hs
|
|||
tock_SOURCES_hs += common/Errors.hs
|
||||
tock_SOURCES_hs += common/EvalConstants.hs
|
||||
tock_SOURCES_hs += common/EvalLiterals.hs
|
||||
tock_SOURCES_hs += common/GenericUtils.hs
|
||||
tock_SOURCES_hs += common/Intrinsics.hs
|
||||
tock_SOURCES_hs += common/Pattern.hs
|
||||
tock_SOURCES_hs += common/PrettyShow.hs
|
||||
|
|
|
@ -42,7 +42,6 @@ import Errors
|
|||
import FlowAlgorithms
|
||||
import FlowGraph
|
||||
import FlowUtils
|
||||
import GenericUtils
|
||||
import Metadata
|
||||
import Pass
|
||||
import Traversal
|
||||
|
|
|
@ -25,7 +25,6 @@ import Data.Generics
|
|||
import Test.HUnit hiding (State)
|
||||
|
||||
import qualified AST as A
|
||||
import GenericUtils
|
||||
import Metadata
|
||||
import TreeUtils
|
||||
import Types
|
||||
|
@ -125,34 +124,10 @@ testDecomp = TestList
|
|||
data NotPartOfAST = NotPartOfAST Int
|
||||
deriving (Show, Typeable, Data)
|
||||
|
||||
-- | Test 'typeContains'.
|
||||
testTypeContains :: Test
|
||||
testTypeContains = TestList
|
||||
[
|
||||
-- AST elements that it should know about
|
||||
test 0 True (undefined :: A.AST) (undefined :: Meta)
|
||||
, test 1 False (undefined :: Meta) (undefined :: A.AST)
|
||||
, test 2 True (undefined :: A.Process) (undefined :: A.Name)
|
||||
, test 3 False (undefined :: A.AbbrevMode) (undefined :: A.Formal)
|
||||
, test 4 False (undefined :: String) (undefined :: Meta)
|
||||
, test 5 True (undefined :: String) (undefined :: Char)
|
||||
|
||||
-- Things outside the AST
|
||||
, test 100 True (NotPartOfAST 42) (undefined :: String)
|
||||
, test 101 False (undefined :: String) (NotPartOfAST 42)
|
||||
]
|
||||
where
|
||||
test :: (Show a, Data a, Typeable a, Show b, Data b, Typeable b) =>
|
||||
Int -> Bool -> a -> b -> Test
|
||||
test n exp start find
|
||||
= TestCase $ assertEqual ("testTypeContains " ++ show n)
|
||||
exp (containsTypes start [typeKey find])
|
||||
|
||||
--Returns the list of tests:
|
||||
tests :: Test
|
||||
tests = TestLabel "CommonTest" $ TestList
|
||||
[ testIsSafeConversion
|
||||
, testCheckTreeForConstr
|
||||
, testDecomp
|
||||
, testTypeContains
|
||||
]
|
||||
|
|
|
@ -35,7 +35,6 @@ import Test.QuickCheck
|
|||
|
||||
import qualified AST as A
|
||||
import FlowGraph
|
||||
import GenericUtils
|
||||
import Metadata
|
||||
import PrettyShow
|
||||
import TestFramework
|
||||
|
|
|
@ -26,7 +26,6 @@ import Data.Graph.Inductive hiding (run)
|
|||
|
||||
import qualified AST as A
|
||||
import Data.Generics.Polyplate.Route
|
||||
import GenericUtils
|
||||
import Metadata
|
||||
import TreeUtils
|
||||
import Utils
|
||||
|
|
|
@ -34,7 +34,6 @@ import Data.Generics.Polyplate.Schemes
|
|||
|
||||
|
||||
import qualified AST as A
|
||||
import GenericUtils
|
||||
import NavAST()
|
||||
import NavASTSpine()
|
||||
import Pass
|
||||
|
|
|
@ -34,7 +34,6 @@ import FlowAlgorithms
|
|||
import FlowGraph
|
||||
import FlowUtils
|
||||
import GenericUtils
|
||||
import Intrinsics
|
||||
import Metadata
|
||||
import Pass
|
||||
import ShowCode
|
||||
|
|
Loading…
Reference in New Issue
Block a user