From 2137be190beb94d3fa951c9131e46e9f755bc90f Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 20 Jan 2009 17:24:01 +0000
Subject: [PATCH] Added a PassMaker function for use when something should only
 be used with occam and the CCSP backend

---
 pass/Pass.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pass/Pass.hs b/pass/Pass.hs
index 751bc5b..eb6843c 100644
--- a/pass/Pass.hs
+++ b/pass/Pass.hs
@@ -127,6 +127,10 @@ rainOnlyPass = passMakerHelper $ (== FrontendRain) . csFrontend
 occamOnlyPass :: PassMaker
 occamOnlyPass = passMakerHelper $ (== FrontendOccam) . csFrontend
 
+occamAndCOnlyPass :: PassMaker
+occamAndCOnlyPass = passMakerHelper $
+  \st -> (csFrontend st == FrontendOccam) && (csBackend st == BackendC)
+
 cOnlyPass :: PassMaker
 cOnlyPass = passMakerHelper $ (== BackendC) . csBackend