suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Finished the tests for the addSizesFormalParameters pass

Browse Source
This commit is contained in:
Neil Brown 2008-03-05 22:09:51 +00:00
parent 6c629b33f7
commit 3481a3f51d
1 changed files with 16 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
backends/BackendPassesTest.hs
View File

@ -218,7 +218,7 @@ qcTestDeclareSizes =
declSizeItems _ = id
checkSizeItems :: (String, A.Type) -> CompState -> m ()
checkSizeItems (n, A.Array ds _) = checkSizes ("foo" ++ n) (valSize $ map (\(A.Dimension n) -> n) ds)
checkSizeItems (n, A.Array ds _) = checkName ("foo" ++ n) (valSize $ map (\(A.Dimension n) -> n) ds) A.ValAbbrev
checkSizeItems _ = const (return ())
declFoo :: [Int] -> (A.SpecType, A.SpecType, State CompState ())
@ -234,18 +234,8 @@ qcTestDeclareSizes =
map (A.ArrayElemExpr . A.Literal emptyMeta A.Int . A.IntLiteral emptyMeta . show) xs
checkFooSizes :: TestMonad m r => A.SpecType -> CompState -> m ()
checkFooSizes = checkSizes "foo_sizes"
checkSizes :: TestMonad m r => String -> A.SpecType -> CompState -> m ()
checkSizes n spec cs
= do nd <- case Map.lookup n (csNames cs) of
Just nd -> return nd
Nothing -> testFailure ("Could not find " ++ n) >> return undefined
testEqual "ndName" n (A.ndName nd)
testEqual "ndOrigName" n (A.ndOrigName nd)
testEqual "ndType" spec (A.ndType nd)
testEqual "ndAbbrevMode" A.ValAbbrev (A.ndAbbrevMode nd)
checkFooSizes sp = checkName "foo_sizes" sp A.ValAbbrev
term = A.Only emptyMeta ()
test :: TestMonad m r => Int -> A.Structured () -> A.Structured () -> State CompState () -> (CompState -> m ()) -> m ()
@ -266,6 +256,17 @@ defineTestName n sp am
,A.ndPlacement = A.Unplaced
}
checkName :: TestMonad m r => String -> A.SpecType -> A.AbbrevMode -> CompState -> m ()
checkName n spec am cs
= do nd <- case Map.lookup n (csNames cs) of
Just nd -> return nd
Nothing -> testFailure ("Could not find " ++ n) >> return undefined
testEqual "ndName" n (A.ndName nd)
testEqual "ndOrigName" n (A.ndOrigName nd)
testEqual "ndType" spec (A.ndType nd)
testEqual "ndAbbrevMode" am (A.ndAbbrevMode nd)
qcTestSizeParameters :: [LabelledQuickCheckTest]
qcTestSizeParameters =
[
@ -301,9 +302,9 @@ qcTestSizeParameters =
rec (n, t, am) = defineTestName n (A.Declaration emptyMeta t Nothing) am
checkProcDef :: TestMonad m r => [(String, A.Type, A.AbbrevMode)] -> CompState -> m ()
checkProcDef nts cs = return () --TODO
checkProcDef nts cs = checkName "p" (makeProcDef nts) A.Original cs
checkProcFormals :: TestMonad m r => [(String, A.Type, A.AbbrevMode)] -> CompState -> m ()
checkProcFormals nts cs = return () --TODO
checkProcFormals nts cs = mapM_ (\(n,t,am) -> checkName n (A.Declaration emptyMeta t Nothing) am cs) nts
wrapSpec :: String -> A.SpecType -> A.Structured ()
wrapSpec n spec = A.Spec emptyMeta (A.Specification emptyMeta (simpleName n) spec) (A.Only emptyMeta ())