From 08f5cfe6a8f5c0383ea2b02e93326552400f7fd3 Mon Sep 17 00:00:00 2001 From: Yamada Ryo Date: Mon, 9 Sep 2024 16:32:37 +0900 Subject: [PATCH] [add] the Issue 12 Semantics Test to README.md. --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index b1e3b88..bb700c5 100644 --- a/README.md +++ b/README.md @@ -99,6 +99,10 @@ $ cabal run exe:SemanticsZoo ( runNonDet . runTell . elaborateWriter . runChooseH $ action ) = [(3,(3,True)),(4,(4,False))] ( runTell . runNonDet . elaborateWriter . runChooseH $ action ) = (6,[(3,True),(4,False)]) +# https://github.com/hasura/eff/issues/12 +interpret SomeEff then runCatch : ( runThrow . runCatch . runSomeEff $ action ) = Right "caught" +runCatch then interpret SomeEff : ( runThrow . runSomeEff . runCatch $ action ) = Left "not caught" + [Note] All other permutations will cause type errors. $ ```