Build #3 for algebraic-classes-0.9.4
| Package | algebraic-classes-0.9.4 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2020-01-06 20:44:53.652255791 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.12.0.0, syb-0.7.1, template-haskell-2.14.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Warning: The install command is a part of the legacy v1 style of cabal usage.
Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.
For more information, see: https://wiki.haskell.org/Cabal/NewBuild
Resolving dependencies...
Starting syb-0.7.1
Building syb-0.7.1
Completed syb-0.7.1
Starting algebraic-classes-0.9.4
Building algebraic-classes-0.9.4
Failed to install algebraic-classes-0.9.4
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/algebraic-classes-0.9.4-BKOihomhW6s116uLQ3KW3.log ):
cabal: Entering directory '/tmp/cabal-tmp-3140/algebraic-classes-0.9.4'
Configuring algebraic-classes-0.9.4...
Preprocessing library for algebraic-classes-0.9.4..
Building library for algebraic-classes-0.9.4..
[1 of 3] Compiling Data.Algebra.Internal ( Data/Algebra/Internal.hs, dist/build/Data/Algebra/Internal.o )
[2 of 3] Compiling Data.Algebra.TH ( Data/Algebra/TH.hs, dist/build/Data/Algebra/TH.o )
Data/Algebra/TH.hs:224:46: error:
• Couldn't match expected type ‘Dec’
with actual type ‘TySynEqn -> Dec’
• Probable cause: ‘sigTFInst’ is applied to too few arguments
In the expression: sigTFInst
In the expression: [asInst, showInst, sigTFInst]
In an equation for ‘signatureInstances’:
signatureInstances nm s
= [asInst, showInst, sigTFInst]
where
signature = ConT (signatureName s)
sigTFInst
= TySynInstD
(TySynEqn Nothing (AppT (ConT ''Signature) (ConT nm)) signature)
typeInst
= TySynInstD
(TySynEqn Nothing (AppT (ConT ''Class) signature) (ConT nm))
asClauses
= [Clause
[...]
(NormalB (foldl (\ e arg -> AppE e (VarE arg)) (VarE fName) args))
[] |
OperationTH fName opName ar _ _ <- operations s, let ...]
....
|
224 | signatureInstances nm s = [asInst, showInst, sigTFInst]
| ^^^^^^^^^
Data/Algebra/TH.hs:227:29: error:
• Couldn't match expected type ‘Type -> Name’
with actual type ‘TySynEqn’
• The function ‘TySynEqn’ is applied to three arguments,
but its type ‘[Type] -> Type -> TySynEqn’ has only two
In the first argument of ‘TySynInstD’, namely
‘(TySynEqn Nothing (AppT (ConT ''Signature) (ConT nm)) signature)’
In the expression:
TySynInstD
(TySynEqn Nothing (AppT (ConT ''Signature) (ConT nm)) signature)
|
227 | sigTFInst = TySynInstD (TySynEqn Nothing (AppT (ConT ''Signature) (ConT nm)) signature)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Algebra/TH.hs:227:38: error:
• Couldn't match expected type ‘[Type]’ with actual type ‘Maybe a0’
• In the first argument of ‘TySynEqn’, namely ‘Nothing’
In the first argument of ‘TySynInstD’, namely
‘(TySynEqn Nothing (AppT (ConT ''Signature) (ConT nm)) signature)’
In the expression:
TySynInstD
(TySynEqn Nothing (AppT (ConT ''Signature) (ConT nm)) signature)
|
227 | sigTFInst = TySynInstD (TySynEqn Nothing (AppT (ConT ''Signature) (ConT nm)) signature)
| ^^^^^^^
Data/Algebra/TH.hs:228:28: error:
• Couldn't match expected type ‘Type -> Name’
with actual type ‘TySynEqn’
• The function ‘TySynEqn’ is applied to three arguments,
but its type ‘[Type] -> Type -> TySynEqn’ has only two
In the first argument of ‘TySynInstD’, namely
‘(TySynEqn Nothing (AppT (ConT ''Class) signature) (ConT nm))’
In the expression:
TySynInstD
(TySynEqn Nothing (AppT (ConT ''Class) signature) (ConT nm))
|
228 | typeInst = TySynInstD (TySynEqn Nothing (AppT (ConT ''Class) signature) (ConT nm))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Algebra/TH.hs:228:37: error:
• Couldn't match expected type ‘[Type]’ with actual type ‘Maybe a1’
• In the first argument of ‘TySynEqn’, namely ‘Nothing’
In the first argument of ‘TySynInstD’, namely
‘(TySynEqn Nothing (AppT (ConT ''Class) signature) (ConT nm))’
In the expression:
TySynInstD
(TySynEqn Nothing (AppT (ConT ''Class) signature) (ConT nm))
|
228 | typeInst = TySynInstD (TySynEqn Nothing (AppT (ConT ''Class) signature) (ConT nm))
| ^^^^^^^
Data/Algebra/TH.hs:235:79: error:
• Couldn't match expected type ‘Dec’
with actual type ‘TySynEqn -> Dec’
• Probable cause: ‘typeInst’ is applied to too few arguments
In the expression: typeInst
In the fourth argument of ‘InstanceD’, namely
‘[typeInst, FunD 'evaluate (asClauses ++ asScClauses)]’
In the expression:
InstanceD
Nothing
[]
(AppT (ConT ''AlgebraSignature) signature)
[typeInst, FunD 'evaluate (asClauses ++ asScClauses)]
|
235 | asInst = InstanceD Nothing [] (AppT (ConT ''AlgebraSignature) signature) [typeInst, FunD 'evaluate (asClauses ++ asScClauses)]
| ^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-3140/algebraic-classes-0.9.4'
cabal: Error: some packages failed to install:
algebraic-classes-0.9.4-BKOihomhW6s116uLQ3KW3 failed during the building
phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.