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

Added a helper function for marking when a test is a Rain test (which means any test output will be displayed as Rain code, not as occam code)

Browse Source
This commit is contained in:
Neil Brown 2007-09-19 11:08:25 +00:00
parent b280158e26
commit 135a4d6bfd
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
common/TestUtil.hs
View File

@ -382,3 +382,6 @@ simpleDefDecl n t = simpleDef n (A.Declaration m t)
-- | A pattern that will match simpleDef, with a different abbreviation mode
simpleDefPattern :: String -> A.AbbrevMode -> Pattern -> Pattern
simpleDefPattern n am sp = tag7 A.NameDef DontCare n n A.VariableName sp am A.Unplaced
markRainTest :: State CompState ()
markRainTest = modify (\cs -> cs { csFrontend = FrontendRain })