Build #2 for tyfam-witnesses-0.1.1.2
| Package | tyfam-witnesses-0.1.1.2 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2018-11-13 13:06:40.193508459 UTC |
|---|---|
| Compiler | ghc-8.6.1 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.12.0.0, containers-0.6.0.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 tyfam-witnesses-0.1.1.2
Building tyfam-witnesses-0.1.1.2
Failed to install tyfam-witnesses-0.1.1.2
Build log ( /home/builder/.cabal/logs/ghc-8.6.1/tyfam-witnesses-0.1.1.2-CN0TnUHn3ad8zCnmyLgNjd.log ):
cabal: Entering directory '/tmp/cabal-tmp-28240/tyfam-witnesses-0.1.1.2'
Configuring tyfam-witnesses-0.1.1.2...
Preprocessing library for tyfam-witnesses-0.1.1.2..
Building library for tyfam-witnesses-0.1.1.2..
[1 of 2] Compiling TyFamWitnesses ( TyFamWitnesses.hs, dist/build/TyFamWitnesses.o )
[2 of 2] Compiling Main ( Main.hs, dist/build/Main.o )
Main.hs:63:1: error:
• Expected a type, but
‘Elim a_acF4 (c_acF5 -> b_acF6) ~ c_acF5’ has kind
‘Constraint’
• In the definition of data constructor ‘Elim1’
In the data declaration for ‘ElimRefl’
|
63 | witnesses [d| type family Elim a b where Elim a (a -> b) = b; Elim a (c -> b) = c -> Elim a b |]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-28240/tyfam-witnesses-0.1.1.2'
cabal: Error: some packages failed to install:
tyfam-witnesses-0.1.1.2-CN0TnUHn3ad8zCnmyLgNjd failed during the building
phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.