a <- before
r <- catch
(unblock (thing a))
- (\e -> do { after a; throw e })
- after a
+ (\e -> do { _ <- after a; throw e })
+ _ <- after a
return r
)
#endif
block (do
r <- catch
(unblock a)
- (\e -> do { sequel; throw e })
- sequel
+ (\e -> do { _ <- sequel; throw e })
+ _ <- sequel
return r
)
a <- before
catch
(unblock (thing a))
- (\e -> do { after a; throw e })
+ (\e -> do { _ <- after a; throw e })
)
-- -----------------------------------------------------------------------------