Build #1 for seclib-0.2
Package | seclib-0.2 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | unknown |
---|---|
Compiler | ghc-7.6.3 |
OS | linux |
Arch | x86_64 |
Dependencies | network-2.4.1.2, base-4.6.0.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading seclib-0.2... Configuring seclib-0.2... Building seclib-0.2... Preprocessing library seclib-0.2... [1 of 7] Compiling SecLib.Lattice ( SecLib/Lattice.hs, dist/build/SecLib/Lattice.o ) [2 of 7] Compiling SecLib.Sec ( SecLib/Sec.hs, dist/build/SecLib/Sec.o ) SecLib/Sec.hs:39:22: Could not deduce (Less s s'0) arising from a use of `less' from the context (Less s s') bound by the type signature for up :: Less s s' => Sec s a -> Sec s' a at SecLib/Sec.hs:38:7-38 The type variable `s'0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) In the first argument of `seq', namely less s s' In the expression: less s s' `seq` sec_s' In an equation for `up': up sec_s@(MkSec a) = less s s' `seq` sec_s' where (sec_s') = MkSec a s = unSecType sec_s s' = unSecType sec_s' Failed to install seclib-0.2 cabal: Error: some packages failed to install: seclib-0.2 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.