From d2705eaf0cc0928d5038f73556c1f9315c9b8949 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sat, 18 Apr 2009 18:13:40 +0000 Subject: [PATCH] Fixed 12 failures in ArrayUsageCheckTest by defining the occam operators --- checks/ArrayUsageCheckTest.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/checks/ArrayUsageCheckTest.hs b/checks/ArrayUsageCheckTest.hs index 1c2db86..a7462cc 100644 --- a/checks/ArrayUsageCheckTest.hs +++ b/checks/ArrayUsageCheckTest.hs @@ -51,7 +51,8 @@ instance Show FlattenedExp where show fexp = runIdentity $ showFlattenedExp (return . showOccam) fexp testCompState :: CompState -testCompState = emptyState +testCompState = execState defineOccamOperators emptyState + rr :: ReaderT CompState m a -> m a rr = flip runReaderT testCompState