The build succeeded. 1 test suites succeeded, 0 failed.
Build log
> /tmp/stackage-build2454$ stack unpack type-spec-0.3.0.1@sha256:a69b795349f3415ef5de615e6efb84f328bf144cf4aaf63935671b9e57ae94a0
Unpacked type-spec-0.3.0.1 to /tmp/stackage-build2454/type-spec-0.3.0.1/
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
[1 of 1] Compiling Main ( Setup.hs, Setup.o )
Linking Setup ...
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ./Setup configure --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/type-spec-0.3.0.1 --htmldir=/home/circleci/project/builds/nightly/doc/type-spec-0.3.0.1 --haddockdir=/home/circleci/project/builds/nightly/doc/type-spec-0.3.0.1
Configuring type-spec-0.3.0.1...
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ./Setup build
Preprocessing library for type-spec-0.3.0.1..
Building library for type-spec-0.3.0.1..
[ 1 of 10] Compiling Test.TypeSpec.Internal.Apply ( src/Test/TypeSpec/Internal/Apply.hs, dist/build/Test/TypeSpec/Internal/Apply.o )
[ 2 of 10] Compiling Test.TypeSpec.Internal.Either ( src/Test/TypeSpec/Internal/Either.hs, dist/build/Test/TypeSpec/Internal/Either.o )
[ 3 of 10] Compiling Test.TypeSpec.Internal.Equality ( src/Test/TypeSpec/Internal/Equality.hs, dist/build/Test/TypeSpec/Internal/Equality.o )
[ 4 of 10] Compiling Test.TypeSpec.Internal.Result ( src/Test/TypeSpec/Internal/Result.hs, dist/build/Test/TypeSpec/Internal/Result.o )
[ 5 of 10] Compiling Test.TypeSpec.Core ( src/Test/TypeSpec/Core.hs, dist/build/Test/TypeSpec/Core.o )
[ 6 of 10] Compiling Test.TypeSpec.Group ( src/Test/TypeSpec/Group.hs, dist/build/Test/TypeSpec/Group.o )
[ 7 of 10] Compiling Test.TypeSpec.Label ( src/Test/TypeSpec/Label.hs, dist/build/Test/TypeSpec/Label.o )
[ 8 of 10] Compiling Test.TypeSpec.ShouldBe ( src/Test/TypeSpec/ShouldBe.hs, dist/build/Test/TypeSpec/ShouldBe.o )
[ 9 of 10] Compiling Test.TypeSpec ( src/Test/TypeSpec.hs, dist/build/Test/TypeSpec.o )
[10 of 10] Compiling Test.TypeSpecCrazy ( src/Test/TypeSpecCrazy.hs, dist/build/Test/TypeSpecCrazy.o )
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ./Setup copy
Installing library in /home/circleci/project/builds/nightly/lib/x86_64-linux-ghc-8.7.20181116/type-spec-0.3.0.1-6mHPu6oTooa9JWDCukiNiI
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ./Setup register
Registering library for type-spec-0.3.0.1..
Test log
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ./Setup configure --enable-tests --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/type-spec-0.3.0.1 --htmldir=/home/circleci/project/builds/nightly/doc/type-spec-0.3.0.1 --haddockdir=/home/circleci/project/builds/nightly/doc/type-spec-0.3.0.1
Configuring type-spec-0.3.0.1...
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2454/type-spec-0.3.0.1$ ./Setup build
Preprocessing library for type-spec-0.3.0.1..
Building library for type-spec-0.3.0.1..
[ 1 of 10] Compiling Test.TypeSpec.Internal.Apply ( src/Test/TypeSpec/Internal/Apply.hs, dist/build/Test/TypeSpec/Internal/Apply.o ) [dist/build/autogen/cabal_macros.h changed]
[ 2 of 10] Compiling Test.TypeSpec.Internal.Either ( src/Test/TypeSpec/Internal/Either.hs, dist/build/Test/TypeSpec/Internal/Either.o ) [dist/build/autogen/cabal_macros.h changed]
[ 3 of 10] Compiling Test.TypeSpec.Internal.Equality ( src/Test/TypeSpec/Internal/Equality.hs, dist/build/Test/TypeSpec/Internal/Equality.o ) [dist/build/autogen/cabal_macros.h changed]
[ 4 of 10] Compiling Test.TypeSpec.Internal.Result ( src/Test/TypeSpec/Internal/Result.hs, dist/build/Test/TypeSpec/Internal/Result.o ) [dist/build/autogen/cabal_macros.h changed]
[ 5 of 10] Compiling Test.TypeSpec.Core ( src/Test/TypeSpec/Core.hs, dist/build/Test/TypeSpec/Core.o ) [dist/build/autogen/cabal_macros.h changed]
[ 6 of 10] Compiling Test.TypeSpec.Group ( src/Test/TypeSpec/Group.hs, dist/build/Test/TypeSpec/Group.o ) [dist/build/autogen/cabal_macros.h changed]
[ 7 of 10] Compiling Test.TypeSpec.Label ( src/Test/TypeSpec/Label.hs, dist/build/Test/TypeSpec/Label.o ) [dist/build/autogen/cabal_macros.h changed]
[ 8 of 10] Compiling Test.TypeSpec.ShouldBe ( src/Test/TypeSpec/ShouldBe.hs, dist/build/Test/TypeSpec/ShouldBe.o ) [dist/build/autogen/cabal_macros.h changed]
[ 9 of 10] Compiling Test.TypeSpec ( src/Test/TypeSpec.hs, dist/build/Test/TypeSpec.o ) [dist/build/autogen/cabal_macros.h changed]
[10 of 10] Compiling Test.TypeSpecCrazy ( src/Test/TypeSpecCrazy.hs, dist/build/Test/TypeSpecCrazy.o ) [dist/build/autogen/cabal_macros.h changed]
Preprocessing test suite 'examples' for type-spec-0.3.0.1..
Building test suite 'examples' for type-spec-0.3.0.1..
[1 of 1] Compiling Main ( examples/Main.hs, dist/build/examples/examples-tmp/Main.o )
Linking dist/build/examples/examples ...
> /tmp/stackage-build2454/type-spec-0.3.0.1$ dist/build/examples/examples
Valid:
Expect something...
(✓ Different)
Valid: (✓ Different) (✓ Equal) (✓ Restricted)
Valid:
There are a variety aliases for the basic combinators.
Basic Combinators
Context
labels expectations using 'It'
Describe
an alias for It, just like They
time for the first assertion
(✓ Equal)
Valid:
Type level tuples can also be used to group tests.
accept only two elments
(✓ Equal) (✓ Restricted)
Valid:
Only one title like this
Describe the following expectations
(✓ Different)
(✓ Equal)
(✓ Different)
(✓ Equal)
... now there is maybe a nested block
(✓ Equal)
(✓ Equal)
(✓ True)
Here there is another top-level block
(✓ Equal) (✓ Equal) (✓ True)
Valid:
TypeSpec
Allows explanations of types
(✓ Equal)
Valid:
Higher kinded assertions
ShouldBe accepts types of kind * -> *
(✓ Equal)
(✓ Equal)
(✓ Equal)
Invalid:
One of the following specs is not OK
This should be ok
(✓ Equal)
This should also be ok
(✓ Different)
But this looks bad:
(✓ Equal)
Valid:
Title
Top-level
Nested:
(✓ Equal)
(✓ Equal)
(✓ Equal)
Top-level
Nested:
(✓ Equal)
Nested:
(✓ Equal)
(✓ Equal)