Build #3 for sbvPlugin-0.12
| Package | sbvPlugin-0.12 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2020-09-05 23:39:58.845712738 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.12.0.0, containers-0.6.0.1, ghc-8.6.3, ghc-prim-0.5.3, mtl-2.2.2, sbv-8.8, template-haskell-2.14.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting FloatingHex-0.5
Starting splitmix-0.1.0.1
Starting hashable-1.3.0.0
Starting syb-0.7.1
Building FloatingHex-0.5
Building splitmix-0.1.0.1
Building syb-0.7.1
Building hashable-1.3.0.0
Completed FloatingHex-0.5
Starting crackNum-2.4
Building crackNum-2.4
Completed splitmix-0.1.0.1
Starting random-1.2.0
Building random-1.2.0
Completed hashable-1.3.0.0
Starting async-2.2.2
Completed syb-0.7.1
Building async-2.2.2
Completed crackNum-2.4
Completed async-2.2.2
Completed random-1.2.0
Starting QuickCheck-2.14.1
Building QuickCheck-2.14.1
Completed QuickCheck-2.14.1
Starting sbv-8.8
Building sbv-8.8
Completed sbv-8.8
Starting sbvPlugin-0.12
Building sbvPlugin-0.12
Failed to install sbvPlugin-0.12
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/sbvPlugin-0.12-4AJJR6KbQ90Ai5vWsffAuN.log ):
cabal: Entering directory '/tmp/cabal-tmp-553/sbvPlugin-0.12'
Configuring sbvPlugin-0.12...
Preprocessing library for sbvPlugin-0.12..
Building library for sbvPlugin-0.12..
[ 1 of 10] Compiling Data.SBV.Plugin.Data ( Data/SBV/Plugin/Data.hs, dist/build/Data/SBV/Plugin/Data.o )
[ 2 of 10] Compiling Data.SBV.Plugin.Common ( Data/SBV/Plugin/Common.hs, dist/build/Data/SBV/Plugin/Common.o )
[ 3 of 10] Compiling Data.SBV.Plugin.Analyze ( Data/SBV/Plugin/Analyze.hs, dist/build/Data/SBV/Plugin/Analyze.o )
Data/SBV/Plugin/Analyze.hs:230:32: error:
Not in scope: data constructor ‘LitChar’
Perhaps you meant one of these:
variable ‘getChar’ (imported from Prelude),
variable ‘putChar’ (imported from Prelude),
variable ‘S.isChar’ (imported from Data.SBV.Internals)
|
230 | LitChar{} -> unint
| ^^^^^^^
Data/SBV/Plugin/Analyze.hs:232:32: error:
Not in scope: data constructor ‘LitNullAddr’
|
232 | LitNullAddr{} -> unint
| ^^^^^^^^^^^
Data/SBV/Plugin/Analyze.hs:233:32: error:
Not in scope: data constructor ‘LitRubbish’
|
233 | LitRubbish{} -> unint
| ^^^^^^^^^^
Data/SBV/Plugin/Analyze.hs:234:32: error:
Not in scope: data constructor ‘LitLabel’
|
234 | LitLabel{} -> unint
| ^^^^^^^^
Data/SBV/Plugin/Analyze.hs:235:32: error:
Not in scope: data constructor ‘LitFloat’
Perhaps you meant variable ‘S.isFloat’ (imported from Data.SBV.Internals)
|
235 | LitFloat f -> return $ Base $ S.svFloat (fromRational f)
| ^^^^^^^^
Data/SBV/Plugin/Analyze.hs:236:32: error:
Not in scope: data constructor ‘LitDouble’
Perhaps you meant variable ‘S.isDouble’ (imported from Data.SBV.Internals)
|
236 | LitDouble d -> return $ Base $ S.svDouble (fromRational d)
| ^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-553/sbvPlugin-0.12'
cabal: Error: some packages failed to install:
sbvPlugin-0.12-4AJJR6KbQ90Ai5vWsffAuN failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.