GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-25 15:13:24 +03:00
Code Issues Projects Releases Wiki Activity

Implement catchError in a MonadError instance

Browse Source
This commit is contained in:
Tristan Ravitch 2017-10-04 09:48:49 -07:00
parent 3a49345b15
commit eec7075b46
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
macaw-ppc/src/Data/Macaw/PPC/Disassemble.hs
View File

@ -179,6 +179,15 @@ newtype DisM ppc s a = DisM { unDisM :: ET.ExceptT (LocatedError ppc s) (ST s) a
-- silently fails).
instance (w ~ ArchAddrWidth ppc) => ET.MonadError ([Block ppc s], MM.MemWord w, TranslationError w) (DisM ppc s) where
throwError e = DisM (ET.throwError e)
catchError a hdlr = do
r <- liftST $ ET.runExceptT (unDisM a)
case r of
Left l -> do
r' <- liftST $ ET.runExceptT (unDisM (hdlr l))
case r' of
Left e -> DisM (ET.throwError e)
Right res -> return res
Right res -> return res
data TranslationError w = TranslationError { transErrorAddr :: MM.MemSegmentOff w
, transErrorReason :: TranslationErrorReason w