Resolving dependencies... Build profile: -w ghc-9.6.3 -O0 In order, the following will be built (use -v for more details): - Stream-0.4.7.2 (lib:Stream) (requires build) - ghc-typelits-extra-0.4.7 (lib:ghc-typelits-extra) (requires build) - recursion-schemes-5.2.3 (lib:recursion-schemes) (requires build) - singletons-3.0.3 (lib:singletons) (requires build) - string-interpolate-0.3.4.0 (lib:string-interpolate) (requires build) - type-errors-0.2.0.2 (lib:type-errors) (requires build) - arrows-0.4.4.2 (lib:arrows) (requires build) - clash-prelude-1.8.1 (lib:clash-prelude) (requires build) - circuit-notation-0.1.0.0 (first run) Starting Stream-0.4.7.2 (all, legacy fallback) Starting recursion-schemes-5.2.3 (all, legacy fallback) Starting singletons-3.0.3 (all, legacy fallback) Starting string-interpolate-0.3.4.0 (all, legacy fallback) Starting ghc-typelits-extra-0.4.7 (all, legacy fallback) Starting type-errors-0.2.0.2 (all, legacy fallback) Building recursion-schemes-5.2.3 (all, legacy fallback) Building singletons-3.0.3 (all, legacy fallback) Building Stream-0.4.7.2 (all, legacy fallback) Building ghc-typelits-extra-0.4.7 (all, legacy fallback) Building string-interpolate-0.3.4.0 (all, legacy fallback) Building type-errors-0.2.0.2 (all, legacy fallback) Installing type-errors-0.2.0.2 (all, legacy fallback) Installing Stream-0.4.7.2 (all, legacy fallback) Installing singletons-3.0.3 (all, legacy fallback) Installing string-interpolate-0.3.4.0 (all, legacy fallback) Completed type-errors-0.2.0.2 (all, legacy fallback) Installing ghc-typelits-extra-0.4.7 (all, legacy fallback) Installing recursion-schemes-5.2.3 (all, legacy fallback) Completed Stream-0.4.7.2 (all, legacy fallback) Starting arrows-0.4.4.2 (all, legacy fallback) Completed singletons-3.0.3 (all, legacy fallback) Completed string-interpolate-0.3.4.0 (all, legacy fallback) Building arrows-0.4.4.2 (all, legacy fallback) Completed ghc-typelits-extra-0.4.7 (all, legacy fallback) Installing arrows-0.4.4.2 (all, legacy fallback) Completed recursion-schemes-5.2.3 (all, legacy fallback) Completed arrows-0.4.4.2 (all, legacy fallback) Starting clash-prelude-1.8.1 (all, legacy fallback) Building clash-prelude-1.8.1 (all, legacy fallback) Installing clash-prelude-1.8.1 (all, legacy fallback) Completed clash-prelude-1.8.1 (all, legacy fallback) Configuring circuit-notation-0.1.0.0... Preprocessing library for circuit-notation-0.1.0.0.. Building library for circuit-notation-0.1.0.0.. [1 of 3] Compiling Circuit ( src/Circuit.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/Circuit.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/Circuit.dyn_o ) [2 of 3] Compiling GHC.Types.Unique.Map.Extra ( src/GHC/Types/Unique/Map/Extra.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/GHC/Types/Unique/Map/Extra.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/GHC/Types/Unique/Map/Extra.dyn_o ) [3 of 3] Compiling CircuitNotation ( src/CircuitNotation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/CircuitNotation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/CircuitNotation.dyn_o ) Preprocessing test suite 'library-testsuite' for circuit-notation-0.1.0.0.. Building test suite 'library-testsuite' for circuit-notation-0.1.0.0.. [1 of 2] Compiling Example ( example/Example.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/library-testsuite/library-testsuite-tmp/Example.o ) TagCircuit (\ (~~(BusTagBundle (a_Fwd, b_Fwd)) :-> ~(BusTagBundle (b_Bwd, a_Bwd))) -> let in BusTagBundle (a_Bwd, b_Bwd) :-> BusTagBundle (b_Fwd, a_Fwd)) TagCircuit (\ (~(BusTagBundle (a_Fwd, b_Fwd)) :-> ~(BusTagBundle (b_Bwd, a_Bwd))) -> let in BusTagBundle (a_Bwd, b_Bwd) :-> BusTagBundle (b_Fwd, a_Fwd)) TagCircuit (\ (~(BusTagBundle ()) :-> i_Bwd) -> let ~(BusTagBundle ()) :-> i_Fwd = runTagCircuit circuitA (BusTagBundle () :-> i_Bwd) in BusTagBundle () :-> i_Fwd) TagCircuit (\ (~(BusTagBundle ()) :-> i_Bwd) -> let _ :-> i_Fwd = runTagCircuit circuitC (BusTag sig :-> i_Bwd) in BusTagBundle () :-> i_Fwd) TagCircuit (\ (BusTag a :-> i_Bwd) -> let _ :-> i_Fwd = runTagCircuit idC (BusTag a :-> i_Bwd) in BusTag unitBwd :-> i_Fwd) TagCircuit (\ (BusTag a :-> i_Bwd) -> let _ :-> i_Fwd = runTagCircuit (idC :: Circuit (Signal dom Int) (Signal dom Int)) (BusTag a :-> i_Bwd) in BusTag unitBwd :-> i_Fwd) TagCircuit (\ (BusTag x :-> i_Bwd) -> let _ :-> i_Fwd = runTagCircuit idC (BusTag (fmap (+ 1) x) :-> i_Bwd) in BusTag unitBwd :-> i_Fwd) TagCircuit (\ (BusTag x :-> i_Bwd) -> let y = fmap (+ 1) x _ :-> i_Fwd = runTagCircuit idC (BusTag y :-> i_Bwd) in BusTag unitBwd :-> i_Fwd) TagCircuit (\ (~(BusTagBundle (a_Fwd, _b_Fwd)) :-> a_Bwd) -> let _b_Bwd = BusTag def in BusTagBundle (a_Bwd, _b_Bwd) :-> a_Fwd) TagCircuit (\ (ab_Fwd :-> a_Bwd) -> let _b_Bwd = BusTag def ab_Bwd :-> ~(BusTagBundle (a_Fwd, _b_Fwd)) = runTagCircuit idC (ab_Fwd :-> BusTagBundle (a_Bwd, _b_Bwd)) in ab_Bwd :-> a_Fwd) TagCircuit (\ (~(BusTagBundle (a_Fwd, _b_Fwd)) :-> a_Bwd) -> let _b_Bwd = BusTag def in BusTagBundle (a_Bwd, _b_Bwd) :-> a_Fwd) TagCircuit (\ (a_Fwd :-> ~(BusTagBundle (a_Bwd, _b_Bwd))) -> let _b_Fwd = BusTag def in a_Bwd :-> BusTagBundle (a_Fwd, _b_Fwd)) TagCircuit (\ (~(BusTagBundle (aa_Fwd, bb_Fwd)) :-> ~(BusTagBundle (bb_Bwd, aa_Bwd))) -> let in BusTagBundle (aa_Bwd, bb_Bwd) :-> BusTagBundle (bb_Fwd, aa_Fwd)) TagCircuit (\ (a_Fwd :-> ab_Bwd) -> let _b_Fwd = BusTag def ~(BusTagBundle (_b_Bwd, a_Bwd)) :-> ab_Fwd = runTagCircuit (TagCircuit (\ (~(BusTagBundle (aa_Fwd, bb_Fwd)) :-> ~(BusTagBundle (bb_Bwd, aa_Bwd))) -> let in BusTagBundle (aa_Bwd, bb_Bwd) :-> BusTagBundle (bb_Fwd, aa_Fwd))) (BusTagBundle (_b_Fwd, a_Fwd) :-> ab_Bwd) in a_Bwd :-> ab_Fwd) TagCircuit (\ (a_Fwd :-> ab'_Bwd) -> let _b_Fwd = BusTag def ~(BusTagBundle (a_Bwd, _b_Bwd)) :-> ab_Fwd = runTagCircuit idC (BusTagBundle (a_Fwd, _b_Fwd) :-> ab_Bwd) ab_Bwd :-> ab'_Fwd = runTagCircuit idC (ab_Fwd :-> ab'_Bwd) in a_Bwd :-> ab'_Fwd) TagCircuit (\ (a_Fwd :-> final:stmt_Bwd) -> let a_Bwd :-> b_Fwd :: BusTag (Signal domain Int) (Fwd (Signal domain Int)) = runTagCircuit idCHard (a_Fwd :-> b_Bwd :: BusTag (Signal domain Int) (Bwd (Signal domain Int))) b_Bwd :-> final:stmt_Fwd = runTagCircuit idCHard (b_Fwd :-> final:stmt_Bwd) in a_Bwd :-> final:stmt_Fwd) TagCircuit (\ (a_Fwd :-> final:stmt_Bwd) -> let a_Bwd :-> b_Fwd = runTagCircuit idCHard (a_Fwd :-> b_Bwd) b_Bwd :: BusTag (Signal domain Int) (Bwd (Signal domain Int)) :-> final:stmt_Fwd = runTagCircuit idCHard (b_Fwd :: BusTag (Signal domain Int) (Fwd (Signal domain Int)) :-> final:stmt_Bwd) in a_Bwd :-> final:stmt_Fwd) TagCircuit (\ (~(BusTagBundle (a_Fwd, b_Fwd)) :-> ~(BusTagBundle (b_Bwd, a_Bwd))) -> let in BusTagBundle (a_Bwd, b_Bwd) :-> BusTagBundle (b_Fwd, a_Fwd)) TagCircuit (\ (~(BusTagBundle (x_Fwd :>! y_Fwd :>! _)) :-> ~(BusTagBundle (x_Bwd, y_Bwd))) -> let in BusTagBundle (x_Bwd :> y_Bwd :> Nil) :-> BusTagBundle (x_Fwd, y_Fwd)) TagCircuit (\ (~(BusTagBundle (x_Fwd, y_Fwd)) :-> BusTagBundle (x_Bwd :>! y_Bwd :>! _)) -> let in BusTagBundle (x_Bwd, y_Bwd) :-> BusTagBundle (x_Fwd :> y_Fwd :> Nil)) TagCircuit (\ (BusTagBundle _ :-> ~(BusTagBundle ())) -> let in BusTagBundle Nil :-> BusTagBundle ()) TagCircuit (\ (BusTagBundle _ :-> BusTagBundle _) -> let in BusTagBundle Nil :-> BusTagBundle Nil) TagCircuit (\ (a_Fwd :-> x_Bwd) -> let a_Bwd :-> BusTagBundle (x_Fwd :>! _) = runTagCircuit go (a_Fwd :-> BusTagBundle (x_Bwd :> Nil)) in a_Bwd :-> x_Fwd) TagCircuit (\ (x_Fwd :-> ~(BusTagBundle (_, _))) -> let in unitBwd :-> BusTagBundle (x_Fwd, x_Fwd)) TagCircuit (\ (x_Fwd :-> ~(BusTagBundle (_, _, _))) -> let _ :-> y_Fwd = runTagCircuit idC (x_Fwd :-> unitBwd) in unitBwd :-> BusTagBundle (y_Fwd, y_Fwd, x_Fwd)) [2 of 2] Compiling Main ( tests/unittests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/library-testsuite/library-testsuite-tmp/Main.o ) [3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/circuit-notation-0.1.0.0/noopt/build/library-testsuite/library-testsuite Running 1 test suites... Test suite library-testsuite: RUNNING... Test suite library-testsuite: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/circuit-notation-0.1.0.0.test Writing: circuit-notation-0.1.0.0-inplace/Circuit.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/circuit-notation-0.1.0.0/noopt/hpc/vanilla/html/library-testsuite/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: circuit-notation-0.1.0.0-inplace/Circuit.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/circuit-notation-0.1.0.0/noopt/hpc/vanilla/html/circuit-notation-0.1.0.0/hpc_index.html