a guest Apr 24th, 2019 62 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. checkBlock (BlockStmt (VRet:bs)) = do
  2.   env <- ask
  3.   let mt = M.lookup "" env
  4.   Control.Monad.when (isNothing mt) $ throwError defaultErr
  5.   let rt = fromMaybe (error "wrong return type") mt
  6.   Control.Monad.when (rt /= TV) $ throwError defaultErr
  7.   checkBlock (BlockStmt bs)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand