Resolving dependencies... Build profile: -w ghc-9.6.3 -O0 In order, the following will be built (use -v for more details): - binary-orphans-1.0.5 (lib:binary-orphans) (requires build) - scientific-0.3.8.0 (lib:scientific) (requires build) - semigroupoids-6.0.1 (lib:semigroupoids) (requires build) - text-short-0.1.6 (lib:text-short) (requires build) - unix-compat-0.7.2 (lib:unix-compat) (requires build) - utf8-string-1.0.2 (lib:utf8-string) (requires build) - bytes-0.17.3 (lib:bytes) (requires build) - free-5.2 (lib:free) (requires build) - tasty-golden-2.3.4 (lib:tasty-golden) (requires build) - bound-2.0.7 (lib:bound) (requires build) - adjunctions-4.4.2 (lib:adjunctions) (requires build) - bound-extras-0.0.3 (first run) Starting binary-orphans-1.0.5 (all, legacy fallback) Starting scientific-0.3.8.0 (all, legacy fallback) Starting text-short-0.1.6 (all, legacy fallback) Starting utf8-string-1.0.2 (all, legacy fallback) Starting semigroupoids-6.0.1 (all, legacy fallback) Starting unix-compat-0.7.2 (all, legacy fallback) Building semigroupoids-6.0.1 (all, legacy fallback) Building binary-orphans-1.0.5 (all, legacy fallback) Building utf8-string-1.0.2 (all, legacy fallback) Building scientific-0.3.8.0 (all, legacy fallback) Building text-short-0.1.6 (all, legacy fallback) Building unix-compat-0.7.2 (all, legacy fallback) Installing binary-orphans-1.0.5 (all, legacy fallback) Installing unix-compat-0.7.2 (all, legacy fallback) Installing text-short-0.1.6 (all, legacy fallback) Installing utf8-string-1.0.2 (all, legacy fallback) Completed binary-orphans-1.0.5 (all, legacy fallback) Installing scientific-0.3.8.0 (all, legacy fallback) Completed unix-compat-0.7.2 (all, legacy fallback) Starting tasty-golden-2.3.4 (all, legacy fallback) Installing semigroupoids-6.0.1 (all, legacy fallback) Completed text-short-0.1.6 (all, legacy fallback) Completed utf8-string-1.0.2 (all, legacy fallback) Building tasty-golden-2.3.4 (all, legacy fallback) Installing tasty-golden-2.3.4 (all, legacy fallback) Completed scientific-0.3.8.0 (all, legacy fallback) Starting bytes-0.17.3 (all, legacy fallback) Completed semigroupoids-6.0.1 (all, legacy fallback) Starting free-5.2 (all, legacy fallback) Completed tasty-golden-2.3.4 (all, legacy fallback) Building bytes-0.17.3 (all, legacy fallback) Building free-5.2 (all, legacy fallback) Installing bytes-0.17.3 (all, legacy fallback) Completed bytes-0.17.3 (all, legacy fallback) Starting bound-2.0.7 (all, legacy fallback) Building bound-2.0.7 (all, legacy fallback) Installing free-5.2 (all, legacy fallback) Completed free-5.2 (all, legacy fallback) Starting adjunctions-4.4.2 (all, legacy fallback) Installing bound-2.0.7 (all, legacy fallback) Building adjunctions-4.4.2 (all, legacy fallback) Completed bound-2.0.7 (all, legacy fallback) Installing adjunctions-4.4.2 (all, legacy fallback) Completed adjunctions-4.4.2 (all, legacy fallback) Configuring bound-extras-0.0.3... Preprocessing library for bound-extras-0.0.3.. Building library for bound-extras-0.0.3.. [1 of 3] Compiling Control.Monad.Module ( src/Control/Monad/Module.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Control/Monad/Module.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Control/Monad/Module.dyn_o ) [2 of 3] Compiling Bound.ScopeT ( src/Bound/ScopeT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeT.dyn_o ) [3 of 3] Compiling Bound.ScopeH ( src/Bound/ScopeH.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeH.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeH.dyn_o ) Preprocessing test suite 'examples' for bound-extras-0.0.3.. Building test suite 'examples' for bound-extras-0.0.3.. [1 of 7] Compiling Adjunctions ( examples/Adjunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/Adjunctions.o ) [2 of 7] Compiling Pretty ( examples/Pretty.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/Pretty.o ) [3 of 7] Compiling BiSTLC3 ( examples/BiSTLC3.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/BiSTLC3.o ) examples/BiSTLC3.hs:94:5: warning: [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad Elim. return will eventually be removed in favour of pure Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 94 | return = Var | ^^^^^^^^^^^^ examples/BiSTLC3.hs:254:5: warning: [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad NFElim. return will eventually be removed in favour of pure Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 254 | return = nfVar | ^^^^^^^^^^^^^^ [4 of 7] Compiling BiSTLC2 ( examples/BiSTLC2.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/BiSTLC2.o ) examples/BiSTLC2.hs:106:5: warning: [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad (Inf ty). return will eventually be removed in favour of pure Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 106 | return = V | ^^^^^^^^^^ examples/BiSTLC2.hs:114:13: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 114 | instance ty ~ ty' => Module (Chk ty) (Inf ty') where | ^ examples/BiSTLC2.hs:122:13: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 122 | instance ty ~ ty' => LiftedModule (Chk ty) (Inf ty') where | ^ examples/BiSTLC2.hs:407:53: warning: [GHC-47082] [-Woperator-whitespace-ext-conflict] The prefix use of a $$ would denote a typed splice were the TemplateHaskell extension enabled. Suggested fix: Add whitespace after the $$. | 407 | , demo' "app-delta" $ (case_ "aorb" "x" ("ac2d" $$"x") "y" ("bc2d" $$ "y") .: "C" :-> "D") $$ "c" | ^^ [5 of 7] Compiling BiSTLC ( examples/BiSTLC.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/BiSTLC.o ) examples/BiSTLC.hs:85:5: warning: [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad Inf. return will eventually be removed in favour of pure Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 85 | return = V | ^^^^^^^^^^ [6 of 7] Compiling SystemF ( examples/SystemF.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/SystemF.o ) examples/SystemF.hs:50:5: warning: [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad Ty. return will eventually be removed in favour of pure Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 50 | return = TV | ^^^^^^^^^^^ examples/SystemF.hs:129:5: warning: [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad (Expr b). return will eventually be removed in favour of pure Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 129 | return = V | ^^^^^^^^^^ [7 of 7] Compiling Main ( examples/Examples.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/Main.o ) [8 of 8] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples Running 1 test suites... Test suite examples: RUNNING... Test suite examples: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/bound-extras-0.0.3.test Writing: bound-extras-0.0.3-inplace/Control.Monad.Module.hs.html Writing: bound-extras-0.0.3-inplace/Bound.ScopeH.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/bound-extras-0.0.3/noopt/hpc/vanilla/html/examples/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: bound-extras-0.0.3-inplace/Control.Monad.Module.hs.html Writing: bound-extras-0.0.3-inplace/Bound.ScopeH.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/bound-extras-0.0.3/noopt/hpc/vanilla/html/bound-extras-0.0.3/hpc_index.html