The build succeeded. 9 test suites succeeded, 0 failed.

Build log

> /tmp/stackage-build2452$ stack unpack speculate-0.3.5@sha256:86a1b4c3fb3d9b2e1f5beaf6c55eace711571585b14d98aaf1858c7760247722
Unpacked speculate-0.3.5 to /tmp/stackage-build2452/speculate-0.3.5/
> /tmp/stackage-build2452/speculate-0.3.5$ 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-build2452/speculate-0.3.5$ ./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/speculate-0.3.5 --htmldir=/home/circleci/project/builds/nightly/doc/speculate-0.3.5 --haddockdir=/home/circleci/project/builds/nightly/doc/speculate-0.3.5
Configuring speculate-0.3.5...
> /tmp/stackage-build2452/speculate-0.3.5$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/speculate-0.3.5$ ./Setup build
Preprocessing library for speculate-0.3.5..
Building library for speculate-0.3.5..
[ 1 of 35] Compiling Test.Speculate.Utils.Colour ( src/Test/Speculate/Utils/Colour.hs, dist/build/Test/Speculate/Utils/Colour.o )
[ 2 of 35] Compiling Test.Speculate.Utils.List ( src/Test/Speculate/Utils/List.hs, dist/build/Test/Speculate/Utils/List.o )
[ 3 of 35] Compiling Test.Speculate.Utils.Class ( src/Test/Speculate/Utils/Class.hs, dist/build/Test/Speculate/Utils/Class.o )
[ 4 of 35] Compiling Test.Speculate.Utils.Memoize ( src/Test/Speculate/Utils/Memoize.hs, dist/build/Test/Speculate/Utils/Memoize.o )
[ 5 of 35] Compiling Test.Speculate.Utils.Ord ( src/Test/Speculate/Utils/Ord.hs, dist/build/Test/Speculate/Utils/Ord.o )
[ 6 of 35] Compiling Test.Speculate.Utils.PrettyPrint ( src/Test/Speculate/Utils/PrettyPrint.hs, dist/build/Test/Speculate/Utils/PrettyPrint.o )
[ 7 of 35] Compiling Test.Speculate.Utils.String ( src/Test/Speculate/Utils/String.hs, dist/build/Test/Speculate/Utils/String.o )
[ 8 of 35] Compiling Test.Speculate.Utils.Misc ( src/Test/Speculate/Utils/Misc.hs, dist/build/Test/Speculate/Utils/Misc.o )
[ 9 of 35] Compiling Test.Speculate.Utils.Tiers ( src/Test/Speculate/Utils/Tiers.hs, dist/build/Test/Speculate/Utils/Tiers.o )
[10 of 35] Compiling Test.Speculate.Utils.Timeout ( src/Test/Speculate/Utils/Timeout.hs, dist/build/Test/Speculate/Utils/Timeout.o )
[11 of 35] Compiling Test.Speculate.Utils.Tuple ( src/Test/Speculate/Utils/Tuple.hs, dist/build/Test/Speculate/Utils/Tuple.o )
[12 of 35] Compiling Test.Speculate.Utils.Typeable ( src/Test/Speculate/Utils/Typeable.hs, dist/build/Test/Speculate/Utils/Typeable.o )
[13 of 35] Compiling Test.Speculate.Utils ( src/Test/Speculate/Utils.hs, dist/build/Test/Speculate/Utils.o )
[14 of 35] Compiling Test.Speculate.Utils.Digraph ( src/Test/Speculate/Utils/Digraph.hs, dist/build/Test/Speculate/Utils/Digraph.o )
[15 of 35] Compiling Test.Speculate.Expr.Core ( src/Test/Speculate/Expr/Core.hs, dist/build/Test/Speculate/Expr/Core.o )
[16 of 35] Compiling Test.Speculate.Expr.Match ( src/Test/Speculate/Expr/Match.hs, dist/build/Test/Speculate/Expr/Match.o )
[17 of 35] Compiling Test.Speculate.Expr.Instance ( src/Test/Speculate/Expr/Instance.hs, dist/build/Test/Speculate/Expr/Instance.o )
[18 of 35] Compiling Test.Speculate.Expr.Equate ( src/Test/Speculate/Expr/Equate.hs, dist/build/Test/Speculate/Expr/Equate.o )
[19 of 35] Compiling Test.Speculate.Expr.Ground ( src/Test/Speculate/Expr/Ground.hs, dist/build/Test/Speculate/Expr/Ground.o )
[20 of 35] Compiling Test.Speculate.Expr.Canon ( src/Test/Speculate/Expr/Canon.hs, dist/build/Test/Speculate/Expr/Canon.o )
[21 of 35] Compiling Test.Speculate.Expr ( src/Test/Speculate/Expr.hs, dist/build/Test/Speculate/Expr.o )
[22 of 35] Compiling Test.Speculate.Sanity ( src/Test/Speculate/Sanity.hs, dist/build/Test/Speculate/Sanity.o )
[23 of 35] Compiling Test.Speculate.Reason.Order ( src/Test/Speculate/Reason/Order.hs, dist/build/Test/Speculate/Reason/Order.o )
[24 of 35] Compiling Test.Speculate.Reason ( src/Test/Speculate/Reason.hs, dist/build/Test/Speculate/Reason.o )
[25 of 35] Compiling Test.Speculate.SemiReason ( src/Test/Speculate/SemiReason.hs, dist/build/Test/Speculate/SemiReason.o )
[26 of 35] Compiling Test.Speculate.CondReason ( src/Test/Speculate/CondReason.hs, dist/build/Test/Speculate/CondReason.o )
[27 of 35] Compiling Test.Speculate.Pretty ( src/Test/Speculate/Pretty.hs, dist/build/Test/Speculate/Pretty.o )
[28 of 35] Compiling Test.Speculate.Engine ( src/Test/Speculate/Engine.hs, dist/build/Test/Speculate/Engine.o )
[29 of 35] Compiling Test.Speculate.Args ( src/Test/Speculate/Args.hs, dist/build/Test/Speculate/Args.o )
[30 of 35] Compiling Test.Speculate.Report ( src/Test/Speculate/Report.hs, dist/build/Test/Speculate/Report.o )
[31 of 35] Compiling Test.Speculate   ( src/Test/Speculate.hs, dist/build/Test/Speculate.o )
[32 of 35] Compiling Test.Speculate.Misc ( src/Test/Speculate/Misc.hs, dist/build/Test/Speculate/Misc.o )
[33 of 35] Compiling Test.Speculate.Function ( src/Test/Speculate/Function.hs, dist/build/Test/Speculate/Function.o )
[34 of 35] Compiling Test.Speculate.Function.A1000 ( src/Test/Speculate/Function/A1000.hs, dist/build/Test/Speculate/Function/A1000.o )
[35 of 35] Compiling Test.Speculate.Function.A100 ( src/Test/Speculate/Function/A100.hs, dist/build/Test/Speculate/Function/A100.o )
> /tmp/stackage-build2452/speculate-0.3.5$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/speculate-0.3.5$ ./Setup copy
Installing library in /home/circleci/project/builds/nightly/lib/x86_64-linux-ghc-8.7.20181122/speculate-0.3.5-IhnDjDyPOXSDla2w7Q6EXX
> /tmp/stackage-build2452/speculate-0.3.5$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/speculate-0.3.5$ ./Setup register
Registering library for speculate-0.3.5..

Test log

> /tmp/stackage-build2452/speculate-0.3.5$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/speculate-0.3.5$ ./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/speculate-0.3.5 --htmldir=/home/circleci/project/builds/nightly/doc/speculate-0.3.5 --haddockdir=/home/circleci/project/builds/nightly/doc/speculate-0.3.5
Configuring speculate-0.3.5...
> /tmp/stackage-build2452/speculate-0.3.5$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/speculate-0.3.5$ ./Setup build
Preprocessing library for speculate-0.3.5..
Building library for speculate-0.3.5..
Preprocessing test suite 'match' for speculate-0.3.5..
Building test suite 'match' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/match/match-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-match.hs, dist/build/match/match-tmp/Main.o )
Linking dist/build/match/match ...
Preprocessing test suite 'eval' for speculate-0.3.5..
Building test suite 'eval' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/eval/eval-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-eval.hs, dist/build/eval/eval-tmp/Main.o )
Linking dist/build/eval/eval ...
Preprocessing test suite 'utils' for speculate-0.3.5..
Building test suite 'utils' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/utils/utils-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-utils.hs, dist/build/utils/utils-tmp/Main.o )
Linking dist/build/utils/utils ...
Preprocessing test suite 'order' for speculate-0.3.5..
Building test suite 'order' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/order/order-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-order.hs, dist/build/order/order-tmp/Main.o )
Linking dist/build/order/order ...
Preprocessing test suite 'creason' for speculate-0.3.5..
Building test suite 'creason' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/creason/creason-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-creason.hs, dist/build/creason/creason-tmp/Main.o )
Linking dist/build/creason/creason ...
Preprocessing test suite 'misc' for speculate-0.3.5..
Building test suite 'misc' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/misc/misc-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-misc.hs, dist/build/misc/misc-tmp/Main.o )
Linking dist/build/misc/misc ...
Preprocessing test suite 'engine' for speculate-0.3.5..
Building test suite 'engine' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/engine/engine-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-engine.hs, dist/build/engine/engine-tmp/Main.o )
Linking dist/build/engine/engine ...
Preprocessing test suite 'expr' for speculate-0.3.5..
Building test suite 'expr' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/expr/expr-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-expr.hs, dist/build/expr/expr-tmp/Main.o )
Linking dist/build/expr/expr ...
Preprocessing test suite 'reason' for speculate-0.3.5..
Building test suite 'reason' for speculate-0.3.5..
[1 of 2] Compiling Test             ( tests/Test.hs, dist/build/reason/reason-tmp/Test.o )
[2 of 2] Compiling Main             ( tests/test-reason.hs, dist/build/reason/reason-tmp/Main.o )
Linking dist/build/reason/reason ...
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/creason/creason
+++ Tests passed!
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/engine/engine
+++ Tests passed!
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/eval/eval
+++ Tests passed!
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/expr/expr
+++ Tests passed!
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/match/match
+++ Tests passed!
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/misc/misc
+++ Tests passed!
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/order/order
+++ Tests passed!
> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/reason/reason
+++ Tests passed!

length (rules $ theorize eqs)
0: 8484/10000 84%
1: 1484/10000 14%
2: 32/10000 0%

length (equations $ theorize eqs)
0: 1940/10000 19%
1: 5164/10000 51%
2: 2656/10000 26%
3: 240/10000 2%

\e1 e2 e3 -> e1 > e2 && typ e1 == typ e2,  length (vars e3)
Not OK: 9304/10000 93%
OK, length 1: 493/10000 4%
OK, length 0: 93/10000 0%
OK, length 2: 110/10000 1%

\e e1 e2 -> length $ reductions 1 e (e1,e2)
Not OK: 8634/10000 86%
OK, length 1: 49/10000 0%
OK, length 0: 1303/10000 13%
OK, length 2: 8/10000 0%
OK, length 3: 6/10000 0%

> /tmp/stackage-build2452/speculate-0.3.5$ dist/build/utils/utils
+++ Tests passed!