This commit is contained in:
2026-09-03 15:22:05 -06:00
parent b118808cc4
commit 9513491a4c
2 changed files with 35 additions and 30 deletions
+2
View File
@@ -0,0 +1,2 @@
ret > ExitSuccess
out > 123
+33 -30
View File
@@ -15,44 +15,47 @@ import Control.DeepSeq (($!!))
import System.Exit (ExitCode(..)) import System.Exit (ExitCode(..))
import qualified Data.Text as T import qualified Data.Text as T
import Data.Function (applyWhen) import Data.Function (applyWhen)
import Gyehoek.Prelude
brokenEvalTests :: List String brokenEvalTests :: List String
brokenEvalTests = brokenEvalTests =
[ "adder" []
, "apply2" -- [ "adder"
, "apply-twice" -- , "apply2"
, "arith" -- , "apply-twice"
, "begin-1" -- , "arith"
, "callcc-constant" -- , "begin-1"
, "callcc-discard" -- , "callcc-constant"
, "callcc-early-exit-1" -- , "callcc-discard"
, "callcc-early-exit-2" -- , "callcc-early-exit-1"
, "callcc-early-exit-3" -- , "callcc-early-exit-2"
, "callcc-early-exit-4" -- , "callcc-early-exit-3"
, "callcc-early-exit-5" -- , "callcc-early-exit-4"
, "callcc-early-exit-6" -- , "callcc-early-exit-5"
, "callcc-nested-1" -- , "callcc-early-exit-6"
, "callcc-nested-2" -- , "callcc-nested-1"
, "complicated-1" -- , "callcc-nested-2"
, "cons-1" -- , "complicated-1"
, "factorial" -- , "cons-1"
, "false" -- , "factorial"
, "fn-of-fn" -- , "false"
, "if-false" -- , "fn-of-fn"
, "if-number" -- , "if-false"
, "if-true" -- , "if-number"
, "lambda" -- , "if-true"
, "letrec-fn" -- , "lambda"
, "let-fn" -- , "letrec-fn"
, "lit-int" -- , "let-fn"
, "square" -- , "lit-int"
, "true" -- , "square"
] -- , "true"
-- ]
test_eval :: IO TestTree test_eval :: IO TestTree
test_eval = do test_eval = do
cs <- listDirectory "golden/exec" cs <- listDirectory "golden/exec"
<&> fmap ("golden/exec" </>)
pure $ testGroup "cps interpreter" $ cpsCase <$> cs pure $ testGroup "cps interpreter" $ cpsCase <$> cs
maybeBroken name broken = applyWhen (name `elem` broken) expectFail maybeBroken name broken = applyWhen (name `elem` broken) expectFail