Build #8 for Obsidian-0.0.0.2
Package | Obsidian-0.0.0.2 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-12-21 18:54:03.6373 UTC |
---|---|
Compiler | ghc-8.0.1.20161018 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, value-supply-0.6 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring value-supply-0.6... Configuring mtl-2.2.1... Building mtl-2.2.1... Building value-supply-0.6... Installed value-supply-0.6 Installed mtl-2.2.1 Configuring Obsidian-0.0.0.2... Building Obsidian-0.0.0.2... Failed to install Obsidian-0.0.0.2 Build log ( /home/builder/.cabal/logs/Obsidian-0.0.0.2.log ): cabal: Entering directory '/tmp/cabal-tmp-21837/Obsidian-0.0.0.2' Configuring Obsidian-0.0.0.2... Building Obsidian-0.0.0.2... Preprocessing library Obsidian-0.0.0.2... Obsidian/CodeGen/InOut.hs:2:14: warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS [ 1 of 22] Compiling Obsidian.Types ( Obsidian/Types.hs, dist/build/Obsidian/Types.o ) [ 2 of 22] Compiling Obsidian.Globs ( Obsidian/Globs.hs, dist/build/Obsidian/Globs.o ) [ 3 of 22] Compiling Obsidian.Names ( Obsidian/Names.hs, dist/build/Obsidian/Names.o ) [ 4 of 22] Compiling Obsidian.DimSpec ( Obsidian/DimSpec.hs, dist/build/Obsidian/DimSpec.o ) [ 5 of 22] Compiling Obsidian.CodeGen.PP ( Obsidian/CodeGen/PP.hs, dist/build/Obsidian/CodeGen/PP.o ) [ 6 of 22] Compiling Obsidian.CodeGen.SPMDC ( Obsidian/CodeGen/SPMDC.hs, dist/build/Obsidian/CodeGen/SPMDC.o ) [ 7 of 22] Compiling Obsidian.Exp ( Obsidian/Exp.hs, dist/build/Obsidian/Exp.o ) Obsidian/Exp.hs:788:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Num a) bound by a pattern with constructor: Add :: forall a. Num a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:788:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CAdd In an equation for ‘binOpToCBinOp’: binOpToCBinOp Add = CAdd • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:789:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Num a) bound by a pattern with constructor: Sub :: forall a. Num a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:789:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CSub In an equation for ‘binOpToCBinOp’: binOpToCBinOp Sub = CSub • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:790:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Num a) bound by a pattern with constructor: Mul :: forall a. Num a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:790:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CMul In an equation for ‘binOpToCBinOp’: binOpToCBinOp Mul = CMul • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:791:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Num a) bound by a pattern with constructor: Div :: forall a. Num a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:791:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CDiv In an equation for ‘binOpToCBinOp’: binOpToCBinOp Div = CDiv • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:792:22: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Floating a) bound by a pattern with constructor: FDiv :: forall a. Floating a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:792:15-18 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CDiv In an equation for ‘binOpToCBinOp’: binOpToCBinOp FDiv = CDiv • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:793:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Integral a) bound by a pattern with constructor: Mod :: forall a. Integral a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:793:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CMod In an equation for ‘binOpToCBinOp’: binOpToCBinOp Mod = CMod • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:795:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> Bool), Ord a) bound by a pattern with constructor: Eq :: forall a. Ord a => Op ((a, a) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:795:15-16 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CEq In an equation for ‘binOpToCBinOp’: binOpToCBinOp Eq = CEq • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:796:23: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> Bool), Ord a) bound by a pattern with constructor: NotEq :: forall a. Ord a => Op ((a, a) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:796:15-19 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CNotEq In an equation for ‘binOpToCBinOp’: binOpToCBinOp NotEq = CNotEq • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:797:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> Bool), Ord a) bound by a pattern with constructor: Lt :: forall a. Ord a => Op ((a, a) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:797:15-16 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CLt In an equation for ‘binOpToCBinOp’: binOpToCBinOp Lt = CLt • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:798:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> Bool), Ord a) bound by a pattern with constructor: LEq :: forall a. Ord a => Op ((a, a) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:798:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CLEq In an equation for ‘binOpToCBinOp’: binOpToCBinOp LEq = CLEq • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:799:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> Bool), Ord a) bound by a pattern with constructor: Gt :: forall a. Ord a => Op ((a, a) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:799:15-16 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CGt In an equation for ‘binOpToCBinOp’: binOpToCBinOp Gt = CGt • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:800:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> Bool), Ord a) bound by a pattern with constructor: GEq :: forall a. Ord a => Op ((a, a) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:800:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CGEq In an equation for ‘binOpToCBinOp’: binOpToCBinOp GEq = CGEq • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:802:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: t1 ~ ((Bool, Bool) -> Bool) bound by a pattern with constructor: And :: Op ((Bool, Bool) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:802:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CAnd In an equation for ‘binOpToCBinOp’: binOpToCBinOp And = CAnd • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:803:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: t1 ~ ((Bool, Bool) -> Bool) bound by a pattern with constructor: Or :: Op ((Bool, Bool) -> Bool), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:803:15-16 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: COr In an equation for ‘binOpToCBinOp’: binOpToCBinOp Or = COr • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:805:21: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Floating a) bound by a pattern with constructor: Pow :: forall a. Floating a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:805:15-17 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CPow In an equation for ‘binOpToCBinOp’: binOpToCBinOp Pow = CPow • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:807:28: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Bits a) bound by a pattern with constructor: BitwiseAnd :: forall a. Bits a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:807:15-24 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CBitwiseAnd In an equation for ‘binOpToCBinOp’: binOpToCBinOp BitwiseAnd = CBitwiseAnd • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:808:28: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Bits a) bound by a pattern with constructor: BitwiseOr :: forall a. Bits a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:808:15-23 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CBitwiseOr In an equation for ‘binOpToCBinOp’: binOpToCBinOp BitwiseOr = CBitwiseOr • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:809:28: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, a) -> a), Bits a) bound by a pattern with constructor: BitwiseXor :: forall a. Bits a => Op ((a, a) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:809:15-24 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CBitwiseXor In an equation for ‘binOpToCBinOp’: binOpToCBinOp BitwiseXor = CBitwiseXor • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:810:28: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, b) -> a), Num b, Bits a) bound by a pattern with constructor: ShiftL :: forall a b. (Num b, Bits a) => Op ((a, b) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:810:15-20 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CShiftL In an equation for ‘binOpToCBinOp’: binOpToCBinOp ShiftL = CShiftL • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:811:28: error: • Couldn't match expected type ‘t’ with actual type ‘CBinOp’ ‘t’ is untouchable inside the constraints: (t1 ~ ((a, b) -> a), Num b, Bits a) bound by a pattern with constructor: ShiftR :: forall a b. (Num b, Bits a) => Op ((a, b) -> a), in an equation for ‘binOpToCBinOp’ at Obsidian/Exp.hs:811:15-20 ‘t’ is a rigid type variable bound by the inferred type of binOpToCBinOp :: Op t1 -> t at Obsidian/Exp.hs:788:1 Possible fix: add a type signature for ‘binOpToCBinOp’ • In the expression: CShiftR In an equation for ‘binOpToCBinOp’: binOpToCBinOp ShiftR = CShiftR • Relevant bindings include binOpToCBinOp :: Op t1 -> t (bound at Obsidian/Exp.hs:788:1) Obsidian/Exp.hs:814:28: error: • Couldn't match expected type ‘t’ with actual type ‘CUnOp’ ‘t’ is untouchable inside the constraints: (t1 ~ (a -> a), Bits a) bound by a pattern with constructor: BitwiseNeg :: forall a. Bits a => Op (a -> a), in an equation for ‘unOpToCUnOp’ at Obsidian/Exp.hs:814:15-24 ‘t’ is a rigid type variable bound by the inferred type of unOpToCUnOp :: Op t1 -> t at Obsidian/Exp.hs:814:1 Possible fix: add a type signature for ‘unOpToCUnOp’ • In the expression: CBitwiseNeg In an equation for ‘unOpToCUnOp’: unOpToCUnOp BitwiseNeg = CBitwiseNeg • Relevant bindings include unOpToCUnOp :: Op t1 -> t (bound at Obsidian/Exp.hs:814:1) cabal: Leaving directory '/tmp/cabal-tmp-21837/Obsidian-0.0.0.2' cabal: Error: some packages failed to install: Obsidian-0.0.0.2 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.