Build #1 for disco-0.2

[all reports]

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.