From 8048573cd8e3b02d50f0a69ff6116af30e090f77 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= Date: Thu, 27 Aug 2026 01:47:56 -0600 Subject: [PATCH] fix tests --- gyehoek.cabal | 4 +++- src/Gyehoek/Sexp/Grammar/Base.hs | 12 +++++++++++- test/Gyehoek/Test/Golden.hs | 10 +++++----- 3 files changed, 19 insertions(+), 7 deletions(-) diff --git a/gyehoek.cabal b/gyehoek.cabal index 30b4704..1a76ddb 100644 --- a/gyehoek.cabal +++ b/gyehoek.cabal @@ -167,7 +167,9 @@ test-suite doctest import: ghcstuffs, ghcstuffs-dev type: exitcode-stdio-1.0 hs-source-dirs: test - build-depends: base + build-depends: + , base + , gyehoek default-extensions: CPP main-is: doctest.hs diff --git a/src/Gyehoek/Sexp/Grammar/Base.hs b/src/Gyehoek/Sexp/Grammar/Base.hs index 9e788e3..8126612 100644 --- a/src/Gyehoek/Sexp/Grammar/Base.hs +++ b/src/Gyehoek/Sexp/Grammar/Base.hs @@ -107,7 +107,17 @@ list list = listWithIndentation Ordinary -- | --- >>> decodeTest @(Int,Int) (with \g -> dottedList (el int) int >>> g) "(1 . 2)" +-- >>> let grammar = with \g -> dottedList (el int) int >>> g +-- >>> decodeTest @(Int,Int) grammar "(1 . 2)" +-- ( 1 +-- , 2 +-- ) +-- >>> let grammar = with \g -> dottedList (el int >>> el int) int >>> g +-- >>> decodeTest @(Int,Int,Int) grammar "(1 2 . 3)" +-- ( 1 +-- , 2 +-- , 3 +-- ) dottedList :: forall t t' t''. G (ListContext :- t) (ListContext :- t') -> G (Datum :- t') t'' diff --git a/test/Gyehoek/Test/Golden.hs b/test/Gyehoek/Test/Golden.hs index 9c62551..b64425d 100644 --- a/test/Gyehoek/Test/Golden.hs +++ b/test/Gyehoek/Test/Golden.hs @@ -29,11 +29,11 @@ brokenWasmTests = brokenStackifyTests :: List String brokenStackifyTests = - [] - -- [ "adder" - -- , "let-fn" - -- , "callcc-nested1" -- requires closure-conversion - -- ] + [ "callcc-early-exit-1" + , "callcc-early-exit-4" + , "callcc-early-exit-5" + , "callcc-early-exit-6" + ] test_root :: IO TestTree test_root = do