Moved wrapProcSeq into the TestUtils module
This commit is contained in:
parent
3b166490f1
commit
f4ff507543
|
@ -26,10 +26,6 @@ import CheckFramework
|
||||||
import Metadata
|
import Metadata
|
||||||
import TestUtils
|
import TestUtils
|
||||||
|
|
||||||
wrapProcSeq :: A.Structured A.Process -> A.AST
|
|
||||||
wrapProcSeq x = A.Spec emptyMeta (A.Specification emptyMeta (simpleName "foo")
|
|
||||||
$ A.Proc emptyMeta A.PlainSpec [] $ A.Seq emptyMeta x) (A.Several emptyMeta [])
|
|
||||||
|
|
||||||
testUnusedVar :: Test
|
testUnusedVar :: Test
|
||||||
testUnusedVar = TestList
|
testUnusedVar = TestList
|
||||||
[
|
[
|
||||||
|
|
|
@ -108,6 +108,12 @@ testCheck config property =
|
||||||
--}}}
|
--}}}
|
||||||
--{{{ building AST fragments and patterns
|
--{{{ building AST fragments and patterns
|
||||||
|
|
||||||
|
-- | Wraps a structured process into a complete AST fragment.
|
||||||
|
wrapProcSeq :: A.Structured A.Process -> A.AST
|
||||||
|
wrapProcSeq x = A.Spec emptyMeta (A.Specification emptyMeta (simpleName "foo")
|
||||||
|
$ A.Proc emptyMeta A.PlainSpec [] $ A.Seq emptyMeta x) (A.Several emptyMeta [])
|
||||||
|
|
||||||
|
|
||||||
-- | Helper function to generate an array dimension.
|
-- | Helper function to generate an array dimension.
|
||||||
dimension :: Int -> A.Dimension
|
dimension :: Int -> A.Dimension
|
||||||
dimension n = makeDimension emptyMeta n
|
dimension n = makeDimension emptyMeta n
|
||||||
|
|
Loading…
Reference in New Issue
Block a user