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

Added a function to execute the CheckOptM monad on an AST

Browse Source
This commit is contained in:
Neil Brown 2008-11-08 16:01:08 +00:00
parent a764031068
commit 99ddca4a0f
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
checks/CheckFramework.hs
View File

@ -185,6 +185,10 @@ onlyIfPatternMatch def f x = evaluate x >>= (\x' -> catchJust onlyPatternFail (e
onlyPatternFail (PatternMatchFail {}) = Just ()
onlyPatternFail _ = Nothing
runChecks :: CheckOptM () -> A.AST -> PassM A.AST
runChecks (CheckOptM m) x = execStateT m (CheckOptData {ast = x, parItems = Nothing})
>>* ast
--getParItems :: CheckOptM (ParItems ())
--getParItems = CheckOptM (\d -> Right (d, fromMaybe (generateParItems $ ast d) (parItems d)))