🚀 Catch'ing

This commit is contained in:
2024-10-03 18:34:32 +02:00
parent 98d41e6a6d
commit fb7f5c936a

View File

@ -119,7 +119,7 @@ failure :: String -> EvalM a
failure = Free . ErrorOp failure = Free . ErrorOp
catch :: EvalM a -> EvalM a -> EvalM a catch :: EvalM a -> EvalM a -> EvalM a
catch = error "TODO" catch m1 m2 = Free $ TryCatchOp m1 m2
evalKvGet :: Val -> EvalM Val evalKvGet :: Val -> EvalM Val
evalKvGet = error "TODO" evalKvGet = error "TODO"