Build #3 for RSolve-0.1.0.0
| Package | RSolve-0.1.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2018-12-25 07:44:27.491814036 UTC |
|---|---|
| Compiler | ghc-8.6.1 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.12.0.0, containers-0.6.0.1, base-4.12.0.0, containers-0.6.0.1 |
| 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 RSolve-0.1.0.0
Building RSolve-0.1.0.0
Failed to install RSolve-0.1.0.0
Build log ( /home/builder/.cabal/logs/ghc-8.6.1/RSolve-0.1.0.0-7Bb59rv6FuQHdN5m7YKGvL.log ):
cabal: Entering directory '/tmp/cabal-tmp-22292/RSolve-0.1.0.0'
Configuring RSolve-0.1.0.0...
Preprocessing library for RSolve-0.1.0.0..
Building library for RSolve-0.1.0.0..
[1 of 5] Compiling RSolve.BrMonad ( src/RSolve/BrMonad.hs, dist/build/RSolve/BrMonad.o )
[2 of 5] Compiling RSolve.Infr ( src/RSolve/Infr.hs, dist/build/RSolve/Infr.o )
[3 of 5] Compiling RSolve.Logic ( src/RSolve/Logic.hs, dist/build/RSolve/Logic.o )
[4 of 5] Compiling RSolve.HM.Core ( src/RSolve/HM/Core.hs, dist/build/RSolve/HM/Core.o )
[5 of 5] Compiling RSolve.Options.Core ( src/RSolve/Options/Core.hs, dist/build/RSolve/Options/Core.o )
src/RSolve/Options/Core.hs:61:5: error:
• No instance for (Control.Monad.Fail.MonadFail (Br (LState Term)))
arising from a do statement
with the failable pattern ‘(r, Just rxs)’
• In a stmt of a 'do' block: (r, Just rxs) <- pruneSol r
In the expression:
do (l, Just lxs) <- pruneSol l
(r, Just rxs) <- pruneSol r
case (S.size lxs, S.size rxs) of
(1, 1) | lxs == rxs -> empty
(1, 1) | lxs /= rxs -> return ()
(nl, nr) | nl < nr -> complement (Var r) (Var l)
(nl, nr) | nl >= nr -> do ...
In an equation for ‘complement’:
complement l r
= do (l, Just lxs) <- pruneSol l
(r, Just rxs) <- pruneSol r
case (S.size lxs, S.size rxs) of
(1, 1) | lxs == rxs -> empty
(1, 1) | lxs /= rxs -> return ()
(nl, nr) | nl < nr -> complement (Var r) (Var l)
(nl, nr) | nl >= nr -> ...
|
61 | (r, Just rxs) <- pruneSol r
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-22292/RSolve-0.1.0.0'
cabal: Error: some packages failed to install:
RSolve-0.1.0.0-7Bb59rv6FuQHdN5m7YKGvL failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.