From 135a4d6bfd466af0d61c68f347f67f110f8e81c1 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 19 Sep 2007 11:08:25 +0000
Subject: [PATCH] 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)

---
 common/TestUtil.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/common/TestUtil.hs b/common/TestUtil.hs
index a07ae5f..84e47f9 100644
--- a/common/TestUtil.hs
+++ b/common/TestUtil.hs
@@ -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 })