Fixed test

This commit is contained in:
Georges Dupéron 2017-05-11 10:04:47 +02:00
parent 5e7de16a4c
commit 73c47daef6
2 changed files with 2 additions and 2 deletions
.travis.yml
typed-map-test/typed-map/test

View File

@ -24,7 +24,7 @@ install:
- raco pkg install --deps search-auto -j 2 ./typed-map/ ./typed-map-doc/ ./typed-map-lib/ ./typed-map-test/
script:
- raco test -x -p typed-map typed-map-doc typed-map-lib typed-map-test
- raco test -p typed-map typed-map-doc typed-map-lib typed-map-test
- raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs typed-map typed-map-doc typed-map-lib typed-map-test
- raco doc-coverage typed-map typed-map-doc typed-map-lib typed-map-test
- raco cover -s main -s test -s doc -f codecov -f html -d ~/coverage . || true

View File

@ -106,7 +106,7 @@
(cons acc (add1 x)))
'()
'(1 2 3))
'(((() . 4) . 3) . 2))
'(((() . 2) . 3) . 4))
(let ()
(ann (foldl (λ (x acc) (cons (add1 x) acc)) '() '()) Null)