Resolving dependencies... Downloading ivor-0.1.10... Configuring ivor-0.1.10... Building ivor-0.1.10... Preprocessing library ivor-0.1.10... Ivor/TT.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Shell.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Primitives.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/ViewTerm.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/ViewTerm.lhs:1:18: Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead Ivor/Equality.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Plugin.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Construction.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Nobby.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/TTCore.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Tactics.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Typecheck.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Evaluator.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Gadgets.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/SC.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Values.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Display.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/MakeData.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Unify.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Grouper.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Constant.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/RunTT.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Compiler.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Errors.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/PatternDefs.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/ShellState.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Scopecheck.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/TT.lhs:1:1: Ambiguous module name `Prelude': it was found in multiple packages: base haskell98-2.0.0.2 Failed to install ivor-0.1.10 cabal: Error: some packages failed to install: ivor-0.1.10 failed during the building phase. The exception was: ExitFailure 1