edsko commented on this pull request.
> mkWallet :: Hash h Addr => Ours Addr -> Transaction h Addr -> Wallet h Addr
mkWallet = walletBoot Full.walletEmpty
+ — | Translates the DSL BlockMeta’ value to BlockMeta
+ intBlockMeta :: forall h. (Hash h Addr, Interpret h (BlockMeta’ h))
+ => IntCtxt h
+ -> (BlockMeta’ h)
+ -> TranslateT IntException IO BlockMeta
+ intBlockMeta intCtxt a = do
+ ma’ <- catchTranslateErrors $ runIntT' intCtxt $ int a + case ma' of + Left err -> liftIO $ throwM err
I guess the point is to have the interpretation exception be thrown up to the test framework, and have the test marked as failed should that happen.