Build #1 for reform-0.2.7.6

[all reports]

Package reform-0.2.7.6
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2025-09-05 15:04:00.155477756 UTC
Compiler ghc-9.8.4
OS linux
Arch x86_64
Dependencies base-4.19.2.0, containers-0.6.8, mtl-2.3.1, semigroups-0.20, text-2.1.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring semigroups-0.20...
Preprocessing library for semigroups-0.20..
Building library for semigroups-0.20..
[1 of 1] Compiling Data.Semigroup.Generic ( src/Data/Semigroup/Generic.hs, dist/build/Data/Semigroup/Generic.o, dist/build/Data/Semigroup/Generic.dyn_o )
Preprocessing library for semigroups-0.20..
Running Haddock on library for semigroups-0.20..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling Data.Semigroup.Generic ( src/Data/Semigroup/Generic.hs, nothing )
Haddock coverage:
Warning: 'GenericSemigroupMonoid' is ambiguous. It is defined
    * at src/Data/Semigroup/Generic.hs:111:3
    * at src/Data/Semigroup/Generic.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/Data/Semigroup/Generic.hs:110:1
  77% (  7 /  9) in 'Data.Semigroup.Generic'
  Missing documentation for:
    GSemigroup (src/Data/Semigroup/Generic.hs:54)
    GMonoid (src/Data/Semigroup/Generic.hs:84)
Warning: Data.Semigroup.Generic: could not find link destinations for: 
	- Data.Semigroup.Generic.gmempty'
	- Data.Semigroup.Generic.gmappend'
Documentation created: dist/doc/html/semigroups/,
dist/doc/html/semigroups/semigroups.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/semigroups-0.20-FhfuFxVvP7ZBtA37SUthhH
Completed    semigroups-0.20
Downloading  reform-0.2.7.6
Downloaded   reform-0.2.7.6
Configuring reform-0.2.7.6...
Preprocessing library for reform-0.2.7.6..
Building library for reform-0.2.7.6..
[1 of 7] Compiling Control.Applicative.Indexed ( Control/Applicative/Indexed.hs, dist/build/Control/Applicative/Indexed.o, dist/build/Control/Applicative/Indexed.dyn_o )
[2 of 7] Compiling Text.Reform.Result ( Text/Reform/Result.hs, dist/build/Text/Reform/Result.o, dist/build/Text/Reform/Result.dyn_o )

Text/Reform/Result.hs:34:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad (Result e).
    return will eventually be removed in favour of pure
    Suggested fix:
      Either remove definition for return (recommended) or define as return = pure
      See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
34 |     return = Ok
   |     ^^^^^^^^^^^

Text/Reform/Result.hs:77:10: warning: [GHC-63394] [-Wx-partial]
    In the use of head
    (imported from Prelude, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
77 | formId = head . formIdList
   |          ^^^^
[3 of 7] Compiling Text.Reform.Core ( Text/Reform/Core.hs, dist/build/Text/Reform/Core.o, dist/build/Text/Reform/Core.dyn_o )
[4 of 7] Compiling Text.Reform.Proof ( Text/Reform/Proof.hs, dist/build/Text/Reform/Proof.o, dist/build/Text/Reform/Proof.dyn_o )
[5 of 7] Compiling Text.Reform.Backend ( Text/Reform/Backend.hs, dist/build/Text/Reform/Backend.o, dist/build/Text/Reform/Backend.dyn_o )

Text/Reform/Backend.hs:56:62: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
56 |     getInputString :: (FormError error, ErrorInputType error ~ input) => input -> Either error String
   |                                                              ^

Text/Reform/Backend.hs:69:60: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
69 |     getInputText :: (FormError error, ErrorInputType error ~ input) => input -> Either error Text
   |                                                            ^

Text/Reform/Backend.hs:84:60: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
84 |     getInputFile :: (FormError error, ErrorInputType error ~ input) => input -> Either error (FileType input)
   |                                                            ^
[6 of 7] Compiling Text.Reform.Generalized ( Text/Reform/Generalized.hs, dist/build/Text/Reform/Generalized.o, dist/build/Text/Reform/Generalized.dyn_o )

Text/Reform/Generalized.hs:99:106: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
99 | inputFile :: forall m input error view. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input) =>
   |                                                                                                          ^

Text/Reform/Generalized.hs:128:67: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
128 |           getInputFile' :: (FormError error, ErrorInputType error ~ input) => input -> Either error (FileType input)
    |                                                                   ^

Text/Reform/Generalized.hs:132:98: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
132 | inputMulti :: forall m input error view a lbl. (Functor m, FormError error, ErrorInputType error ~ input, FormInput input, Monad m) =>
    |                                                                                                  ^

Text/Reform/Generalized.hs:183:99: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
183 | inputChoice :: forall a m error input lbl view. (Functor m, FormError error, ErrorInputType error ~ input, FormInput input, Monad m) =>
    |                                                                                                   ^

Text/Reform/Generalized.hs:251:119: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
251 | inputChoiceForms :: forall a m error input lbl view proof. (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input) =>
    |                                                                                                                       ^
[7 of 7] Compiling Text.Reform      ( Text/Reform.hs, dist/build/Text/Reform.o, dist/build/Text/Reform.dyn_o )
Preprocessing library for reform-0.2.7.6..
Running Haddock on library for reform-0.2.7.6..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 7] Compiling Control.Applicative.Indexed ( Control/Applicative/Indexed.hs, nothing )
[2 of 7] Compiling Text.Reform.Result ( Text/Reform/Result.hs, nothing )

Text/Reform/Result.hs:34:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad (Result e).
    return will eventually be removed in favour of pure
    Suggested fix:
      Either remove definition for return (recommended) or define as return = pure
      See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
34 |     return = Ok
   |     ^^^^^^^^^^^

Text/Reform/Result.hs:77:10: warning: [GHC-63394] [-Wx-partial]
    In the use of head
    (imported from Prelude, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
77 | formId = head . formIdList
   |          ^^^^
[3 of 7] Compiling Text.Reform.Core ( Text/Reform/Core.hs, nothing )
[4 of 7] Compiling Text.Reform.Proof ( Text/Reform/Proof.hs, nothing )
[5 of 7] Compiling Text.Reform.Backend ( Text/Reform/Backend.hs, nothing )

Text/Reform/Backend.hs:56:62: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
56 |     getInputString :: (FormError error, ErrorInputType error ~ input) => input -> Either error String
   |                                                              ^

Text/Reform/Backend.hs:69:60: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
69 |     getInputText :: (FormError error, ErrorInputType error ~ input) => input -> Either error Text
   |                                                            ^

Text/Reform/Backend.hs:84:60: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
84 |     getInputFile :: (FormError error, ErrorInputType error ~ input) => input -> Either error (FileType input)
   |                                                            ^
[6 of 7] Compiling Text.Reform.Generalized ( Text/Reform/Generalized.hs, nothing )

Text/Reform/Generalized.hs:99:106: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
99 | inputFile :: forall m input error view. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input) =>
   |                                                                                                          ^

Text/Reform/Generalized.hs:128:67: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
128 |           getInputFile' :: (FormError error, ErrorInputType error ~ input) => input -> Either error (FileType input)
    |                                                                   ^

Text/Reform/Generalized.hs:132:98: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
132 | inputMulti :: forall m input error view a lbl. (Functor m, FormError error, ErrorInputType error ~ input, FormInput input, Monad m) =>
    |                                                                                                  ^

Text/Reform/Generalized.hs:183:99: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
183 | inputChoice :: forall a m error input lbl view. (Functor m, FormError error, ErrorInputType error ~ input, FormInput input, Monad m) =>
    |                                                                                                   ^

Text/Reform/Generalized.hs:251:119: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
251 | inputChoiceForms :: forall a m error input lbl view proof. (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input) =>
    |                                                                                                                       ^
[7 of 7] Compiling Text.Reform      ( Text/Reform.hs, nothing )
Haddock coverage:
Warning: 'paramaterized' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% ( 11 / 11) in 'Control.Applicative.Indexed'
Warning: 'FormId' is ambiguous. It is defined
    * at Text/Reform/Result.hs:52:15
    * at Text/Reform/Result.hs:52: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 Text/Reform/Result.hs:52:1
Warning: 'FormRange' is ambiguous. It is defined
    * at Text/Reform/Result.hs:82:7
    * at Text/Reform/Result.hs:81: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 Text/Reform/Result.hs:81:1
 100% ( 14 / 14) in 'Text.Reform.Result'
Warning: 'Form' is ambiguous. It is defined
    * at Text/Reform/Core.hs:161:43
    * at Text/Reform/Core.hs:161: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 Text/Reform/Core.hs:161:1
Warning: 'View' is ambiguous. It is defined
    * at Text/Reform/Core.hs:125:24
    * at Text/Reform/Core.hs:125: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 Text/Reform/Core.hs:125:1
Warning: 'NoEnviroment' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Forms' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  96% ( 26 / 27) in 'Text.Reform.Core'
  Missing documentation for:
    bracketState (Text/Reform/Core.hs:194)
Warning: 'Proof' is ambiguous. It is defined
    * at Text/Reform/Proof.hs:29:7
    * at Text/Reform/Proof.hs:28: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 Text/Reform/Proof.hs:28:1
Warning: 'Form' is ambiguous. It is defined
    * at Text/Reform/Core.hs:161:43
    * at Text/Reform/Core.hs:161: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 Text/Reform/Core.hs:161:1
 100% ( 17 / 17) in 'Text.Reform.Proof'
Warning: 'Exception' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'input' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% (  5 /  5) in 'Text.Reform.Backend'
Warning: 'Form' is ambiguous. It is defined
    * at Text/Reform/Core.hs:161:43
    * at Text/Reform/Core.hs:161: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 Text/Reform/Core.hs:161:1
 100% ( 11 / 11) in 'Text.Reform.Generalized'
  83% (  5 /  6) in 'Text.Reform'
  Missing documentation for:
    Module header
Documentation created: dist/doc/html/reform/, dist/doc/html/reform/reform.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/reform-0.2.7.6-3xK9n3pGfhuFKnwbWJYiGj
Completed    reform-0.2.7.6

Test log

[view raw]

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