+3
-1
@@ -167,7 +167,9 @@ test-suite doctest
|
|||||||
import: ghcstuffs, ghcstuffs-dev
|
import: ghcstuffs, ghcstuffs-dev
|
||||||
type: exitcode-stdio-1.0
|
type: exitcode-stdio-1.0
|
||||||
hs-source-dirs: test
|
hs-source-dirs: test
|
||||||
build-depends: base
|
build-depends:
|
||||||
|
, base
|
||||||
|
, gyehoek
|
||||||
default-extensions: CPP
|
default-extensions: CPP
|
||||||
main-is: doctest.hs
|
main-is: doctest.hs
|
||||||
|
|
||||||
|
|||||||
@@ -107,7 +107,17 @@ list
|
|||||||
list = listWithIndentation Ordinary
|
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
|
dottedList
|
||||||
:: forall t t' t''. G (ListContext :- t) (ListContext :- t')
|
:: forall t t' t''. G (ListContext :- t) (ListContext :- t')
|
||||||
-> G (Datum :- t') t''
|
-> G (Datum :- t') t''
|
||||||
|
|||||||
@@ -29,11 +29,11 @@ brokenWasmTests =
|
|||||||
|
|
||||||
brokenStackifyTests :: List String
|
brokenStackifyTests :: List String
|
||||||
brokenStackifyTests =
|
brokenStackifyTests =
|
||||||
[]
|
[ "callcc-early-exit-1"
|
||||||
-- [ "adder"
|
, "callcc-early-exit-4"
|
||||||
-- , "let-fn"
|
, "callcc-early-exit-5"
|
||||||
-- , "callcc-nested1" -- requires closure-conversion
|
, "callcc-early-exit-6"
|
||||||
-- ]
|
]
|
||||||
|
|
||||||
test_root :: IO TestTree
|
test_root :: IO TestTree
|
||||||
test_root = do
|
test_root = do
|
||||||
|
|||||||
Reference in New Issue
Block a user