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

Added the support for glossing over pattern-match failures

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

5
checks/CheckFramework.hs
View File

@ -148,11 +148,14 @@ forAnyAST origF = CheckOptM $ do
apply :: TypeSet -> (a -> RestartT A.AST a CheckOptM ()) ->
(a, Route a A.AST) -> RestartT A.AST a CheckOptM a
apply typeSet f (x, route)
= (RestartT $ ((local (const route) $ getRestartT (f x))))
= (RestartT $ (local (const route) $ getRestartT (wrap f x)))
>> (liftRestartT (CheckOptM get) >>* ast >>* routeGet route)
>>= gmapMForRoute typeSet (extTransformRoute baseTransformRoute $
\(y, route') -> apply typeSet f (y, route @-> route'))
wrap :: (a -> RestartT A.AST a CheckOptM ()) -> (a -> RestartT A.AST a CheckOptM
())
wrap f x = join (liftIO $ onlyIfPatternMatch (return ()) f x)
-- | For both of these functions I'm going to need to mark all analyses as no longer
-- valid, but more difficult will be to maintain the current position (if possible