Build #1 for disco-0.2
| Package | disco-0.2 |
|---|
| Install | InstallFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2025-01-22 12:47:02.789537108 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.15.0.1, algebraic-graphs-0.7, arithmoi-0.13.0.0, base-4.18.1.0, boxes-0.1.5, constraints-0.14.2, containers-0.6.7, directory-1.3.8.1, edit-distance-0.2.2.1, exact-combinatorics-0.2.0.11, exceptions-0.10.7, fgl-5.8.3.0, filepath-1.4.100.4, haskeline-0.8.2.1, infinite-list-0.1.2, integer-logarithms-1.0.4, lens-5.3.3, megaparsec-9.6.1, mtl-2.3.1, oeis2-1.0.9, optparse-applicative-0.18.1.0, parser-combinators-1.3.0, polysemy-1.9.2.0, polysemy-plugin-0.4.5.2, pretty-show-1.10, prettyprinter-1.7.1, random-1.2.1.3, reflection-2.1.9, simple-enumeration-0.2.1, split-0.2.5, splitmix-0.1.1, text-2.0.2, transformers-0.6.1.0, unbound-generics-0.4.4, base-4.18.1.0, containers-0.6.7, directory-1.3.8.1, filepath-1.4.100.4, haskeline-0.8.2.1, lens-5.3.3, megaparsec-9.6.1, mtl-2.3.1, oeis2-1.0.9, optparse-applicative-0.18.1.0, transformers-0.6.1.0, unbound-generics-0.4.4 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting OneTuple-0.4.2
Starting appar-0.1.8
Starting assoc-1.1.1
Starting base16-bytestring-1.0.2.0
Starting base-orphans-0.9.3
Starting base64-bytestring-1.2.1.0
Starting byteorder-1.0.4
Starting cabal-doctest-1.0.11
Starting call-stack-0.4.0
Starting cereal-0.5.8.3
Starting character-ps-0.1
Starting data-default-0.8.0.0
Starting dlist-1.0
Starting exact-combinatorics-0.2.0.11
Starting first-class-families-0.8.1.0
Starting generically-0.1.1
Starting haskell-lexer-1.1.2
Starting indexed-traversable-0.1.4
Starting infinite-list-0.1.2
Starting integer-logarithms-1.0.4
Starting mime-types-0.1.2.0
Starting numtype-dk-0.5.0.3
Starting integer-roots-1.0.2.0
Starting parallel-3.2.2.0
Starting primitive-0.9.0.0
Starting reflection-2.1.9
Starting semigroups-0.20
Starting simple-enumeration-0.2.1
Starting tagged-0.8.9
Starting th-abstraction-0.7.1.0
Starting th-compat-0.1.6
Starting StateVar-1.2.2
Starting blaze-builder-0.4.2.3
Starting colour-2.3.6
Starting half-0.3.2
Starting fgl-5.8.3.0
Starting old-locale-1.0.0.7
Starting ghc-tcplugins-extra-0.4.6
Building OneTuple-0.4.2
Building cabal-doctest-1.0.11
Building base-orphans-0.9.3
Building appar-0.1.8
Building base16-bytestring-1.0.2.0
Building byteorder-1.0.4
Building call-stack-0.4.0
Building exact-combinatorics-0.2.0.11
Building cereal-0.5.8.3
Building character-ps-0.1
Building dlist-1.0
Building first-class-families-0.8.1.0
Starting parser-combinators-1.3.0
Starting split-0.2.5
Building indexed-traversable-0.1.4
Starting syb-0.7.2.4
Building assoc-1.1.1
Building base64-bytestring-1.2.1.0
Starting os-string-2.0.7
Building data-default-0.8.0.0
Building haskell-lexer-1.1.2
Building generically-0.1.1
Starting prettyprinter-1.7.1
Starting splitmix-0.1.1
Starting hourglass-0.2.12
Starting algebraic-graphs-0.7
Starting network-3.2.7.0
Building infinite-list-0.1.2
Starting basement-0.0.16
Building numtype-dk-0.5.0.3
Building mime-types-0.1.2.0
Building integer-roots-1.0.2.0
Building parallel-3.2.2.0
Building semigroups-0.20
Building primitive-0.9.0.0
Building reflection-2.1.9
Building simple-enumeration-0.2.1
Building tagged-0.8.9
Building th-abstraction-0.7.1.0
Building StateVar-1.2.2
Building th-compat-0.1.6
Building blaze-builder-0.4.2.3
Building colour-2.3.6
Building fgl-5.8.3.0
Building integer-logarithms-1.0.4
Building old-locale-1.0.0.7
Building ghc-tcplugins-extra-0.4.6
Building half-0.3.2
Building parser-combinators-1.3.0
Building split-0.2.5
Building syb-0.7.2.4
Building os-string-2.0.7
Building splitmix-0.1.1
Building hourglass-0.2.12
Building prettyprinter-1.7.1
Building algebraic-graphs-0.7
Building basement-0.0.16
Building network-3.2.7.0
Completed assoc-1.1.1
Starting transformers-compat-0.7.2
Completed call-stack-0.4.0
Starting unliftio-core-0.2.1.0
Completed generically-0.1.1
Starting vector-stream-0.1.0.1
Completed semigroups-0.20
Starting void-0.7.3
Building transformers-compat-0.7.2
Completed byteorder-1.0.4
Starting zlib-0.7.1.0
Building unliftio-core-0.2.1.0
Completed exact-combinatorics-0.2.0.11
Building vector-stream-0.1.0.1
Completed OneTuple-0.4.2
Building void-0.7.3
Building zlib-0.7.1.0
Completed integer-logarithms-1.0.4
Completed old-locale-1.0.0.7
Starting old-time-1.1.0.4
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Completed numtype-dk-0.5.0.3
Starting exact-pi-0.5.0.2
Completed first-class-families-0.8.1.0
Completed base16-bytestring-1.0.2.0
Building contravariant-1.5.5
Building exact-pi-0.5.0.2
Completed simple-enumeration-0.2.1
Completed split-0.2.5
Starting boxes-0.1.5
Completed appar-0.1.8
Completed character-ps-0.1
Building old-time-1.1.0.4
Building boxes-0.1.5
Completed parser-combinators-1.3.0
Completed splitmix-0.1.1
Starting random-1.2.1.3
Completed infinite-list-0.1.2
Completed th-compat-0.1.6
Starting network-uri-2.6.4.2
Completed dlist-1.0
Building random-1.2.1.3
Completed data-default-0.8.0.0
Starting data-default-class-0.2.0.0
Completed integer-roots-1.0.2.0
Building network-uri-2.6.4.2
Completed tagged-0.8.9
Starting boring-0.2.2
Building data-default-class-0.2.0.0
Completed base64-bytestring-1.2.1.0
Completed parallel-3.2.2.0
Building boring-0.2.2
Completed syb-0.7.2.4
Completed half-0.3.2
Completed colour-2.3.6
Starting ansi-terminal-types-1.1
Completed base-orphans-0.9.3
Starting distributive-0.6.2.1
Completed blaze-builder-0.4.2.3
Building ansi-terminal-types-1.1
Completed unliftio-core-0.2.1.0
Building distributive-0.6.2.1
Completed void-0.7.3
Completed indexed-traversable-0.1.4
Completed reflection-2.1.9
Completed mime-types-0.1.2.0
Completed cereal-0.5.8.3
Completed cabal-doctest-1.0.11
Completed th-abstraction-0.7.1.0
Starting type-errors-0.2.0.2
Completed exact-pi-0.5.0.2
Completed os-string-2.0.7
Starting hashable-1.4.7.0
Completed transformers-compat-0.7.2
Building type-errors-0.2.0.2
Starting transformers-base-0.4.6
Completed hourglass-0.2.12
Completed prettyprinter-1.7.1
Building transformers-base-0.4.6
Building hashable-1.4.7.0
Completed boxes-0.1.5
Completed contravariant-1.5.5
Completed fgl-5.8.3.0
Completed old-time-1.1.0.4
Starting unix-time-0.4.16
Completed vector-stream-0.1.0.1
Completed boring-0.2.2
Completed data-default-class-0.2.0.0
Starting cookie-0.5.0
Completed zlib-0.7.1.0
Completed ansi-terminal-types-1.1
Starting ansi-terminal-1.1.2
Building cookie-0.5.0
Completed primitive-0.9.0.0
Starting integer-conversion-0.1.1
Starting atomic-primops-0.8.8
Starting resourcet-1.3.0
Starting cborg-0.2.10.0
Building unix-time-0.4.16
Building ansi-terminal-1.1.2
Completed distributive-0.6.2.1
Starting comonad-5.0.9
Building atomic-primops-0.8.8
Building integer-conversion-0.1.1
Building cborg-0.2.10.0
Building resourcet-1.3.0
Building comonad-5.0.9
Completed network-3.2.7.0
Starting iproute-1.7.15
Completed network-uri-2.6.4.2
Completed ghc-tcplugins-extra-0.4.6
Completed transformers-base-0.4.6
Building iproute-1.7.15
Completed type-errors-0.2.0.2
Completed ansi-terminal-1.1.2
Starting prettyprinter-ansi-terminal-1.1.3
Completed random-1.2.1.3
Starting edit-distance-0.2.2.1
Starting QuickCheck-2.15.0.1
Completed algebraic-graphs-0.7
Building prettyprinter-ansi-terminal-1.1.3
Building edit-distance-0.2.2.1
Building QuickCheck-2.15.0.1
Completed cookie-0.5.0
Completed atomic-primops-0.8.8
Starting unagi-chan-0.4.1.4
Completed integer-conversion-0.1.1
Building unagi-chan-0.4.1.4
Completed unix-time-0.4.16
Completed haskell-lexer-1.1.2
Starting pretty-show-1.10
Completed resourcet-1.3.0
Completed hashable-1.4.7.0
Starting unordered-containers-0.2.20
Starting these-1.2.1
Starting text-short-0.1.6
Starting scientific-0.3.8.0
Starting async-2.2.5
Starting case-insensitive-1.2.1.0
Starting data-fix-0.3.4
Starting uuid-types-1.0.6
Starting time-compat-1.9.8
Starting constraints-0.14.2
Building pretty-show-1.10
Completed comonad-5.0.9
Starting bifunctors-5.6.2
Building unordered-containers-0.2.20
Building these-1.2.1
Building text-short-0.1.6
Building scientific-0.3.8.0
Building async-2.2.5
Building data-fix-0.3.4
Building case-insensitive-1.2.1.0
Building constraints-0.14.2
Building time-compat-1.9.8
Building uuid-types-1.0.6
Building bifunctors-5.6.2
Completed iproute-1.7.15
Completed prettyprinter-ansi-terminal-1.1.3
Starting prettyprinter-compat-ansi-wl-pprint-1.0.2
Starting optparse-applicative-0.18.1.0
Building optparse-applicative-0.18.1.0
Building prettyprinter-compat-ansi-wl-pprint-1.0.2
Completed edit-distance-0.2.2.1
Completed unagi-chan-0.4.1.4
Completed scientific-0.3.8.0
Starting attoparsec-0.14.4
Completed async-2.2.5
Starting typed-process-0.2.12.0
Starting streaming-commons-0.2.3.0
Starting polysemy-1.9.2.0
Completed text-short-0.1.6
Building attoparsec-0.14.4
Completed data-fix-0.3.4
Building typed-process-0.2.12.0
Building streaming-commons-0.2.3.0
Completed case-insensitive-1.2.1.0
Starting http-types-0.12.4
Starting megaparsec-9.6.1
Completed these-1.2.1
Starting strict-0.5.1
Building http-types-0.12.4
Building megaparsec-9.6.1
Completed pretty-show-1.10
Building strict-0.5.1
Completed uuid-types-1.0.6
Completed time-compat-1.9.8
Starting text-iso8601-0.1.1
Building polysemy-1.9.2.0
Completed prettyprinter-compat-ansi-wl-pprint-1.0.2
Starting ansi-wl-pprint-1.0.2
Building text-iso8601-0.1.1
Building ansi-wl-pprint-1.0.2
Completed basement-0.0.16
Starting socks-0.6.1
Starting memory-0.18.0
Building socks-0.6.1
Building memory-0.18.0
Completed constraints-0.14.2
Completed bifunctors-5.6.2
Starting profunctors-5.6.2
Completed QuickCheck-2.15.0.1
Building profunctors-5.6.2
Completed unordered-containers-0.2.20
Starting semirings-0.7
Starting semigroupoids-6.0.1
Completed ansi-wl-pprint-1.0.2
Completed typed-process-0.2.12.0
Building semirings-0.7
Building semigroupoids-6.0.1
Completed text-iso8601-0.1.1
Completed http-types-0.12.4
Completed optparse-applicative-0.18.1.0
Starting tasty-1.5.3
Building tasty-1.5.3
Completed strict-0.5.1
Completed streaming-commons-0.2.3.0
Starting http-client-0.7.18
Completed socks-0.6.1
Building http-client-0.7.18
Completed cborg-0.2.10.0
Completed memory-0.18.0
Starting pem-0.2.4
Starting asn1-types-0.3.4
Starting crypton-1.0.1
Completed attoparsec-0.14.4
Building pem-0.2.4
Building asn1-types-0.3.4
Building crypton-1.0.1
Completed megaparsec-9.6.1
Completed polysemy-1.9.2.0
Starting polysemy-plugin-0.4.5.2
Completed profunctors-5.6.2
Downloading unbound-generics-0.4.4
Starting invariant-0.6.4
Downloaded unbound-generics-0.4.4
Starting unbound-generics-0.4.4
Building invariant-0.6.4
Building unbound-generics-0.4.4
Completed semirings-0.7
Completed pem-0.2.4
Building polysemy-plugin-0.4.5.2
Completed asn1-types-0.3.4
Starting asn1-encoding-0.9.6
Building asn1-encoding-0.9.6
Completed semigroupoids-6.0.1
Starting free-5.2
Building free-5.2
Completed tasty-1.5.3
Starting vector-0.13.2.0
Building vector-0.13.2.0
Completed http-client-0.7.18
Completed asn1-encoding-0.9.6
Starting asn1-parse-0.9.5
Completed invariant-0.6.4
Building asn1-parse-0.9.5
Completed asn1-parse-0.9.5
Completed polysemy-plugin-0.4.5.2
Completed unbound-generics-0.4.4
Completed free-5.2
Starting adjunctions-4.4.2
Building adjunctions-4.4.2
Completed adjunctions-4.4.2
Starting kan-extensions-5.2.6
Building kan-extensions-5.2.6
Completed kan-extensions-5.2.6
Completed vector-0.13.2.0
Starting mod-0.2.0.1
Starting chimera-0.4.1.0
Starting serialise-0.2.6.1
Starting indexed-traversable-instances-0.1.2
Starting bitvec-1.1.5.0
Building mod-0.2.0.1
Building chimera-0.4.1.0
Building serialise-0.2.6.1
Building indexed-traversable-instances-0.1.2
Building bitvec-1.1.5.0
Completed indexed-traversable-instances-0.1.2
Starting semialign-1.3.1
Starting witherable-0.5
Starting lens-5.3.3
Building semialign-1.3.1
Building witherable-0.5
Building lens-5.3.3
Completed mod-0.2.0.1
Completed chimera-0.4.1.0
Starting arithmoi-0.13.0.0
Building arithmoi-0.13.0.0
Completed serialise-0.2.6.1
Completed bitvec-1.1.5.0
Starting vector-algorithms-0.9.0.3
Building vector-algorithms-0.9.0.3
Completed semialign-1.3.1
Completed witherable-0.5
Starting aeson-2.2.3.0
Building aeson-2.2.3.0
Completed crypton-1.0.1
Starting crypton-x509-1.7.7
Building crypton-x509-1.7.7
Completed crypton-x509-1.7.7
Starting crypton-x509-store-1.6.9
Building crypton-x509-store-1.6.9
Completed vector-algorithms-0.9.0.3
Starting mono-traversable-1.0.21.0
Building mono-traversable-1.0.21.0
Completed arithmoi-0.13.0.0
Completed crypton-x509-store-1.6.9
Starting crypton-x509-system-1.6.7
Starting crypton-x509-validation-1.6.13
Building crypton-x509-system-1.6.7
Building crypton-x509-validation-1.6.13
Completed crypton-x509-system-1.6.7
Completed crypton-x509-validation-1.6.13
Starting tls-2.1.6
Building tls-2.1.6
Completed mono-traversable-1.0.21.0
Starting conduit-1.3.6
Building conduit-1.3.6
Completed aeson-2.2.3.0
Starting attoparsec-aeson-2.2.2.0
Building attoparsec-aeson-2.2.2.0
Completed lens-5.3.3
Starting lens-aeson-1.2.3
Building lens-aeson-1.2.3
Completed attoparsec-aeson-2.2.2.0
Completed conduit-1.3.6
Starting conduit-extra-1.3.7
Building conduit-extra-1.3.7
Completed lens-aeson-1.2.3
Completed tls-2.1.6
Starting crypton-connection-0.4.3
Building crypton-connection-0.4.3
Completed conduit-extra-1.3.7
Completed crypton-connection-0.4.3
Starting http-client-tls-0.3.6.4
Building http-client-tls-0.3.6.4
Completed http-client-tls-0.3.6.4
Starting http-conduit-2.3.9.1
Building http-conduit-2.3.9.1
Completed http-conduit-2.3.9.1
Starting oeis2-1.0.9
Building oeis2-1.0.9
Completed oeis2-1.0.9
Downloading disco-0.2
Downloaded disco-0.2
Starting disco-0.2
Building disco-0.2
Failed to install disco-0.2
Build log ( /home/builder/.cabal/logs/ghc-9.6.3/disco-0.2-Ic5OYLGQ1QL1sNsEHodldc.log ):
cabal: Entering directory '/tmp/cabal-tmp-2138312/disco-0.2'
Configuring disco-0.2...
Preprocessing library for disco-0.2..
Building library for disco-0.2..
src/Disco/Desugar.hs:2:17: warning: [-Wunrecognised-warning-flags]
unrecognised warning flag: -fno-warn-x-data-list-nonempty-unzip
|
2 | {-# OPTIONS_GHC -fno-warn-x-data-list-nonempty-unzip #-}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 1 of 55] Compiling Disco.Data ( src/Disco/Data.hs, dist/build/Disco/Data.o, dist/build/Disco/Data.dyn_o )
[ 2 of 55] Compiling Disco.Effects.Counter ( src/Disco/Effects/Counter.hs, dist/build/Disco/Effects/Counter.o, dist/build/Disco/Effects/Counter.dyn_o )
[ 3 of 55] Compiling Disco.Effects.Input ( src/Disco/Effects/Input.hs, dist/build/Disco/Effects/Input.o, dist/build/Disco/Effects/Input.dyn_o )
[ 4 of 55] Compiling Disco.Effects.State ( src/Disco/Effects/State.hs, dist/build/Disco/Effects/State.o, dist/build/Disco/Effects/State.dyn_o )
[ 5 of 55] Compiling Disco.Effects.Store ( src/Disco/Effects/Store.hs, dist/build/Disco/Effects/Store.o, dist/build/Disco/Effects/Store.dyn_o )
[ 6 of 55] Compiling Disco.Exhaustiveness.Possibilities ( src/Disco/Exhaustiveness/Possibilities.hs, dist/build/Disco/Exhaustiveness/Possibilities.o, dist/build/Disco/Exhaustiveness/Possibilities.dyn_o )
[ 7 of 55] Compiling Disco.Extensions ( src/Disco/Extensions.hs, dist/build/Disco/Extensions.o, dist/build/Disco/Extensions.dyn_o )
[ 8 of 55] Compiling Disco.Report ( src/Disco/Report.hs, dist/build/Disco/Report.o, dist/build/Disco/Report.dyn_o )
[ 9 of 55] Compiling Disco.Syntax.Operators ( src/Disco/Syntax/Operators.hs, dist/build/Disco/Syntax/Operators.o, dist/build/Disco/Syntax/Operators.dyn_o )
[10 of 55] Compiling Disco.Pretty.Prec ( src/Disco/Pretty/Prec.hs, dist/build/Disco/Pretty/Prec.o, dist/build/Disco/Pretty/Prec.dyn_o )
[11 of 55] Compiling Disco.Pretty.DSL ( src/Disco/Pretty/DSL.hs, dist/build/Disco/Pretty/DSL.o, dist/build/Disco/Pretty/DSL.dyn_o )
[12 of 55] Compiling Disco.Syntax.Prims ( src/Disco/Syntax/Prims.hs, dist/build/Disco/Syntax/Prims.o, dist/build/Disco/Syntax/Prims.dyn_o )
[13 of 55] Compiling Disco.Util ( src/Disco/Util.hs, dist/build/Disco/Util.o, dist/build/Disco/Util.dyn_o )
[14 of 55] Compiling Disco.Doc ( src/Disco/Doc.hs, dist/build/Disco/Doc.o, dist/build/Disco/Doc.dyn_o )
[15 of 55] Compiling Paths_disco ( dist/build/autogen/Paths_disco.hs, dist/build/Paths_disco.o, dist/build/Paths_disco.dyn_o )
[16 of 55] Compiling Polysemy.ConstraintAbsorber ( src/Polysemy/ConstraintAbsorber.hs, dist/build/Polysemy/ConstraintAbsorber.o, dist/build/Polysemy/ConstraintAbsorber.dyn_o )
[17 of 55] Compiling Disco.Effects.LFresh ( src/Disco/Effects/LFresh.hs, dist/build/Disco/Effects/LFresh.o, dist/build/Disco/Effects/LFresh.dyn_o )
[18 of 55] Compiling Disco.Pretty ( src/Disco/Pretty.hs, dist/build/Disco/Pretty.o, dist/build/Disco/Pretty.dyn_o )
[19 of 55] Compiling Disco.Types.Qualifiers ( src/Disco/Types/Qualifiers.hs, dist/build/Disco/Types/Qualifiers.o, dist/build/Disco/Types/Qualifiers.dyn_o )
[20 of 55] Compiling Disco.Typecheck.Graph ( src/Disco/Typecheck/Graph.hs, dist/build/Disco/Typecheck/Graph.o, dist/build/Disco/Typecheck/Graph.dyn_o )
[21 of 55] Compiling Disco.Subst ( src/Disco/Subst.hs, dist/build/Disco/Subst.o, dist/build/Disco/Subst.dyn_o )
[22 of 55] Compiling Disco.Types ( src/Disco/Types.hs, dist/build/Disco/Types.o, dist/build/Disco/Types.dyn_o )
[23 of 55] Compiling Disco.Types.Rules ( src/Disco/Types/Rules.hs, dist/build/Disco/Types/Rules.o, dist/build/Disco/Types/Rules.dyn_o )
[24 of 55] Compiling Disco.Typecheck.Constraints ( src/Disco/Typecheck/Constraints.hs, dist/build/Disco/Typecheck/Constraints.o, dist/build/Disco/Typecheck/Constraints.dyn_o )
[25 of 55] Compiling Disco.Typecheck.Unify ( src/Disco/Typecheck/Unify.hs, dist/build/Disco/Typecheck/Unify.o, dist/build/Disco/Typecheck/Unify.dyn_o )
[26 of 55] Compiling Disco.Names ( src/Disco/Names.hs, dist/build/Disco/Names.o, dist/build/Disco/Names.dyn_o )
[27 of 55] Compiling Disco.Context ( src/Disco/Context.hs, dist/build/Disco/Context.o, dist/build/Disco/Context.dyn_o )
[28 of 55] Compiling Disco.Messages ( src/Disco/Messages.hs, dist/build/Disco/Messages.o, dist/build/Disco/Messages.dyn_o )
[29 of 55] Compiling Disco.AST.Generic ( src/Disco/AST/Generic.hs, dist/build/Disco/AST/Generic.o, dist/build/Disco/AST/Generic.dyn_o )
[30 of 55] Compiling Disco.AST.Desugared ( src/Disco/AST/Desugared.hs, dist/build/Disco/AST/Desugared.o, dist/build/Disco/AST/Desugared.dyn_o )
[31 of 55] Compiling Disco.AST.Surface ( src/Disco/AST/Surface.hs, dist/build/Disco/AST/Surface.o, dist/build/Disco/AST/Surface.dyn_o )
[32 of 55] Compiling Disco.AST.Typed ( src/Disco/AST/Typed.hs, dist/build/Disco/AST/Typed.o, dist/build/Disco/AST/Typed.dyn_o )
[33 of 55] Compiling Disco.Typecheck.Erase ( src/Disco/Typecheck/Erase.hs, dist/build/Disco/Typecheck/Erase.o, dist/build/Disco/Typecheck/Erase.dyn_o )
[34 of 55] Compiling Disco.AST.Core ( src/Disco/AST/Core.hs, dist/build/Disco/AST/Core.o, dist/build/Disco/AST/Core.dyn_o )
[35 of 55] Compiling Disco.Effects.Fresh ( src/Disco/Effects/Fresh.hs, dist/build/Disco/Effects/Fresh.o, dist/build/Disco/Effects/Fresh.dyn_o )
[36 of 55] Compiling Disco.Typecheck.Solve ( src/Disco/Typecheck/Solve.hs, dist/build/Disco/Typecheck/Solve.o, dist/build/Disco/Typecheck/Solve.dyn_o )
[37 of 55] Compiling Disco.Typecheck.Util ( src/Disco/Typecheck/Util.hs, dist/build/Disco/Typecheck/Util.o, dist/build/Disco/Typecheck/Util.dyn_o )
[38 of 55] Compiling Disco.Module ( src/Disco/Module.hs, dist/build/Disco/Module.o, dist/build/Disco/Module.dyn_o )
[39 of 55] Compiling Disco.Parser ( src/Disco/Parser.hs, dist/build/Disco/Parser.o, dist/build/Disco/Parser.dyn_o )
[40 of 55] Compiling Disco.Error ( src/Disco/Error.hs, dist/build/Disco/Error.o, dist/build/Disco/Error.dyn_o )
[41 of 55] Compiling Disco.Value ( src/Disco/Value.hs, dist/build/Disco/Value.o, dist/build/Disco/Value.dyn_o )
[42 of 55] Compiling Disco.Enumerate ( src/Disco/Enumerate.hs, dist/build/Disco/Enumerate.o, dist/build/Disco/Enumerate.dyn_o )
[43 of 55] Compiling Disco.Typecheck ( src/Disco/Typecheck.hs, dist/build/Disco/Typecheck.o, dist/build/Disco/Typecheck.dyn_o )
[44 of 55] Compiling Disco.Exhaustiveness.TypeInfo ( src/Disco/Exhaustiveness/TypeInfo.hs, dist/build/Disco/Exhaustiveness/TypeInfo.o, dist/build/Disco/Exhaustiveness/TypeInfo.dyn_o )
[45 of 55] Compiling Disco.Exhaustiveness.Constraint ( src/Disco/Exhaustiveness/Constraint.hs, dist/build/Disco/Exhaustiveness/Constraint.o, dist/build/Disco/Exhaustiveness/Constraint.dyn_o )
[46 of 55] Compiling Disco.Exhaustiveness ( src/Disco/Exhaustiveness.hs, dist/build/Disco/Exhaustiveness.o, dist/build/Disco/Exhaustiveness.dyn_o )
[47 of 55] Compiling Disco.Desugar ( src/Disco/Desugar.hs, dist/build/Disco/Desugar.o, dist/build/Disco/Desugar.dyn_o )
[48 of 55] Compiling Disco.Compile ( src/Disco/Compile.hs, dist/build/Disco/Compile.o, dist/build/Disco/Compile.dyn_o )
[49 of 55] Compiling Polysemy.ConstraintAbsorber.MonadCatch ( src/Polysemy/ConstraintAbsorber/MonadCatch.hs, dist/build/Polysemy/ConstraintAbsorber/MonadCatch.o, dist/build/Polysemy/ConstraintAbsorber/MonadCatch.dyn_o )
[50 of 55] Compiling Polysemy.Random ( src/Polysemy/Random.hs, dist/build/Polysemy/Random.o, dist/build/Polysemy/Random.dyn_o )
[51 of 55] Compiling Disco.Property ( src/Disco/Property.hs, dist/build/Disco/Property.o, dist/build/Disco/Property.dyn_o )
[52 of 55] Compiling Disco.Interpret.CESK ( src/Disco/Interpret/CESK.hs, dist/build/Disco/Interpret/CESK.o, dist/build/Disco/Interpret/CESK.dyn_o )
[53 of 55] Compiling Disco.Eval ( src/Disco/Eval.hs, dist/build/Disco/Eval.o, dist/build/Disco/Eval.dyn_o )
[54 of 55] Compiling Disco.Interactive.Commands ( src/Disco/Interactive/Commands.hs, dist/build/Disco/Interactive/Commands.o, dist/build/Disco/Interactive/Commands.dyn_o )
[55 of 55] Compiling Disco.Interactive.CmdLine ( src/Disco/Interactive/CmdLine.hs, dist/build/Disco/Interactive/CmdLine.o, dist/build/Disco/Interactive/CmdLine.dyn_o )
Preprocessing executable 'disco' for disco-0.2..
Building executable 'disco' for disco-0.2..
[1 of 1] Compiling Main ( repl/REPL.hs, dist/build/disco/disco-tmp/Main.o )
[2 of 2] Linking dist/build/disco/disco
Preprocessing library for disco-0.2..
Running Haddock on library for disco-0.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
src/Disco/Desugar.hs:2:17: warning: [-Wunrecognised-warning-flags]
unrecognised warning flag: -fno-warn-x-data-list-nonempty-unzip
|
2 | {-# OPTIONS_GHC -fno-warn-x-data-list-nonempty-unzip #-}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
100% ( 1 / 1) in 'Disco.Data'
80% ( 4 / 5) in 'Disco.Effects.Counter'
Missing documentation for:
Counter (src/Disco/Effects/Counter.hs:21)
100% ( 4 / 4) in 'Disco.Effects.Input'
50% ( 3 / 6) in 'Disco.Effects.State'
Missing documentation for:
use (src/Disco/Effects/State.hs:35)
%= (src/Disco/Effects/State.hs:43)
.= (src/Disco/Effects/State.hs:40)
20% ( 2 / 10) in 'Disco.Effects.Store'
Missing documentation for:
Store (src/Disco/Effects/Store.hs:26)
keepKeys (src/Disco/Effects/Store.hs:35)
assocsStore (src/Disco/Effects/Store.hs:35)
mapStore (src/Disco/Effects/Store.hs:35)
insertStore (src/Disco/Effects/Store.hs:35)
lookupStore (src/Disco/Effects/Store.hs:35)
new (src/Disco/Effects/Store.hs:35)
clearStore (src/Disco/Effects/Store.hs:35)
28% ( 2 / 7) in 'Disco.Exhaustiveness.Possibilities'
Missing documentation for:
Possibilities (src/Disco/Exhaustiveness/Possibilities.hs:16)
retSingle (src/Disco/Exhaustiveness/Possibilities.hs:25)
anyOf (src/Disco/Exhaustiveness/Possibilities.hs:19)
none (src/Disco/Exhaustiveness/Possibilities.hs:22)
getPossibilities (src/Disco/Exhaustiveness/Possibilities.hs:16)
85% ( 6 / 7) in 'Disco.Extensions'
Missing documentation for:
ExtSet (src/Disco/Extensions.hs:22)
11% ( 1 / 9) in 'Disco.Report'
Missing documentation for:
Report (src/Disco/Report.hs:24)
text (src/Disco/Report.hs:32)
hcat (src/Disco/Report.hs:35)
hsep (src/Disco/Report.hs:38)
vcat (src/Disco/Report.hs:41)
vsep (src/Disco/Report.hs:44)
list (src/Disco/Report.hs:47)
nest (src/Disco/Report.hs:50)
94% ( 18 / 19) in 'Disco.Syntax.Operators'
Missing documentation for:
opNames (src/Disco/Syntax/Operators.hs:257)
7% ( 1 / 14) in 'Disco.Pretty.Prec'
Missing documentation for:
Prec (src/Disco/Pretty/Prec.hs:19)
PA (src/Disco/Pretty/Prec.hs:21)
lowerPrec (src/Disco/Pretty/Prec.hs:24)
initPA (src/Disco/Pretty/Prec.hs:45)
ascrPA (src/Disco/Pretty/Prec.hs:48)
funPA (src/Disco/Pretty/Prec.hs:51)
rPA (src/Disco/Pretty/Prec.hs:54)
tarrPA (src/Disco/Pretty/Prec.hs:57)
taddPA (src/Disco/Pretty/Prec.hs:57)
tmulPA (src/Disco/Pretty/Prec.hs:57)
tfunPA (src/Disco/Pretty/Prec.hs:57)
ugetPA (src/Disco/Pretty/Prec.hs:65)
getPA (src/Disco/Pretty/Prec.hs:68)
4% ( 1 / 24) in 'Disco.Pretty.DSL'
Missing documentation for:
vcat (src/Disco/Pretty/DSL.hs:33)
hcat (src/Disco/Pretty/DSL.hs:36)
hsep (src/Disco/Pretty/DSL.hs:39)
parens (src/Disco/Pretty/DSL.hs:42)
brackets (src/Disco/Pretty/DSL.hs:45)
braces (src/Disco/Pretty/DSL.hs:48)
bag (src/Disco/Pretty/DSL.hs:51)
quotes (src/Disco/Pretty/DSL.hs:54)
doubleQuotes (src/Disco/Pretty/DSL.hs:57)
text (src/Disco/Pretty/DSL.hs:60)
integer (src/Disco/Pretty/DSL.hs:63)
nest (src/Disco/Pretty/DSL.hs:66)
indent (src/Disco/Pretty/DSL.hs:69)
hang (src/Disco/Pretty/DSL.hs:72)
empty (src/Disco/Pretty/DSL.hs:75)
<+> (src/Disco/Pretty/DSL.hs:78)
<> (src/Disco/Pretty/DSL.hs:81)
$+$ (src/Disco/Pretty/DSL.hs:84)
punctuate (src/Disco/Pretty/DSL.hs:90)
intercalate (src/Disco/Pretty/DSL.hs:93)
bulletList (src/Disco/Pretty/DSL.hs:98)
renderDoc (src/Disco/Pretty/DSL.hs:104)
renderDoc' (src/Disco/Pretty/DSL.hs:107)
100% ( 6 / 6) in 'Disco.Syntax.Prims'
Warning: 'Map' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'partition' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'partitionEithers' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 10 / 10) in 'Disco.Util'
71% ( 5 / 7) in 'Disco.Doc'
Missing documentation for:
mkRef (src/Disco/Doc.hs:45)
mkIntro (src/Disco/Doc.hs:48)
45% ( 5 / 11) in 'Disco.Effects.LFresh'
Missing documentation for:
getAvoids (src/Disco/Effects/LFresh.hs:32)
avoid (src/Disco/Effects/LFresh.hs:32)
lfresh (src/Disco/Effects/LFresh.hs:32)
runLFresh' (src/Disco/Effects/LFresh.hs:39)
absorbLFresh (src/Disco/Effects/LFresh.hs:98)
LFreshDict (src/Disco/Effects/LFresh.hs:102)
70% ( 12 / 17) in 'Disco.Pretty'
Missing documentation for:
Pretty (src/Disco/Pretty.hs:83)
pretty' (src/Disco/Pretty.hs:89)
prettyStr (src/Disco/Pretty.hs:86)
findRep (src/Disco/Pretty.hs:171)
findRep' (src/Disco/Pretty.hs:174)
Warning: 'hasQual' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'qualRules' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'CQual' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 6 / 6) in 'Disco.Types.Qualifiers'
93% ( 14 / 15) in 'Disco.Typecheck.Graph'
Missing documentation for:
wccIDs (src/Disco/Typecheck/Graph.hs:111)
Warning: 'S' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 14 / 14) in 'Disco.Subst'
67% ( 49 / 73) in 'Disco.Types'
Missing documentation for:
U (src/Disco/Types.hs:227)
S (src/Disco/Types.hs:230)
TyVar (src/Disco/Types.hs:432)
TySkolem (src/Disco/Types.hs:435)
TyVoid (src/Disco/Types.hs:438)
TyUnit (src/Disco/Types.hs:441)
TyBool (src/Disco/Types.hs:444)
TyProp (src/Disco/Types.hs:447)
TyN (src/Disco/Types.hs:450)
TyZ (src/Disco/Types.hs:453)
TyF (src/Disco/Types.hs:456)
TyQ (src/Disco/Types.hs:459)
TyC (src/Disco/Types.hs:462)
TyGen (src/Disco/Types.hs:465)
:->: (src/Disco/Types.hs:473)
:*: (src/Disco/Types.hs:478)
:+: (src/Disco/Types.hs:483)
TyList (src/Disco/Types.hs:486)
TyBag (src/Disco/Types.hs:489)
TySet (src/Disco/Types.hs:492)
TyGraph (src/Disco/Types.hs:498)
TyMap (src/Disco/Types.hs:501)
TyContainer (src/Disco/Types.hs:495)
TyString (src/Disco/Types.hs:508)
100% ( 25 / 25) in 'Disco.Types.Rules'
50% ( 2 / 4) in 'Disco.Typecheck.Constraints'
Missing documentation for:
cAnd (src/Disco/Typecheck/Constraints.hs:56)
cOr (src/Disco/Typecheck/Constraints.hs:65)
50% ( 4 / 8) in 'Disco.Typecheck.Unify'
Missing documentation for:
equate (src/Disco/Typecheck/Unify.hs:117)
occurs (src/Disco/Typecheck/Unify.hs:122)
unifyAtoms (src/Disco/Typecheck/Unify.hs:125)
unifyUAtoms (src/Disco/Typecheck/Unify.hs:131)
85% ( 12 / 14) in 'Disco.Names'
Missing documentation for:
substQ (src/Disco/Names.hs:108)
substsQ (src/Disco/Names.hs:111)
100% ( 34 / 34) in 'Disco.Context'
7% ( 1 / 14) in 'Disco.Messages'
Missing documentation for:
MessageType (src/Disco/Messages.hs:22)
Message (src/Disco/Messages.hs:29)
messageType (src/Disco/Messages.hs:32)
message (src/Disco/Messages.hs:32)
handleMsg (src/Disco/Messages.hs:34)
printMsg (src/Disco/Messages.hs:37)
msg (src/Disco/Messages.hs:40)
info (src/Disco/Messages.hs:43)
infoPretty (src/Disco/Messages.hs:46)
warn (src/Disco/Messages.hs:49)
debug (src/Disco/Messages.hs:52)
debugPretty (src/Disco/Messages.hs:55)
err (src/Disco/Messages.hs:58)
Warning: 'd' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
41% ( 35 / 84) in 'Disco.AST.Generic'
Missing documentation for:
X_TVar (src/Disco/AST/Generic.hs:239)
X_TPrim (src/Disco/AST/Generic.hs:240)
X_TLet (src/Disco/AST/Generic.hs:241)
X_TParens (src/Disco/AST/Generic.hs:242)
X_TUnit (src/Disco/AST/Generic.hs:243)
X_TBool (src/Disco/AST/Generic.hs:244)
X_TNat (src/Disco/AST/Generic.hs:245)
X_TRat (src/Disco/AST/Generic.hs:246)
X_TChar (src/Disco/AST/Generic.hs:247)
X_TString (src/Disco/AST/Generic.hs:248)
X_TAbs (src/Disco/AST/Generic.hs:249)
X_TApp (src/Disco/AST/Generic.hs:250)
X_TTup (src/Disco/AST/Generic.hs:251)
X_TCase (src/Disco/AST/Generic.hs:252)
X_TChain (src/Disco/AST/Generic.hs:253)
X_TTyOp (src/Disco/AST/Generic.hs:254)
X_TContainer (src/Disco/AST/Generic.hs:255)
X_TContainerComp (src/Disco/AST/Generic.hs:256)
X_TAscr (src/Disco/AST/Generic.hs:257)
X_Term (src/Disco/AST/Generic.hs:258)
ForallTerm (src/Disco/AST/Generic.hs:327)
X_TLink (src/Disco/AST/Generic.hs:373)
ForallLink (src/Disco/AST/Generic.hs:384)
X_QBind (src/Disco/AST/Generic.hs:398)
X_QGuard (src/Disco/AST/Generic.hs:399)
ForallQual (src/Disco/AST/Generic.hs:411)
X_GBool (src/Disco/AST/Generic.hs:449)
X_GPat (src/Disco/AST/Generic.hs:450)
X_GLet (src/Disco/AST/Generic.hs:451)
ForallGuard (src/Disco/AST/Generic.hs:463)
X_PVar (src/Disco/AST/Generic.hs:481)
X_PWild (src/Disco/AST/Generic.hs:482)
X_PAscr (src/Disco/AST/Generic.hs:483)
X_PUnit (src/Disco/AST/Generic.hs:484)
X_PBool (src/Disco/AST/Generic.hs:485)
X_PTup (src/Disco/AST/Generic.hs:486)
X_PInj (src/Disco/AST/Generic.hs:487)
X_PNat (src/Disco/AST/Generic.hs:488)
X_PChar (src/Disco/AST/Generic.hs:489)
X_PString (src/Disco/AST/Generic.hs:490)
X_PCons (src/Disco/AST/Generic.hs:491)
X_PList (src/Disco/AST/Generic.hs:492)
X_PAdd (src/Disco/AST/Generic.hs:493)
X_PMul (src/Disco/AST/Generic.hs:494)
X_PSub (src/Disco/AST/Generic.hs:495)
X_PNeg (src/Disco/AST/Generic.hs:496)
X_PFrac (src/Disco/AST/Generic.hs:497)
X_Pattern (src/Disco/AST/Generic.hs:498)
ForallPattern (src/Disco/AST/Generic.hs:544)
Warning: 'ATerm' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
19% ( 6 / 31) in 'Disco.AST.Desugared'
Missing documentation for:
DTVar (src/Disco/AST/Desugared.hs:110)
DTPrim (src/Disco/AST/Desugared.hs:113)
DTUnit (src/Disco/AST/Desugared.hs:116)
DTBool (src/Disco/AST/Desugared.hs:119)
DTChar (src/Disco/AST/Desugared.hs:128)
DTNat (src/Disco/AST/Desugared.hs:122)
DTRat (src/Disco/AST/Desugared.hs:125)
DTAbs (src/Disco/AST/Desugared.hs:131)
DTApp (src/Disco/AST/Desugared.hs:134)
DTPair (src/Disco/AST/Desugared.hs:137)
DTCase (src/Disco/AST/Desugared.hs:140)
DTTyOp (src/Disco/AST/Desugared.hs:143)
DTNil (src/Disco/AST/Desugared.hs:146)
DBinding (src/Disco/AST/Desugared.hs:174)
DBinding (src/Disco/AST/Desugared.hs:176)
DBranch (src/Disco/AST/Desugared.hs:181)
DGuard (src/Disco/AST/Desugared.hs:183)
DGPat (src/Disco/AST/Desugared.hs:189)
DPattern (src/Disco/AST/Desugared.hs:194)
DPVar (src/Disco/AST/Desugared.hs:226)
DPWild (src/Disco/AST/Desugared.hs:231)
DPUnit (src/Disco/AST/Desugared.hs:236)
DPPair (src/Disco/AST/Desugared.hs:239)
DPInj (src/Disco/AST/Desugared.hs:244)
DProperty (src/Disco/AST/Desugared.hs:60)
34% ( 31 / 89) in 'Disco.AST.Surface'
Missing documentation for:
emptyModule (src/Disco/AST/Surface.hs:153)
partitionDecls (src/Disco/AST/Surface.hs:212)
Term (src/Disco/AST/Surface.hs:243)
TVar (src/Disco/AST/Surface.hs:272)
TPrim (src/Disco/AST/Surface.hs:275)
TUn (src/Disco/AST/Surface.hs:278)
TBin (src/Disco/AST/Surface.hs:281)
TLet (src/Disco/AST/Surface.hs:284)
TParens (src/Disco/AST/Surface.hs:287)
TUnit (src/Disco/AST/Surface.hs:290)
TBool (src/Disco/AST/Surface.hs:293)
TChar (src/Disco/AST/Surface.hs:302)
TString (src/Disco/AST/Surface.hs:305)
TNat (src/Disco/AST/Surface.hs:296)
TRat (src/Disco/AST/Surface.hs:299)
TAbs (src/Disco/AST/Surface.hs:308)
TApp (src/Disco/AST/Surface.hs:311)
TTup (src/Disco/AST/Surface.hs:314)
TCase (src/Disco/AST/Surface.hs:317)
TChain (src/Disco/AST/Surface.hs:320)
TTyOp (src/Disco/AST/Surface.hs:323)
TContainerComp (src/Disco/AST/Surface.hs:329)
TContainer (src/Disco/AST/Surface.hs:326)
TAscr (src/Disco/AST/Surface.hs:332)
TWild (src/Disco/AST/Surface.hs:338)
TList (src/Disco/AST/Surface.hs:364)
TListComp (src/Disco/AST/Surface.hs:369)
Link (src/Disco/AST/Surface.hs:372)
TLink (src/Disco/AST/Surface.hs:376)
Binding (src/Disco/AST/Surface.hs:394)
Qual (src/Disco/AST/Surface.hs:381)
QBind (src/Disco/AST/Surface.hs:386)
QGuard (src/Disco/AST/Surface.hs:389)
Branch (src/Disco/AST/Surface.hs:401)
Guard (src/Disco/AST/Surface.hs:403)
GBool (src/Disco/AST/Surface.hs:409)
GPat (src/Disco/AST/Surface.hs:412)
GLet (src/Disco/AST/Surface.hs:415)
Pattern (src/Disco/AST/Surface.hs:420)
PVar (src/Disco/AST/Surface.hs:441)
PWild (src/Disco/AST/Surface.hs:444)
PAscr (src/Disco/AST/Surface.hs:449)
PUnit (src/Disco/AST/Surface.hs:452)
PBool (src/Disco/AST/Surface.hs:455)
PChar (src/Disco/AST/Surface.hs:458)
PString (src/Disco/AST/Surface.hs:461)
PTup (src/Disco/AST/Surface.hs:464)
PInj (src/Disco/AST/Surface.hs:467)
PNat (src/Disco/AST/Surface.hs:470)
PCons (src/Disco/AST/Surface.hs:473)
PList (src/Disco/AST/Surface.hs:476)
PAdd (src/Disco/AST/Surface.hs:479)
PMul (src/Disco/AST/Surface.hs:482)
PSub (src/Disco/AST/Surface.hs:485)
PNeg (src/Disco/AST/Surface.hs:488)
PFrac (src/Disco/AST/Surface.hs:491)
PNonlinear (src/Disco/AST/Surface.hs:494)
Binding (src/Disco/AST/Surface.hs:396)
13% ( 8 / 60) in 'Disco.AST.Typed'
Missing documentation for:
ATVar (src/Disco/AST/Typed.hs:142)
ATPrim (src/Disco/AST/Typed.hs:145)
ATLet (src/Disco/AST/Typed.hs:148)
ATUnit (src/Disco/AST/Typed.hs:151)
ATBool (src/Disco/AST/Typed.hs:154)
ATNat (src/Disco/AST/Typed.hs:157)
ATRat (src/Disco/AST/Typed.hs:160)
ATChar (src/Disco/AST/Typed.hs:163)
ATString (src/Disco/AST/Typed.hs:166)
ATAbs (src/Disco/AST/Typed.hs:169)
ATApp (src/Disco/AST/Typed.hs:172)
ATTup (src/Disco/AST/Typed.hs:175)
ATCase (src/Disco/AST/Typed.hs:178)
ATChain (src/Disco/AST/Typed.hs:181)
ATTyOp (src/Disco/AST/Typed.hs:184)
ATContainer (src/Disco/AST/Typed.hs:187)
ATContainerComp (src/Disco/AST/Typed.hs:190)
ATList (src/Disco/AST/Typed.hs:217)
ATListComp (src/Disco/AST/Typed.hs:222)
ATTest (src/Disco/AST/Typed.hs:193)
ALink (src/Disco/AST/Typed.hs:225)
ATLink (src/Disco/AST/Typed.hs:229)
ABinding (src/Disco/AST/Typed.hs:247)
ABranch (src/Disco/AST/Typed.hs:254)
AGuard (src/Disco/AST/Typed.hs:256)
AGBool (src/Disco/AST/Typed.hs:262)
AGPat (src/Disco/AST/Typed.hs:265)
AGLet (src/Disco/AST/Typed.hs:268)
AQual (src/Disco/AST/Typed.hs:234)
AQBind (src/Disco/AST/Typed.hs:239)
AQGuard (src/Disco/AST/Typed.hs:242)
APattern (src/Disco/AST/Typed.hs:273)
APVar (src/Disco/AST/Typed.hs:298)
APWild (src/Disco/AST/Typed.hs:303)
APUnit (src/Disco/AST/Typed.hs:308)
APBool (src/Disco/AST/Typed.hs:311)
APTup (src/Disco/AST/Typed.hs:320)
APInj (src/Disco/AST/Typed.hs:325)
APNat (src/Disco/AST/Typed.hs:330)
APChar (src/Disco/AST/Typed.hs:314)
APString (src/Disco/AST/Typed.hs:317)
APCons (src/Disco/AST/Typed.hs:335)
APList (src/Disco/AST/Typed.hs:340)
APAdd (src/Disco/AST/Typed.hs:345)
APMul (src/Disco/AST/Typed.hs:350)
APSub (src/Disco/AST/Typed.hs:355)
APNeg (src/Disco/AST/Typed.hs:360)
APFrac (src/Disco/AST/Typed.hs:365)
ABinding (src/Disco/AST/Typed.hs:249)
varsBound (src/Disco/AST/Typed.hs:389)
substQT (src/Disco/AST/Typed.hs:475)
AProperty (src/Disco/AST/Typed.hs:104)
15% ( 2 / 13) in 'Disco.Typecheck.Erase'
Missing documentation for:
eraseBinding (src/Disco/Typecheck/Erase.hs:53)
erasePattern (src/Disco/Typecheck/Erase.hs:56)
eraseBranch (src/Disco/Typecheck/Erase.hs:74)
eraseGuard (src/Disco/Typecheck/Erase.hs:79)
eraseLink (src/Disco/Typecheck/Erase.hs:84)
eraseQual (src/Disco/Typecheck/Erase.hs:87)
eraseProperty (src/Disco/Typecheck/Erase.hs:91)
eraseDTerm (src/Disco/Typecheck/Erase.hs:97)
eraseDBranch (src/Disco/Typecheck/Erase.hs:115)
eraseDGuard (src/Disco/Typecheck/Erase.hs:120)
eraseDPattern (src/Disco/Typecheck/Erase.hs:123)
62% ( 5 / 8) in 'Disco.AST.Core'
Missing documentation for:
ShouldMemo (src/Disco/AST/Core.hs:45)
substQC (src/Disco/AST/Core.hs:246)
substsQC (src/Disco/AST/Core.hs:253)
81% ( 9 / 11) in 'Disco.Effects.Fresh'
Missing documentation for:
fresh (src/Disco/Effects/Fresh.hs:34)
FreshDict (src/Disco/Effects/Fresh.hs:95)
52% ( 26 / 50) in 'Disco.Typecheck.Solve'
Missing documentation for:
runSolve (src/Disco/Typecheck/Solve.hs:92)
SimpleConstraint (src/Disco/Typecheck/Solve.hs:134)
tyVarSort (src/Disco/Typecheck/Solve.hs:162)
tyVarIlk (src/Disco/Typecheck/Solve.hs:162)
SimplifyState (src/Disco/Typecheck/Solve.hs:244)
ssVarMap (src/Disco/Typecheck/Solve.hs:251)
ssSubst (src/Disco/Typecheck/Solve.hs:251)
ssSeen (src/Disco/Typecheck/Solve.hs:251)
ssConstraints (src/Disco/Typecheck/Solve.hs:251)
lkup (src/Disco/Typecheck/Solve.hs:253)
solveConstraint (src/Disco/Typecheck/Solve.hs:267)
solveConstraintChoice (src/Disco/Typecheck/Solve.hs:289)
decomposeConstraint (src/Disco/Typecheck/Solve.hs:425)
decomposeQual (src/Disco/Typecheck/Solve.hs:443)
checkQual (src/Disco/Typecheck/Solve.hs:485)
elimCyclesGen (src/Disco/Typecheck/Solve.hs:848)
isBaseEdge (src/Disco/Typecheck/Solve.hs:871)
checkBaseEdge (src/Disco/Typecheck/Solve.hs:875)
checkBaseEdges (src/Disco/Typecheck/Solve.hs:880)
lubBySort (src/Disco/Typecheck/Solve.hs:971)
glbBySort (src/Disco/Typecheck/Solve.hs:971)
allBySort (src/Disco/Typecheck/Solve.hs:975)
ubsBySort (src/Disco/Typecheck/Solve.hs:983)
lbsBySort (src/Disco/Typecheck/Solve.hs:983)
100% ( 15 / 15) in 'Disco.Typecheck.Util'
52% ( 12 / 23) in 'Disco.Module'
Missing documentation for:
eraseClause (src/Disco/Module.hs:99)
miTys (src/Disco/Module.hs:122)
miTydefs (src/Disco/Module.hs:122)
miTerms (src/Disco/Module.hs:122)
miTermdefs (src/Disco/Module.hs:122)
miProps (src/Disco/Module.hs:122)
miNames (src/Disco/Module.hs:122)
miName (src/Disco/Module.hs:122)
miImports (src/Disco/Module.hs:122)
miExts (src/Disco/Module.hs:122)
miDocs (src/Disco/Module.hs:122)
80% ( 49 / 61) in 'Disco.Parser'
Missing documentation for:
DiscoParseError (src/Disco/Parser.hs:178)
parens (src/Disco/Parser.hs:283)
braces (src/Disco/Parser.hs:283)
angles (src/Disco/Parser.hs:283)
brackets (src/Disco/Parser.hs:283)
semi (src/Disco/Parser.hs:292)
comma (src/Disco/Parser.hs:292)
colon (src/Disco/Parser.hs:292)
dot (src/Disco/Parser.hs:292)
pipe (src/Disco/Parser.hs:292)
parseTypeOp (src/Disco/Parser.hs:1269)
parsePolyTy (src/Disco/Parser.hs:1239)
60% ( 3 / 5) in 'Disco.Error'
Missing documentation for:
panic (src/Disco/Error.hs:78)
outputDiscoErrors (src/Disco/Error.hs:81)
44% ( 26 / 58) in 'Disco.Value'
Missing documentation for:
toSimpleValue (src/Disco/Value.hs:191)
fromSimpleValue (src/Disco/Value.hs:201)
ratv (src/Disco/Value.hs:226)
vrat (src/Disco/Value.hs:229)
vint (src/Disco/Value.hs:238)
charv (src/Disco/Value.hs:245)
vchar (src/Disco/Value.hs:242)
boolv (src/Disco/Value.hs:248)
vbool (src/Disco/Value.hs:251)
pairv (src/Disco/Value.hs:255)
vpair (src/Disco/Value.hs:258)
listv (src/Disco/Value.hs:262)
vlist (src/Disco/Value.hs:266)
genv (src/Disco/Value.hs:275)
vgen (src/Disco/Value.hs:271)
TestReason (src/Disco/Value.hs:361)
SearchType (src/Disco/Value.hs:282)
emptyTestEnv (src/Disco/Value.hs:314)
mergeTestEnv (src/Disco/Value.hs:317)
getTestEnv (src/Disco/Value.hs:322)
extendPropEnv (src/Disco/Value.hs:414)
extendResultEnv (src/Disco/Value.hs:419)
testEnv (src/Disco/Value.hs:380)
resultIsCertain (src/Disco/Value.hs:386)
interpLOp (src/Disco/Value.hs:332)
Cell (src/Disco/Value.hs:436)
emptyMem (src/Disco/Value.hs:438)
allocateValue (src/Disco/Value.hs:450)
memoLookup (src/Disco/Value.hs:476)
memoSet (src/Disco/Value.hs:482)
prettyValue' (src/Disco/Value.hs:493)
prettyValue (src/Disco/Value.hs:496)
95% ( 19 / 20) in 'Disco.Enumerate'
Missing documentation for:
ValueEnumeration (src/Disco/Enumerate.hs:44)
Warning: 'ty' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
84% ( 38 / 45) in 'Disco.Typecheck'
Missing documentation for:
containerTy (src/Disco/Typecheck.hs:74)
containerToCon (src/Disco/Typecheck.hs:77)
suggestionsFrom (src/Disco/Typecheck.hs:110)
conArity (src/Disco/Typecheck.hs:400)
isSubPolyType (src/Disco/Typecheck.hs:1785)
thin (src/Disco/Typecheck.hs:1801)
thin' (src/Disco/Typecheck.hs:1807)
12% ( 3 / 24) in 'Disco.Exhaustiveness.TypeInfo'
Missing documentation for:
TypedVar (src/Disco/Exhaustiveness/TypeInfo.hs:23)
getType (src/Disco/Exhaustiveness/TypeInfo.hs:29)
DataCon (src/Disco/Exhaustiveness/TypeInfo.hs:32)
Ident (src/Disco/Exhaustiveness/TypeInfo.hs:49)
unknown (src/Disco/Exhaustiveness/TypeInfo.hs:70)
unit (src/Disco/Exhaustiveness/TypeInfo.hs:73)
bool (src/Disco/Exhaustiveness/TypeInfo.hs:76)
natural (src/Disco/Exhaustiveness/TypeInfo.hs:79)
integer (src/Disco/Exhaustiveness/TypeInfo.hs:82)
char (src/Disco/Exhaustiveness/TypeInfo.hs:85)
cons (src/Disco/Exhaustiveness/TypeInfo.hs:88)
nil (src/Disco/Exhaustiveness/TypeInfo.hs:91)
pair (src/Disco/Exhaustiveness/TypeInfo.hs:94)
left (src/Disco/Exhaustiveness/TypeInfo.hs:97)
right (src/Disco/Exhaustiveness/TypeInfo.hs:100)
tyDataCons (src/Disco/Exhaustiveness/TypeInfo.hs:103)
resolveAlias (src/Disco/Exhaustiveness/TypeInfo.hs:109)
newName (src/Disco/Exhaustiveness/TypeInfo.hs:169)
newVar (src/Disco/Exhaustiveness/TypeInfo.hs:172)
newNames (src/Disco/Exhaustiveness/TypeInfo.hs:177)
newVars (src/Disco/Exhaustiveness/TypeInfo.hs:180)
33% ( 6 / 18) in 'Disco.Exhaustiveness.Constraint'
Missing documentation for:
Constraint (src/Disco/Exhaustiveness/Constraint.hs:27)
posMatch (src/Disco/Exhaustiveness/Constraint.hs:33)
negMatches (src/Disco/Exhaustiveness/Constraint.hs:36)
ConstraintFor (src/Disco/Exhaustiveness/Constraint.hs:39)
lookupVar (src/Disco/Exhaustiveness/Constraint.hs:44)
alistLookup (src/Disco/Exhaustiveness/Constraint.hs:50)
onVar (src/Disco/Exhaustiveness/Constraint.hs:53)
NormRefType (src/Disco/Exhaustiveness/Constraint.hs:56)
addConstraints (src/Disco/Exhaustiveness/Constraint.hs:58)
addConstraint (src/Disco/Exhaustiveness/Constraint.hs:61)
addConstraintHelper (src/Disco/Exhaustiveness/Constraint.hs:66)
breakIf (src/Disco/Exhaustiveness/Constraint.hs:97)
12% ( 4 / 33) in 'Disco.Exhaustiveness'
Missing documentation for:
prettyPrintExample (src/Disco/Exhaustiveness.hs:102)
prettyPrintPattern (src/Disco/Exhaustiveness.hs:105)
exampleToDiscoPattern (src/Disco/Exhaustiveness.hs:108)
resugarPair (src/Disco/Exhaustiveness.hs:130)
resugarList (src/Disco/Exhaustiveness.hs:135)
resugarString (src/Disco/Exhaustiveness.hs:140)
assumeExampleChar (src/Disco/Exhaustiveness.hs:145)
desugarClause (src/Disco/Exhaustiveness.hs:149)
desugarTuplePats (src/Disco/Exhaustiveness.hs:163)
Gdt (src/Disco/Exhaustiveness.hs:236)
Guard (src/Disco/Exhaustiveness.hs:242)
GuardConstraint (src/Disco/Exhaustiveness.hs:244)
Literal (src/Disco/Exhaustiveness.hs:249)
LitCond (src/Disco/Exhaustiveness.hs:251)
Ant (src/Disco/Exhaustiveness.hs:257)
ua (src/Disco/Exhaustiveness.hs:262)
addLitMulti (src/Disco/Exhaustiveness.hs:278)
addLiteral (src/Disco/Exhaustiveness.hs:288)
InhabPat (src/Disco/Exhaustiveness.hs:297)
mkIPMatch (src/Disco/Exhaustiveness.hs:304)
findInhabitants (src/Disco/Exhaustiveness.hs:310)
findAllForNref (src/Disco/Exhaustiveness.hs:315)
findVarInhabitants (src/Disco/Exhaustiveness.hs:320)
findRedundant (src/Disco/Exhaustiveness.hs:352)
ExamplePat (src/Disco/Exhaustiveness.hs:359)
findAllPosForNref (src/Disco/Exhaustiveness.hs:375)
findVarPosExamples (src/Disco/Exhaustiveness.hs:380)
getPosFrom (src/Disco/Exhaustiveness.hs:406)
mkExampleMatch (src/Disco/Exhaustiveness.hs:413)
100% ( 10 / 10) in 'Disco.Desugar'
Warning: 'delay' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'force' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
87% ( 14 / 16) in 'Disco.Compile'
Missing documentation for:
compilePrimErr (src/Disco/Compile.hs:367)
desugaredPrimErr (src/Disco/Compile.hs:370)
87% ( 7 / 8) in 'Disco.Property'
Missing documentation for:
prettyTestResult (src/Disco/Property.hs:142)
57% ( 4 / 7) in 'Disco.Interpret.CESK'
Missing documentation for:
eval (src/Disco/Interpret/CESK.hs:847)
evalApp (src/Disco/Interpret/CESK.hs:826)
runTest (src/Disco/Interpret/CESK.hs:834)
Warning: 'loadDefs' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'InputT' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
67% ( 19 / 28) in 'Disco.Eval'
Missing documentation for:
DiscoConfig (src/Disco/Eval.hs:105)
initDiscoConfig (src/Disco/Eval.hs:111)
debugMode (src/Disco/Eval.hs:109)
replModInfo (src/Disco/Eval.hs:148)
topEnv (src/Disco/Eval.hs:148)
topModMap (src/Disco/Eval.hs:148)
lastFile (src/Disco/Eval.hs:148)
discoConfig (src/Disco/Eval.hs:148)
loadDef (src/Disco/Eval.hs:444)
83% ( 5 / 6) in 'Disco.Interactive.Commands'
Missing documentation for:
handleLoad (src/Disco/Interactive/Commands.hs:631)
62% ( 5 / 8) in 'Disco.Interactive.CmdLine'
Missing documentation for:
discoOpts (src/Disco/Interactive/CmdLine.hs:77)
discoInfo (src/Disco/Interactive/CmdLine.hs:127)
discoMain (src/Disco/Interactive/CmdLine.hs:146)
Warning: Disco.AST.Desugared: could not find link destinations for:
- Disco.AST.Desugared.DS
Warning: Disco.AST.Typed: could not find link destinations for:
- Disco.AST.Typed.TY
Warning: Disco.Parser: could not find link destinations for:
- Disco.Parser.ParserState
- Disco.Parser.OpaqueTerm
- Disco.Parser.identifier
Warning: Disco.Value: could not find link destinations for:
- Disco.Value.ValFun
Warning: Disco.Property: could not find link destinations for:
- Polysemy.Random.Random
Warning: Disco.Interpret.CESK: could not find link destinations for:
- Polysemy.Random.Random
Warning: Disco.Eval: could not find link destinations for:
- Polysemy.Random.Random
- Disco.Eval.TopEffects
- Disco.Eval.AppendEffects
Warning: Disco.Interactive.Commands: could not find link destinations for:
- Disco.Interactive.Commands.REPLCommands
- Disco.Interactive.Commands.SomeREPLExpr
Documentation created: dist/doc/html/disco/, dist/doc/html/disco/disco.txt
Preprocessing executable 'disco' for disco-0.2..
Installing library in /home/builder/builder-dir/build-cache/tmp-install/lib/x86_64-linux-ghc-9.6.3/disco-0.2-Ic5OYLGQ1QL1sNsEHodldc
Installing executable disco in /home/builder/builder-dir/build-cache/tmp-install/bin
Warning: The directory /home/builder/builder-dir/build-cache/tmp-install/bin
is not in the system search path.
Error: cabal-3.10.2.1: '/home/builder/.ghcup/bin/ghc' exited with an error:
<command line>: Could not find module Polysemy.Plugin
Use -v (or `:set -v` in ghci) to see a list of the files searched for.
cabal: Leaving directory '/tmp/cabal-tmp-2138312/disco-0.2'
Error: cabal: Some packages failed to install:
disco-0.2-Ic5OYLGQ1QL1sNsEHodldc failed during the final install step. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.