Build #1 for copilot-prettyprinter-4.5.1

[all reports]

Package copilot-prettyprinter-4.5.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2025-09-08 19:47:45.339101131 UTC
Compiler ghc-9.8.4
OS linux
Arch x86_64
Dependencies base-4.19.2.0, copilot-core-4.5.1, pretty-1.1.3.6
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring copilot-core-4.5.1...
Preprocessing library for copilot-core-4.5.1..
Building library for copilot-core-4.5.1..
[1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, dist/build/Copilot/Core/Type/Array.o, dist/build/Copilot/Core/Type/Array.dyn_o )

src/Copilot/Core/Type/Array.hs:56:21: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: x
   |
56 | arrayUpdate (Array (x:xs)) 0 y = Array (y:xs)
   |                     ^

src/Copilot/Core/Type/Array.hs:64:17: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:21
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                 ^

src/Copilot/Core/Type/Array.hs:64:26: warning: [GHC-63397] [-Wname-shadowing]
    This binding for xs shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:23
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                          ^^
[2 of 6] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, dist/build/Copilot/Core/Type.o, dist/build/Copilot/Core/Type.dyn_o )

src/Copilot/Core/Type.hs:142:14: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |              ^

src/Copilot/Core/Type.hs:142:19: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |                   ^

src/Copilot/Core/Type.hs:166:1: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for typeSize:
        Patterns of type Type (Array n t) not matched: Struct _
    |
166 | typeSize ty@(Array ty'@(Array _)) = typeLength ty * typeSize ty'
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Copilot/Core/Type.hs:289:3: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for simpleType:
        Patterns of type Type (Array n t) not matched: Struct _
    |
289 |   simpleType (Array t) = SArray t
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 6] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, dist/build/Copilot/Core/Operators.o, dist/build/Copilot/Core/Operators.dyn_o )
[4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist/build/Copilot/Core/Expr.o, dist/build/Copilot/Core/Expr.dyn_o )
[5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist/build/Copilot/Core/Spec.o, dist/build/Copilot/Core/Spec.dyn_o )
[6 of 6] Compiling Copilot.Core     ( src/Copilot/Core.hs, dist/build/Copilot/Core.o, dist/build/Copilot/Core.dyn_o )
Preprocessing library for copilot-core-4.5.1..
Running Haddock on library for copilot-core-4.5.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, nothing )

src/Copilot/Core/Type/Array.hs:56:21: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: x
   |
56 | arrayUpdate (Array (x:xs)) 0 y = Array (y:xs)
   |                     ^

src/Copilot/Core/Type/Array.hs:64:17: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:21
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                 ^

src/Copilot/Core/Type/Array.hs:64:26: warning: [GHC-63397] [-Wname-shadowing]
    This binding for xs shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:23
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                          ^^
[2 of 6] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, nothing )

src/Copilot/Core/Type.hs:142:14: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |              ^

src/Copilot/Core/Type.hs:142:19: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |                   ^
[3 of 6] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, nothing )
[4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, nothing )
[5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, nothing )
[6 of 6] Compiling Copilot.Core     ( src/Copilot/Core.hs, nothing )
Haddock coverage:
 100% (  5 /  5) in 'Copilot.Core.Type.Array'
Warning: 'Bool' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:143:3
    * in GHC.Types
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:143:3
Warning: 'Struct' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:157:3
    * at src/Copilot/Core/Type.hs:66:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:66:1
Warning: 'Field' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:115:30
    * at src/Copilot/Core/Type.hs:115:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:115:1
Warning: 'Value' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:111:3
    * at src/Copilot/Core/Type.hs:110:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:110:1
Warning: 'K1' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
Warning: ':*:' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
Warning: 'M1' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
Warning: 'U1' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
 100% ( 19 / 19) in 'Copilot.Core.Type'
 100% (  4 /  4) in 'Copilot.Core.Operators'
 100% (  6 /  6) in 'Copilot.Core.Expr'
Warning: 'Spec' is ambiguous. It is defined
    * at src/Copilot/Core/Spec.hs:89:13
    * at src/Copilot/Core/Spec.hs:89:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Spec.hs:89:1
Warning: 'Trigger' is ambiguous. It is defined
    * at src/Copilot/Core/Spec.hs:57:16
    * at src/Copilot/Core/Spec.hs:57:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Spec.hs:57:1
 100% (  8 /  8) in 'Copilot.Core.Spec'
 100% (  8 /  8) in 'Copilot.Core'
Warning: Copilot.Core.Type: could not find link destinations for: 
	- Copilot.Core.Type.GTypedStruct
	- Copilot.Core.Type.GStruct
	- Copilot.Core.Type.GDatatype
Documentation created: dist/doc/html/copilot-core/,
dist/doc/html/copilot-core/copilot-core.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/copilot-core-4.5.1-IZ7X1f5043sKLzEUqNTaA3
Completed    copilot-core-4.5.1
Configuring copilot-prettyprinter-4.5.1...
Preprocessing library for copilot-prettyprinter-4.5.1..
Building library for copilot-prettyprinter-4.5.1..
[1 of 3] Compiling Copilot.PrettyPrint.Error ( src/Copilot/PrettyPrint/Error.hs, dist/build/Copilot/PrettyPrint/Error.o, dist/build/Copilot/PrettyPrint/Error.dyn_o )
[2 of 3] Compiling Copilot.PrettyPrint.Type ( src/Copilot/PrettyPrint/Type.hs, dist/build/Copilot/PrettyPrint/Type.o, dist/build/Copilot/PrettyPrint/Type.dyn_o )

src/Copilot/PrettyPrint/Type.hs:53:11: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:40:10
   |
53 |     Array t -> "Array " ++ showType t
   |           ^

src/Copilot/PrettyPrint/Type.hs:54:12: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: t
   |
54 |     Struct t -> "Struct"
   |            ^

src/Copilot/PrettyPrint/Type.hs:54:12: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:40:10
   |
54 |     Struct t -> "Struct"
   |            ^

src/Copilot/PrettyPrint/Type.hs:76:11: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: t
   |
76 |     Array t -> ShowWit
   |           ^

src/Copilot/PrettyPrint/Type.hs:76:11: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:63:9
   |
76 |     Array t -> ShowWit
   |           ^

src/Copilot/PrettyPrint/Type.hs:77:12: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: t
   |
77 |     Struct t -> ShowWit
   |            ^

src/Copilot/PrettyPrint/Type.hs:77:12: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:63:9
   |
77 |     Struct t -> ShowWit
   |            ^
[3 of 3] Compiling Copilot.PrettyPrint ( src/Copilot/PrettyPrint.hs, dist/build/Copilot/PrettyPrint.o, dist/build/Copilot/PrettyPrint.dyn_o )
Preprocessing library for copilot-prettyprinter-4.5.1..
Running Haddock on library for copilot-prettyprinter-4.5.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling Copilot.PrettyPrint.Error ( src/Copilot/PrettyPrint/Error.hs, nothing )
[2 of 3] Compiling Copilot.PrettyPrint.Type ( src/Copilot/PrettyPrint/Type.hs, nothing )

src/Copilot/PrettyPrint/Type.hs:53:11: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:40:10
   |
53 |     Array t -> "Array " ++ showType t
   |           ^

src/Copilot/PrettyPrint/Type.hs:54:12: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: t
   |
54 |     Struct t -> "Struct"
   |            ^

src/Copilot/PrettyPrint/Type.hs:54:12: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:40:10
   |
54 |     Struct t -> "Struct"
   |            ^

src/Copilot/PrettyPrint/Type.hs:76:11: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: t
   |
76 |     Array t -> ShowWit
   |           ^

src/Copilot/PrettyPrint/Type.hs:76:11: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:63:9
   |
76 |     Array t -> ShowWit
   |           ^

src/Copilot/PrettyPrint/Type.hs:77:12: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: t
   |
77 |     Struct t -> ShowWit
   |            ^

src/Copilot/PrettyPrint/Type.hs:77:12: warning: [GHC-63397] [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/PrettyPrint/Type.hs:63:9
   |
77 |     Struct t -> ShowWit
   |            ^
[3 of 3] Compiling Copilot.PrettyPrint ( src/Copilot/PrettyPrint.hs, nothing )
Haddock coverage:
 100% (  3 /  3) in 'Copilot.PrettyPrint'
Documentation created: dist/doc/html/copilot-prettyprinter/,
dist/doc/html/copilot-prettyprinter/copilot-prettyprinter.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/copilot-prettyprinter-4.5.1-3Tsoupixy1w3VvbMEAo7ls
Completed    copilot-prettyprinter-4.5.1

Test log

[view raw]

Resolving dependencies...
No tests to run for all the packages in the project