Resolving dependencies... Build profile: -w ghc-9.6.3 -O0 In order, the following will be built (use -v for more details): - th-expand-syns-0.4.12.0 (first run) Configuring th-expand-syns-0.4.12.0... Preprocessing library for th-expand-syns-0.4.12.0.. Building library for th-expand-syns-0.4.12.0.. [1 of 1] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/Language/Haskell/TH/ExpandSyns.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/Language/Haskell/TH/ExpandSyns.dyn_o ) Preprocessing test suite 'test-th-expand-syns' for th-expand-syns-0.4.12.0.. Building test suite 'test-th-expand-syns' for th-expand-syns-0.4.12.0.. [1 of 3] Compiling Util ( testing/Util.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Util.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Util.dyn_o ) [2 of 3] Compiling Types ( testing/Types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Types.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Types.dyn_o ) [3 of 3] Compiling Main ( testing/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Main.o ) info: input = ForallT [PlainTV a_6989586621679024654 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024654)] (AppT (AppT ArrowT (VarT a_6989586621679024654)) (AppT (AppT ArrowT (AppT (ConT Types.ForAll) (ConT GHC.Types.List))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT Types.ApplyToInteger) (ConT GHC.Types.List))))) info: expected = ForallT [PlainTV a_6989586621679024655 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024655)] (AppT (AppT ArrowT (VarT a_6989586621679024655)) (AppT (AppT ArrowT (ForallT [KindedTV x_6989586621679024656 SpecifiedSpec StarT] [] (AppT (ConT GHC.Types.List) (VarT x_6989586621679024656)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.List) (ConT GHC.Num.Integer.Integer))))) info: actual = ForallT [PlainTV a_6989586621679024654 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024654)] (AppT (AppT ArrowT (VarT a_6989586621679024654)) (AppT (AppT ArrowT (ForallT [KindedTV x_7566047373982448569 SpecifiedSpec StarT] [] (AppT (ConT GHC.Types.List) (VarT x_7566047373982448569)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.List) (ConT GHC.Num.Integer.Integer))))) info: input = ForallT [PlainTV y SpecifiedSpec] [] (AppT (ConT E) (VarT y)) info: expected = ForallT [PlainTV y SpecifiedSpec] [] (ForallT [KindedTV y_0 SpecifiedSpec StarT] [] (AppT (AppT ArrowT (AppT (AppT (ConT Data.Either.Either) (VarT y)) (VarT y_0))) (ConT GHC.Types.Int))) info: actual = ForallT [PlainTV y SpecifiedSpec] [] (ForallT [KindedTV y_7566047373982448647 SpecifiedSpec StarT] [] (AppT (AppT ArrowT (AppT (AppT (ConT Data.Either.Either) (VarT y)) (VarT y_7566047373982448647))) (ConT GHC.Types.Int))) info: input = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int)) info: expected = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int)) info: actual = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int)) info: input = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT Types.Int'))) (AppT (ConT Types.TF1) (ConT Types.Int'))) (AppT (ConT Types.AT1) (ConT Types.Int')) info: expected = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int)) info: actual = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int)) info: input = AppT (AppT (ConT Types.Either') (AppT (ConT Types.ListOf) (ConT Types.Int'))) (AppT (ConT Types.ListOf) (ConT GHC.Types.Char)) info: expected = AppT (AppT (ConT Data.Either.Either) (AppT ListT (ConT GHC.Types.Int))) (AppT ListT (ConT GHC.Types.Char)) info: actual = AppT (AppT (ConT Data.Either.Either) (AppT ListT (ConT GHC.Types.Int))) (AppT ListT (ConT GHC.Types.Char)) info: input = ConT Types.Int'' info: expected = ConT GHC.Types.Int info: actual = ConT GHC.Types.Int info: input = SigT (ConT GHC.Types.Int) (AppT (ConT Types.Id) StarT) info: expected = SigT (ConT GHC.Types.Int) StarT info: actual = SigT (ConT GHC.Types.Int) StarT testing/Main.hs:42:6: warning: [GHC-39584] th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.AT1 | 42 | $(let | ^^^^... testing/Main.hs:42:6: warning: [GHC-39584] th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.TF1 | 42 | $(let | ^^^^... testing/Main.hs:48:6: warning: [GHC-39584] th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.AT1 | 48 | $(mkTest [t| (DF1 Int', TF1 Int', AT1 Int') |] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... testing/Main.hs:48:6: warning: [GHC-39584] th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.TF1 | 48 | $(mkTest [t| (DF1 Int', TF1 Int', AT1 Int') |] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... testing/Main.hs:66:6: warning: [GHC-39584] No warning about type families should appear after this line. | 66 | $(do | ^^^... [4 of 4] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/test-th-expand-syns/test-th-expand-syns Running 1 test suites... Test suite test-th-expand-syns: RUNNING... Test suite test-th-expand-syns: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/th-expand-syns-0.4.12.0.test Writing: th-expand-syns-0.4.12.0-inplace/Language.Haskell.TH.ExpandSyns.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/hpc/vanilla/html/test-th-expand-syns/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: th-expand-syns-0.4.12.0-inplace/Language.Haskell.TH.ExpandSyns.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/hpc/vanilla/html/th-expand-syns-0.4.12.0/hpc_index.html