Resolving dependencies... Configuring applicative-extras-0.1.8... Configuring call-stack-0.1.0... Building call-stack-0.1.0... Building applicative-extras-0.1.8... Installed call-stack-0.1.0 Configuring cereal-0.5.4.0... Installed applicative-extras-0.1.8 Configuring fgl-5.5.3.0... Building cereal-0.5.4.0... Building fgl-5.5.3.0... Configuring old-locale-1.0.0.7... Installed cereal-0.5.4.0 Building old-locale-1.0.0.7... Configuring primitive-0.6.1.0... Installed old-locale-1.0.0.7 Building primitive-0.6.1.0... Configuring mtl-2.2.1... Installed fgl-5.5.3.0 Building mtl-2.2.1... Configuring random-1.1... Installed primitive-0.6.1.0 Building random-1.1... Configuring syb-with-class-0.6.1.7... Installed mtl-2.2.1 Building syb-with-class-0.6.1.7... Configuring syb-0.6... Installed random-1.1 Building syb-0.6... Configuring text-1.2.2.1... Installed syb-0.6 Building text-1.2.2.1... Configuring HUnit-1.5.0.0... Installed syb-with-class-0.6.1.7 Building HUnit-1.5.0.0... Installed HUnit-1.5.0.0 Configuring old-time-1.1.0.3... Building old-time-1.1.0.3... Configuring incremental-sat-solver-0.1.8... Installed old-time-1.1.0.3 Building incremental-sat-solver-0.1.8... Configuring vector-0.11.0.0... Installed incremental-sat-solver-0.1.8 Building vector-0.11.0.0... Configuring set-extra-1.4... Installed text-1.2.2.1 Building set-extra-1.4... Installed set-extra-1.4 Configuring PropLogic-0.9.0.4... Building PropLogic-0.9.0.4... Installed PropLogic-0.9.0.4 Installed vector-0.11.0.0 Configuring safecopy-0.9.2... Building safecopy-0.9.2... Installed safecopy-0.9.2 Configuring logic-classes-1.4.5... Building logic-classes-1.4.5... Failed to install logic-classes-1.4.5 Build log ( /home/builder/.cabal/logs/logic-classes-1.4.5.log ): cabal: Entering directory '/tmp/cabal-tmp-16089/logic-classes-1.4.5' Configuring logic-classes-1.4.5... Building logic-classes-1.4.5... Preprocessing library logic-classes-1.4.5... [ 1 of 51] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o ) Data/Logic/Harrison/Lib.hs:1:1: warning: [-Worphans] Orphan instance: instance Ord a => Ord (Failing a) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. Data/Logic/Harrison/Lib.hs:1:1: warning: [-Worphans] Orphan instance: instance Eq a => Eq (Failing a) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. Data/Logic/Harrison/Lib.hs:1:1: warning: [-Worphans] Orphan instance: instance Read a => Read (Failing a) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. Data/Logic/Harrison/Lib.hs:1:1: warning: [-Worphans] Orphan instance: instance Data a => Data (Failing a) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. Data/Logic/Harrison/Lib.hs:53:1: warning: [-Worphans] Orphan instance: instance Monad Failing To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. Data/Logic/Harrison/Lib.hs:61:19: warning: [-Wdeprecations] In the use of type constructor or class ‘Typeable1’ (imported from Data.Generics, but defined in Data.Typeable.Internal): Deprecated: "renamed to 'Typeable'" [ 2 of 51] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o ) [ 3 of 51] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o ) [ 4 of 51] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o ) [ 5 of 51] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o ) [ 6 of 51] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o ) [ 7 of 51] Compiling Data.Logic.Types.Common ( Data/Logic/Types/Common.hs, dist/build/Data/Logic/Types/Common.o ) Data/Logic/Types/Common.hs:8:1: warning: [-Worphans] Orphan instance: instance Variable String To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. [ 8 of 51] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o ) [ 9 of 51] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o ) [10 of 51] Compiling Data.Logic.Classes.Constants ( Data/Logic/Classes/Constants.hs, dist/build/Data/Logic/Classes/Constants.o ) Data/Logic/Classes/Constants.hs:39:1: warning: [-Worphans] Orphan instance: instance Pretty Bool To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. [11 of 51] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o ) [12 of 51] Compiling Data.Logic.Classes.Propositional ( Data/Logic/Classes/Propositional.hs, dist/build/Data/Logic/Classes/Propositional.o ) [13 of 51] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o ) [14 of 51] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o ) [15 of 51] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o ) [16 of 51] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o ) [17 of 51] Compiling Data.Logic.Classes.Apply ( Data/Logic/Classes/Apply.hs, dist/build/Data/Logic/Classes/Apply.o ) Data/Logic/Classes/Apply.hs:65:22: warning: [-Wunused-matches] Defined but not used: ‘prec’ [18 of 51] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o ) [19 of 51] Compiling Data.Logic.Classes.Equals ( Data/Logic/Classes/Equals.hs, dist/build/Data/Logic/Classes/Equals.o ) Data/Logic/Classes/Equals.hs:139:7: warning: [-Wname-shadowing] This binding for ‘parens’ shadows the existing binding imported from ‘Text.PrettyPrint’ at Data/Logic/Classes/Equals.hs:34:57-62 (and originally defined in ‘Text.PrettyPrint.HughesPJ’) [20 of 51] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o ) [21 of 51] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o ) [22 of 51] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o ) [23 of 51] Compiling Data.Logic.Types.Harrison.Prop ( Data/Logic/Types/Harrison/Prop.hs, dist/build/Data/Logic/Types/Harrison/Prop.o ) Data/Logic/Types/Harrison/Prop.hs:27:1: warning: [-Worphans] Orphan instance: instance HasFixity String To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. Data/Logic/Types/Harrison/Prop.hs:36:1: warning: [-Worphans] Orphan instance: instance Show (Formula String) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. [24 of 51] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o ) [25 of 51] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/Data/Logic/Harrison/PropExamples.o ) Data/Logic/Harrison/PropExamples.hs:356:23: error: • Could not deduce (Num b) arising from the literal ‘0’ from the context: (Bits b, Num a) bound by the type signature for: bitlength :: (Bits b, Num a) => b -> a at Data/Logic/Harrison/PropExamples.hs:355:1-50 Possible fix: add (Num b) to the context of the type signature for: bitlength :: (Bits b, Num a) => b -> a • In the second argument of ‘(==)’, namely ‘0’ In the expression: x == 0 In the expression: if x == 0 then 0 else 1 + bitlength (shiftR x 1) cabal: Leaving directory '/tmp/cabal-tmp-16089/logic-classes-1.4.5' cabal: Error: some packages failed to install: logic-classes-1.4.5 failed during the building phase. The exception was: ExitFailure 1