Build #2 for dependent-sum-template-0.1.2.0
| Package | dependent-sum-template-0.1.2.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2023-07-12 03:37:19.509008537 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.16.3.0, containers-0.6.5.1, mtl-2.2.2, some-1.0.5, template-haskell-2.18.0.0, th-abstraction-0.5.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting th-abstraction-0.5.0.0
Starting some-1.0.5
Building some-1.0.5
Building th-abstraction-0.5.0.0
Completed some-1.0.5
Completed th-abstraction-0.5.0.0
Starting dependent-sum-template-0.1.2.0
Building dependent-sum-template-0.1.2.0
Failed to install dependent-sum-template-0.1.2.0
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/dependent-sum-template-0.1.2.0-I6009nV2S8hJth6DS6WHnR.log ):
cabal: Entering directory '/tmp/cabal-tmp-1071810/dependent-sum-template-0.1.2.0'
Configuring dependent-sum-template-0.1.2.0...
Preprocessing library for dependent-sum-template-0.1.2.0..
Building library for dependent-sum-template-0.1.2.0..
[1 of 4] Compiling Data.Dependent.Sum.TH.Internal ( src/Data/Dependent/Sum/TH/Internal.hs, dist/build/Data/Dependent/Sum/TH/Internal.o, dist/build/Data/Dependent/Sum/TH/Internal.dyn_o )
[2 of 4] Compiling Data.GADT.Compare.Monad ( src/Data/GADT/Compare/Monad.hs, dist/build/Data/GADT/Compare/Monad.o, dist/build/Data/GADT/Compare/Monad.dyn_o )
[3 of 4] Compiling Data.GADT.Compare.TH ( src/Data/GADT/Compare/TH.hs, dist/build/Data/GADT/Compare/TH.o, dist/build/Data/GADT/Compare/TH.dyn_o )
src/Data/GADT/Compare/TH.hs:89:7: error:
" Couldn't match expected type Pat
with actual type [Pat] -> Pat
" Probable cause: ConP is applied to too few arguments
In the expression: ConP conName (map VarP lArgNames)
In the first argument of Clause, namely
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
In the second argument of ($), namely
Clause
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
(NormalB (doUnqualifiedE (stmts ++ [ret]))) []
|
89 | [ ConP conName (map VarP lArgNames)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/GADT/Compare/TH.hs:89:25: error:
" Couldn't match type Pat with Type
Expected: Name -> Type
Actual: Name -> Pat
" In the first argument of map, namely VarP
In the second argument of ConP, namely (map VarP lArgNames)
In the expression: ConP conName (map VarP lArgNames)
|
89 | [ ConP conName (map VarP lArgNames)
| ^^^^
src/Data/GADT/Compare/TH.hs:90:7: error:
" Couldn't match expected type Pat
with actual type [Pat] -> Pat
" Probable cause: ConP is applied to too few arguments
In the expression: ConP conName (map VarP rArgNames)
In the first argument of Clause, namely
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
In the second argument of ($), namely
Clause
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
(NormalB (doUnqualifiedE (stmts ++ [ret]))) []
|
90 | , ConP conName (map VarP rArgNames) ]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/GADT/Compare/TH.hs:90:25: error:
" Couldn't match type Pat with Type
Expected: Name -> Type
Actual: Name -> Pat
" In the first argument of map, namely VarP
In the second argument of ConP, namely (map VarP rArgNames)
In the expression: ConP conName (map VarP rArgNames)
|
90 | , ConP conName (map VarP rArgNames) ]
| ^^^^
src/Data/GADT/Compare/TH.hs:154:11: error:
" Couldn't match expected type Pat
with actual type [Pat] -> Pat
" Probable cause: ConP is applied to too few arguments
In the expression: ConP conName (map VarP lArgNames)
In the first argument of Clause, namely
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
In the expression:
Clause
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
(NormalB
(AppE (VarE 'runGComparing) (doUnqualifiedE (stmts ++ [ret]))))
[]
|
154 | [ ConP conName (map VarP lArgNames)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/GADT/Compare/TH.hs:154:29: error:
" Couldn't match type Pat with Type
Expected: Name -> Type
Actual: Name -> Pat
" In the first argument of map, namely VarP
In the second argument of ConP, namely (map VarP lArgNames)
In the expression: ConP conName (map VarP lArgNames)
|
154 | [ ConP conName (map VarP lArgNames)
| ^^^^
src/Data/GADT/Compare/TH.hs:155:11: error:
" Couldn't match expected type Pat
with actual type [Pat] -> Pat
" Probable cause: ConP is applied to too few arguments
In the expression: ConP conName (map VarP rArgNames)
In the first argument of Clause, namely
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
In the expression:
Clause
[ConP conName (map VarP lArgNames),
ConP conName (map VarP rArgNames)]
(NormalB
(AppE (VarE 'runGComparing) (doUnqualifiedE (stmts ++ [ret]))))
[]
|
155 | , ConP conName (map VarP rArgNames) ]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/GADT/Compare/TH.hs:155:29: error:
" Couldn't match type Pat with Type
Expected: Name -> Type
Actual: Name -> Pat
" In the first argument of map, namely VarP
In the second argument of ConP, namely (map VarP rArgNames)
In the expression: ConP conName (map VarP rArgNames)
|
155 | , ConP conName (map VarP rArgNames) ]
| ^^^^
cabal: Leaving directory '/tmp/cabal-tmp-1071810/dependent-sum-template-0.1.2.0'
Error: cabal: Some packages failed to install:
dependent-sum-template-0.1.2.0-I6009nV2S8hJth6DS6WHnR failed during the
building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.