Running phase: setupCompilerEnvironmentPhase setupCompilerEnvironmentPhase Build with /nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4. Running phase: unpackPhase unpacking sources unpacking source archive /nix/store/zgf06lmiyibnxl288rbrj00anrlljv6q-should-not-typecheck-2.1.0.tar.gz source root is should-not-typecheck-2.1.0 setting SOURCE_DATE_EPOCH to timestamp 1461051032 of file should-not-typecheck-2.1.0/test/ShouldNotTypecheckSpec.hs Running phase: patchPhase patching sources Running phase: compileBuildDriverPhase compileBuildDriverPhase setupCompileFlags: -package-db=/build/tmp.nfxsWJ8By5/setup-package.conf.d -j16 +RTS -A64M -RTS -threaded -rtsopts [1 of 1] Compiling Main ( Setup.hs, /build/tmp.nfxsWJ8By5/Main.o ) Linking Setup ... Running phase: configurePhase configuring configureFlags: --verbose --prefix=/nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --docdir=/nix/store/r0hvy0hdbjs36kry9aph7ndhzzv6z901-should-not-typecheck-2.1.0-doc/share/doc/should-not-typecheck-2.1.0 --with-gcc=gcc --package-db=/build/tmp.nfxsWJ8By5/package.conf.d --ghc-options=-j16 +RTS -A64M -RTS --disable-split-objs --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --ghc-option=-split-sections --ghc-options=-haddock --extra-lib-dirs=/nix/store/qfbw9zmdlllswnx3vqkxgz6dzwhlv985-ncurses-6.3-p20220507/lib --extra-lib-dirs=/nix/store/gsycfmysih14pxphxsk5lvlh5sw6wn02-libffi-3.4.4/lib --extra-lib-dirs=/nix/store/kyxg6j5rirfygdqfqkrm1azg7dqdmhbh-gmp-with-cxx-6.2.1/lib --extra-lib-dirs=/nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4/lib Using Parsec parser Configuring should-not-typecheck-2.1.0... Dependency HUnit >=1.2: using HUnit-1.6.2.0 Dependency base >=4.6 && <5: using base-4.16.3.0 Dependency deepseq >=1.3: using deepseq-1.4.6.1 Dependency HUnit >=1.2: using HUnit-1.6.2.0 Dependency base: using base-4.16.3.0 Dependency deepseq: using deepseq-1.4.6.1 Dependency hspec >=2.1: using hspec-2.9.7 Dependency hspec-expectations >=0.6: using hspec-expectations-0.8.2 Dependency should-not-typecheck: using should-not-typecheck-2.1.0 Source component graph: component lib component test:tests dependency lib Configured component graph: component should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH include HUnit-1.6.2.0-1zpZ2XpSGLD8bpY95LGwLy include base-4.16.3.0 include deepseq-1.4.6.1 component should-not-typecheck-2.1.0-8ppdRqvY1pDAaMq8icL1Pf-tests include HUnit-1.6.2.0-1zpZ2XpSGLD8bpY95LGwLy include base-4.16.3.0 include deepseq-1.4.6.1 include hspec-2.9.7-BMvEyb1CfahJCbZUcb2TVk include hspec-expectations-0.8.2-CoTxABNP50B5PrdXujdGyP include should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH Linked component graph: unit should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH include HUnit-1.6.2.0-1zpZ2XpSGLD8bpY95LGwLy include base-4.16.3.0 include deepseq-1.4.6.1 Test.ShouldNotTypecheck=should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH:Test.ShouldNotTypecheck unit should-not-typecheck-2.1.0-8ppdRqvY1pDAaMq8icL1Pf-tests include HUnit-1.6.2.0-1zpZ2XpSGLD8bpY95LGwLy include base-4.16.3.0 include deepseq-1.4.6.1 include hspec-2.9.7-BMvEyb1CfahJCbZUcb2TVk include hspec-expectations-0.8.2-CoTxABNP50B5PrdXujdGyP include should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH Ready component graph: definite should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH depends HUnit-1.6.2.0-1zpZ2XpSGLD8bpY95LGwLy depends base-4.16.3.0 depends deepseq-1.4.6.1 definite should-not-typecheck-2.1.0-8ppdRqvY1pDAaMq8icL1Pf-tests depends HUnit-1.6.2.0-1zpZ2XpSGLD8bpY95LGwLy depends base-4.16.3.0 depends deepseq-1.4.6.1 depends hspec-2.9.7-BMvEyb1CfahJCbZUcb2TVk depends hspec-expectations-0.8.2-CoTxABNP50B5PrdXujdGyP depends should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH Using Cabal-3.6.3.0 compiled by ghc-9.2 Using compiler: ghc-9.2.4 Using install prefix: /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0 Executables installed in: /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/bin Libraries installed in: /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/lib/ghc-9.2.4/i386-linux-ghc-9.2.4/should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH Dynamic Libraries installed in: /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/lib/ghc-9.2.4/i386-linux-ghc-9.2.4 Private executables installed in: /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/libexec/i386-linux-ghc-9.2.4/should-not-typecheck-2.1.0 Data files installed in: /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/share/i386-linux-ghc-9.2.4/should-not-typecheck-2.1.0 Documentation installed in: /nix/store/r0hvy0hdbjs36kry9aph7ndhzzv6z901-should-not-typecheck-2.1.0-doc/share/doc/should-not-typecheck-2.1.0 Configuration files installed in: /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/etc No alex found Using ar found on system at: /nix/store/cz0xzc39p2qj26ml15v9bq5ckrmdmdf4-binutils-2.39/bin/ar No c2hs found No cpphs found No doctest found Using gcc version 11.3.0 given by user at: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/gcc Using ghc version 9.2.4 found on system at: /nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4/bin/ghc Using ghc-pkg version 9.2.4 found on system at: /nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4/bin/ghc-pkg-9.2.4 No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.26.0 found on system at: /nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4/bin/haddock-ghc-9.2.4 No happy found Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.68 found on system at: /nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4/bin/hpc Using hsc2hs version 0.68.8 found on system at: /nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4/bin/hsc2hs Using hscolour version 1.24 found on system at: /nix/store/85d2z1v7cbhi7zr0aj493mh85n4w6p60-hscolour-1.24.4/bin/HsColour No jhc found Using ld found on system at: /nix/store/ssc7jicqr32k3w9gbsczxl0fxxfvm60g-binutils-wrapper-2.39/bin/ld.gold No pkg-config found Using runghc version 9.2.4 found on system at: /nix/store/ic7wdfrif8raic2z6xiq2qv1bfzxi8li-ghc-9.2.4/bin/runghc-9.2.4 Using strip version 2.39 found on system at: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip Using tar found on system at: /nix/store/5rh47gjf5m2w51g3sxpyfxr1km61vd1f-gnutar-1.34/bin/tar No uhc found Running phase: buildPhase building Preprocessing library for should-not-typecheck-2.1.0.. Building library for should-not-typecheck-2.1.0.. [1 of 1] Compiling Test.ShouldNotTypecheck ( src/Test/ShouldNotTypecheck.hs, dist/build/Test/ShouldNotTypecheck.o, dist/build/Test/ShouldNotTypecheck.dyn_o ) [1 of 1] Compiling Test.ShouldNotTypecheck ( src/Test/ShouldNotTypecheck.hs, dist/build/Test/ShouldNotTypecheck.p_o ) Preprocessing test suite 'tests' for should-not-typecheck-2.1.0.. Building test suite 'tests' for should-not-typecheck-2.1.0.. [1 of 1] Compiling Main ( test/ShouldNotTypecheckSpec.hs, dist/build/tests/tests-tmp/Main.o, dist/build/tests/tests-tmp/Main.dyn_o ) test/ShouldNotTypecheckSpec.hs:68:27: warning: [-Wdeferred-type-errors] • Couldn't match type ‘[Char]’ with ‘Int’ Expected: Int Actual: String • In the first argument of ‘shouldNotTypecheck’, namely ‘("foo" :: Int)’ In a stmt of a 'do' block: shouldNotTypecheck ("foo" :: Int) In the second argument of ‘($)’, namely ‘do shouldNotTypecheck ("foo" :: Int)’ | 68 | shouldNotTypecheck ("foo" :: Int) | ^^^^^ test/ShouldNotTypecheckSpec.hs:82:32: warning: [-Wdeferred-type-errors] • Couldn't match type ‘Bool’ with ‘Int’ Expected: Expr Int Actual: Expr Bool • In the first argument of ‘Add’, namely ‘(BoolVal True)’ In the first argument of ‘shouldNotTypecheck’, namely ‘(Add (BoolVal True) (IntVal 4))’ In a stmt of a 'do' block: shouldNotTypecheck (Add (BoolVal True) (IntVal 4)) | 82 | shouldNotTypecheck (Add (BoolVal True) (IntVal 4)) | ^^^^^^^^^^^^ Linking dist/build/tests/tests ... Running phase: checkPhase running tests Running 1 test suites... Test suite tests: RUNNING... shouldNotCompile should not throw an assertion error when an expression is ill typed [✔] should throw an assertion error when an expression is well typed [✔] should throw an actual exception and not fail the assertion if the expression contains an non-HUnitFailure exception [✔] should propagate an actual exception and not fail the assertion if the expression contains a non-deferred ErrorCall exception [✔] should not throw an assertion when an expression with more than one level of constructors is ill typed [✔] should warn if an expression had a type error due to lack of NFData instance [✔] Finished in 0.0004 seconds 6 examples, 0 failures Test suite tests: PASS Test suite logged to: dist/test/should-not-typecheck-2.1.0-tests.log 1 of 1 test suites (1 of 1 test cases) passed. Running phase: haddockPhase haddockPhase Preprocessing library for should-not-typecheck-2.1.0.. Running Haddock on library for should-not-typecheck-2.1.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. 50% ( 1 / 2) in 'Test.ShouldNotTypecheck' Missing documentation for: Module header Documentation created: dist/doc/html/should-not-typecheck/index.html, dist/doc/html/should-not-typecheck/should-not-typecheck.txt Preprocessing test suite 'tests' for should-not-typecheck-2.1.0.. Running phase: installPhase installing Installing library in /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/lib/ghc-9.2.4/i386-linux-ghc-9.2.4/should-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH Running phase: fixupPhase post-installation fixup shrinking RPATHs of ELF executables and libraries in /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0 shrinking /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/lib/ghc-9.2.4/i386-linux-ghc-9.2.4/libHSshould-not-typecheck-2.1.0-4GL2zgRBz9iI1MoxxkxCUH-ghc9.2.4.so strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip stripping (with command strip and flags -S) in /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0/lib patching script interpreter paths in /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0 checking for references to /build/ in /nix/store/l2y5na9digwh1znnvnpkz49zn9csrhyv-should-not-typecheck-2.1.0... shrinking RPATHs of ELF executables and libraries in /nix/store/r0hvy0hdbjs36kry9aph7ndhzzv6z901-should-not-typecheck-2.1.0-doc strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip patching script interpreter paths in /nix/store/r0hvy0hdbjs36kry9aph7ndhzzv6z901-should-not-typecheck-2.1.0-doc checking for references to /build/ in /nix/store/r0hvy0hdbjs36kry9aph7ndhzzv6z901-should-not-typecheck-2.1.0-doc...