Added a PassMaker function for use when something should only be used with occam and the CCSP backend
This commit is contained in:
parent
8487af3b4c
commit
2137be190b
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user