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: : 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