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

Fixed 12 failures in ArrayUsageCheckTest by defining the occam operators

Browse Source
This commit is contained in:
Neil Brown 2009-04-18 18:13:40 +00:00
parent aa7d6b9b44
commit d2705eaf0c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
checks/ArrayUsageCheckTest.hs
View File

@ -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