[all reports]
| Package |
circuit-notation-0.1.0.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-07-30 22:55:52.846880406 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, clash-prelude-1.8.1, containers-0.6.7, data-default-0.7.1.1, ghc-9.6.3, lens-5.3.2, mtl-2.3.1, parsec-3.1.16.1, pretty-1.1.3.6, pretty-show-1.10, syb-0.7.2.4, template-haskell-2.20.0.0, unordered-containers-0.2.20 |
| Flags |
none
|
Code Coverage
| expressions | 0% (0/313) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 100% (0/0) |
|---|
| local declarations | 100% (0/0) |
|---|
| top-level declarations | 0% (0/47) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting OneTuple-0.4.2
Starting assoc-1.1.1
Starting base16-bytestring-1.0.2.0
Starting base-orphans-0.9.2
Starting call-stack-0.4.0
Starting clock-0.8.4
Starting data-binary-ieee754-0.4.4
Starting data-default-class-0.1.2.0
Starting dlist-1.0
Starting half-0.3.1
Starting haskell-lexer-1.1.1
Starting indexed-traversable-0.1.4
Starting infinite-list-0.1.1
Starting old-locale-1.0.0.7
Starting parallel-3.2.2.0
Starting lazysmallcheck-0.6
Starting reflection-2.1.8
Starting safe-0.3.21
Starting semigroups-0.20
Starting singletons-3.0.3
Starting split-0.2.5
Starting tagged-0.8.8
Starting th-abstraction-0.7.0.0
Starting th-compat-0.1.5
Starting utf8-string-1.0.2
Starting vector-stream-0.1.0.1
Starting transformers-compat-0.7.2
Starting void-0.7.3
Starting base64-bytestring-1.2.1.0
Starting first-class-families-0.8.1.0
Starting os-string-2.0.6
Starting ghc-tcplugins-extra-0.4.6
Starting primitive-0.9.0.0
Starting StateVar-1.2.2
Starting splitmix-0.1.0.5
Starting syb-0.7.2.4
Building assoc-1.1.1
Building OneTuple-0.4.2
Building base16-bytestring-1.0.2.0
Building base-orphans-0.9.2
Building call-stack-0.4.0
Building clock-0.8.4
Building data-binary-ieee754-0.4.4
Building data-default-class-0.1.2.0
Building dlist-1.0
Building haskell-lexer-1.1.1
Building parallel-3.2.2.0
Building half-0.3.1
Building infinite-list-0.1.1
Building old-locale-1.0.0.7
Building indexed-traversable-0.1.4
Building th-compat-0.1.5
Building lazysmallcheck-0.6
Building safe-0.3.21
Building singletons-3.0.3
Building split-0.2.5
Building semigroups-0.20
Building th-abstraction-0.7.0.0
Building reflection-2.1.8
Building ghc-tcplugins-extra-0.4.6
Building utf8-string-1.0.2
Building tagged-0.8.8
Building vector-stream-0.1.0.1
Building base64-bytestring-1.2.1.0
Building os-string-2.0.6
Building transformers-compat-0.7.2
Building void-0.7.3
Building syb-0.7.2.4
Building splitmix-0.1.0.5
Building first-class-families-0.8.1.0
Building primitive-0.9.0.0
Building StateVar-1.2.2
Starting haskell-src-exts-1.23.1
Building haskell-src-exts-1.23.1
Completed assoc-1.1.1
Completed call-stack-0.4.0
Completed old-locale-1.0.0.7
Completed OneTuple-0.4.2
Completed void-0.7.3
Completed data-default-class-0.1.2.0
Starting data-default-instances-old-locale-0.0.1
Starting data-default-instances-containers-0.0.1
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Completed lazysmallcheck-0.6
Building data-default-instances-containers-0.0.1
Completed clock-0.8.4
Starting extra-1.7.16
Building data-default-instances-old-locale-0.0.1
Building contravariant-1.5.5
Completed semigroups-0.20
Completed data-binary-ieee754-0.4.4
Completed base16-bytestring-1.0.2.0
Building extra-1.7.16
Completed splitmix-0.1.0.5
Starting random-1.2.1.2
Completed split-0.2.5
Completed th-compat-0.1.5
Building random-1.2.1.2
Completed first-class-families-0.8.1.0
Completed infinite-list-0.1.1
Completed singletons-3.0.3
Completed safe-0.3.21
Completed half-0.3.1
Completed syb-0.7.2.4
Completed base-orphans-0.9.2
Completed dlist-1.0
Starting data-default-instances-dlist-0.0.1
Completed base64-bytestring-1.2.1.0
Starting text-conversions-0.3.1.1
Completed tagged-0.8.8
Starting boring-0.2.2
Starting distributive-0.6.2.1
Building data-default-instances-dlist-0.0.1
Completed parallel-3.2.2.0
Building text-conversions-0.3.1.1
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Completed vector-stream-0.1.0.1
Building boring-0.2.2
Building distributive-0.6.2.1
Completed utf8-string-1.0.2
Building transformers-base-0.4.6
Completed indexed-traversable-0.1.4
Completed reflection-2.1.8
Completed data-default-instances-old-locale-0.0.1
Completed data-default-instances-containers-0.0.1
Completed os-string-2.0.6
Starting hashable-1.4.7.0
Completed th-abstraction-0.7.0.0
Starting type-errors-0.2.0.2
Starting th-expand-syns-0.4.11.0
Starting th-lift-0.8.4
Completed contravariant-1.5.5
Building hashable-1.4.7.0
Building type-errors-0.2.0.2
Building th-lift-0.8.4
Building th-expand-syns-0.4.11.0
Completed data-default-instances-dlist-0.0.1
Starting data-default-0.7.1.1
Building data-default-0.7.1.1
Completed boring-0.2.2
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Building comonad-5.0.8
Completed primitive-0.9.0.0
Starting vector-0.13.1.0
Completed transformers-base-0.4.6
Completed text-conversions-0.3.1.1
Building vector-0.13.1.0
Completed extra-1.7.16
Completed type-errors-0.2.0.2
Completed th-expand-syns-0.4.11.0
Starting th-reify-many-0.1.10
Completed data-default-0.7.1.1
Completed th-lift-0.8.4
Building th-reify-many-0.1.10
Completed ghc-tcplugins-extra-0.4.6
Starting ghc-typelits-natnormalise-0.7.10
Building ghc-typelits-natnormalise-0.7.10
Completed hashable-1.4.7.0
Starting these-1.2.1
Starting constraints-0.14.2
Starting unordered-containers-0.2.20
Starting data-fix-0.3.4
Completed random-1.2.1.2
Starting QuickCheck-2.15.0.1
Building these-1.2.1
Building unordered-containers-0.2.20
Building constraints-0.14.2
Building data-fix-0.3.4
Building QuickCheck-2.15.0.1
Completed comonad-5.0.8
Starting bifunctors-5.6.2
Building bifunctors-5.6.2
Completed th-reify-many-0.1.10
Starting th-orphans-0.13.14
Building th-orphans-0.13.14
Completed haskell-lexer-1.1.1
Starting pretty-show-1.10
Building pretty-show-1.10
Completed data-fix-0.3.4
Completed these-1.2.1
Starting strict-0.5.1
Building strict-0.5.1
Completed constraints-0.14.2
Completed th-orphans-0.13.14
Completed pretty-show-1.10
Completed unordered-containers-0.2.20
Starting uniplate-1.6.13
Completed ghc-typelits-natnormalise-0.7.10
Starting ghc-typelits-knownnat-0.7.12
Building uniplate-1.6.13
Completed bifunctors-5.6.2
Starting profunctors-5.6.2
Starting semigroupoids-6.0.1
Building ghc-typelits-knownnat-0.7.12
Building profunctors-5.6.2
Building semigroupoids-6.0.1
Completed QuickCheck-2.15.0.1
Starting Stream-0.4.7.2
Building Stream-0.4.7.2
Completed strict-0.5.1
Completed Stream-0.4.7.2
Starting arrows-0.4.4.2
Building arrows-0.4.4.2
Completed uniplate-1.6.13
Completed vector-0.13.1.0
Starting indexed-traversable-instances-0.1.2
Completed profunctors-5.6.2
Starting invariant-0.6.3
Building indexed-traversable-instances-0.1.2
Building invariant-0.6.3
Completed ghc-typelits-knownnat-0.7.12
Starting ghc-typelits-extra-0.4.7
Completed semigroupoids-6.0.1
Starting free-5.2
Building ghc-typelits-extra-0.4.7
Building free-5.2
Completed arrows-0.4.4.2
Completed indexed-traversable-instances-0.1.2
Completed invariant-0.6.3
Completed ghc-typelits-extra-0.4.7
Completed free-5.2
Starting recursion-schemes-5.2.3
Starting adjunctions-4.4.2
Building recursion-schemes-5.2.3
Building adjunctions-4.4.2
Completed adjunctions-4.4.2
Starting kan-extensions-5.2.6
Building kan-extensions-5.2.6
Completed recursion-schemes-5.2.3
Completed kan-extensions-5.2.6
Starting lens-5.3.2
Building lens-5.3.2
Completed haskell-src-exts-1.23.1
Starting haskell-src-meta-0.8.14
Building haskell-src-meta-0.8.14
Completed haskell-src-meta-0.8.14
Starting string-interpolate-0.3.4.0
Building string-interpolate-0.3.4.0
Completed string-interpolate-0.3.4.0
Completed lens-5.3.2
Starting clash-prelude-1.8.1
Building clash-prelude-1.8.1
Completed clash-prelude-1.8.1
Downloading circuit-notation-0.1.0.0
Downloaded circuit-notation-0.1.0.0
Starting circuit-notation-0.1.0.0
Building circuit-notation-0.1.0.0
Completed circuit-notation-0.1.0.0
Test log
[view raw]
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