Resolving dependencies... Configuring ansi-terminal-0.6.1.1... Building ansi-terminal-0.6.1.1... Preprocessing library ansi-terminal-0.6.1.1... [1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o ) [2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o ) [3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o ) In-place registering ansi-terminal-0.6.1.1... Running Haddock for ansi-terminal-0.6.1.1... Running hscolour for ansi-terminal-0.6.1.1... Preprocessing library ansi-terminal-0.6.1.1... Preprocessing library ansi-terminal-0.6.1.1... Haddock coverage: 88% ( 7 / 8) in 'System.Console.ANSI.Common' 36% ( 28 / 77) in 'System.Console.ANSI.Unix' 38% ( 29 / 77) in 'System.Console.ANSI' Documentation created: dist/doc/html/ansi-terminal/index.html, dist/doc/html/ansi-terminal/ansi-terminal.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-terminal-0.6.1.1 Registering ansi-terminal-0.6.1.1... Installed ansi-terminal-0.6.1.1 Configuring multiset-0.2.2... Building multiset-0.2.2... Preprocessing library multiset-0.2.2... [1 of 2] Compiling Data.MultiSet ( Data/MultiSet.hs, dist/build/Data/MultiSet.o ) [2 of 2] Compiling Data.IntMultiSet ( Data/IntMultiSet.hs, dist/build/Data/IntMultiSet.o ) In-place registering multiset-0.2.2... Running Haddock for multiset-0.2.2... Running hscolour for multiset-0.2.2... Preprocessing library multiset-0.2.2... Preprocessing library multiset-0.2.2... Haddock coverage: 100% ( 85 / 85) in 'Data.MultiSet' 99% ( 84 / 85) in 'Data.IntMultiSet' Documentation created: dist/doc/html/multiset/index.html, dist/doc/html/multiset/multiset.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/multiset-0.2.2 Registering multiset-0.2.2... Installed multiset-0.2.2 Downloading union-find-array-0.1.0.1... Configuring union-find-array-0.1.0.1... Building union-find-array-0.1.0.1... Preprocessing library union-find-array-0.1.0.1... [1 of 5] Compiling Data.Union.Type ( src/Data/Union/Type.hs, dist/build/Data/Union/Type.o ) [2 of 5] Compiling Data.Union.ST ( src/Data/Union/ST.hs, dist/build/Data/Union/ST.o ) [3 of 5] Compiling Control.Monad.Union.Class ( src/Control/Monad/Union/Class.hs, dist/build/Control/Monad/Union/Class.o ) [4 of 5] Compiling Control.Monad.Union ( src/Control/Monad/Union.hs, dist/build/Control/Monad/Union.o ) [5 of 5] Compiling Data.Union ( src/Data/Union.hs, dist/build/Data/Union.o ) In-place registering union-find-array-0.1.0.1... Running Haddock for union-find-array-0.1.0.1... Running hscolour for union-find-array-0.1.0.1... Preprocessing library union-find-array-0.1.0.1... Preprocessing library union-find-array-0.1.0.1... Haddock coverage: 67% ( 2 / 3) in 'Data.Union.Type' 92% ( 11 / 12) in 'Data.Union.ST' 0% ( 0 / 2) in 'Control.Monad.Union.Class' 86% ( 6 / 7) in 'Control.Monad.Union' 100% ( 6 / 6) in 'Data.Union' Documentation created: dist/doc/html/union-find-array/index.html, dist/doc/html/union-find-array/union-find-array.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/union-find-array-0.1.0.1 Registering union-find-array-0.1.0.1... Installed union-find-array-0.1.0.1 Configuring ansi-wl-pprint-0.6.7.1... Building ansi-wl-pprint-0.6.7.1... Preprocessing library ansi-wl-pprint-0.6.7.1... [1 of 1] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o ) In-place registering ansi-wl-pprint-0.6.7.1... Running Haddock for ansi-wl-pprint-0.6.7.1... Running hscolour for ansi-wl-pprint-0.6.7.1... Preprocessing library ansi-wl-pprint-0.6.7.1... Preprocessing library ansi-wl-pprint-0.6.7.1... Haddock coverage: 96% (129 /134) in 'Text.PrettyPrint.ANSI.Leijen' Documentation created: dist/doc/html/ansi-wl-pprint/index.html, dist/doc/html/ansi-wl-pprint/ansi-wl-pprint.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-wl-pprint-0.6.7.1 Registering ansi-wl-pprint-0.6.7.1... Installed ansi-wl-pprint-0.6.7.1 Downloading term-rewriting-0.1.1... Configuring term-rewriting-0.1.1... Building term-rewriting-0.1.1... Preprocessing library term-rewriting-0.1.1... [ 1 of 32] Compiling Data.Rewriting.Utils.Parse ( src/Data/Rewriting/Utils/Parse.hs, dist/build/Data/Rewriting/Utils/Parse.o ) [ 2 of 32] Compiling Data.Rewriting.Utils ( src/Data/Rewriting/Utils.hs, dist/build/Data/Rewriting/Utils.o ) [ 3 of 32] Compiling Data.Rewriting.Pos ( src/Data/Rewriting/Pos.hs, dist/build/Data/Rewriting/Pos.o ) [ 4 of 32] Compiling Data.Rewriting.Term.Type ( src/Data/Rewriting/Term/Type.hs, dist/build/Data/Rewriting/Term/Type.o ) [ 5 of 32] Compiling Data.Rewriting.Term.Pretty ( src/Data/Rewriting/Term/Pretty.hs, dist/build/Data/Rewriting/Term/Pretty.o ) [ 6 of 32] Compiling Data.Rewriting.Term.Parse ( src/Data/Rewriting/Term/Parse.hs, dist/build/Data/Rewriting/Term/Parse.o ) [ 7 of 32] Compiling Data.Rewriting.Rule.Type ( src/Data/Rewriting/Rule/Type.hs, dist/build/Data/Rewriting/Rule/Type.o ) [ 8 of 32] Compiling Data.Rewriting.Substitution.Type ( src/Data/Rewriting/Substitution/Type.hs, dist/build/Data/Rewriting/Substitution/Type.o ) [ 9 of 32] Compiling Data.Rewriting.Substitution.Match ( src/Data/Rewriting/Substitution/Match.hs, dist/build/Data/Rewriting/Substitution/Match.o ) [10 of 32] Compiling Data.Rewriting.Term.Ops ( src/Data/Rewriting/Term/Ops.hs, dist/build/Data/Rewriting/Term/Ops.o ) [11 of 32] Compiling Data.Rewriting.Substitution.Parse ( src/Data/Rewriting/Substitution/Parse.hs, dist/build/Data/Rewriting/Substitution/Parse.o ) [12 of 32] Compiling Data.Rewriting.Term ( src/Data/Rewriting/Term.hs, dist/build/Data/Rewriting/Term.o ) src/Data/Rewriting/Term.hs:11:5: Warning: `fold' is exported by `module Data.Rewriting.Term.Type' and `fold' src/Data/Rewriting/Term.hs:11:5: Warning: `map' is exported by `module Data.Rewriting.Term.Type' and `map' src/Data/Rewriting/Term.hs:12:5: Warning: `vars' is exported by `module Data.Rewriting.Term.Ops' and `vars' src/Data/Rewriting/Term.hs:12:5: Warning: `funs' is exported by `module Data.Rewriting.Term.Ops' and `funs' [13 of 32] Compiling Data.Rewriting.Rule.Pretty ( src/Data/Rewriting/Rule/Pretty.hs, dist/build/Data/Rewriting/Rule/Pretty.o ) [14 of 32] Compiling Data.Rewriting.Substitution.Pretty ( src/Data/Rewriting/Substitution/Pretty.hs, dist/build/Data/Rewriting/Substitution/Pretty.o ) [15 of 32] Compiling Data.Rewriting.Context.Type ( src/Data/Rewriting/Context/Type.hs, dist/build/Data/Rewriting/Context/Type.o ) [16 of 32] Compiling Data.Rewriting.Substitution.Ops ( src/Data/Rewriting/Substitution/Ops.hs, dist/build/Data/Rewriting/Substitution/Ops.o ) [17 of 32] Compiling Data.Rewriting.Substitution.Unify ( src/Data/Rewriting/Substitution/Unify.hs, dist/build/Data/Rewriting/Substitution/Unify.o ) [18 of 32] Compiling Data.Rewriting.Substitution ( src/Data/Rewriting/Substitution.hs, dist/build/Data/Rewriting/Substitution.o ) src/Data/Rewriting/Substitution.hs:14:5: Warning: `GSubst' is exported by `module Data.Rewriting.Substitution.Type' and `GSubst' src/Data/Rewriting/Substitution.hs:14:5: Warning: `Subst' is exported by `module Data.Rewriting.Substitution.Type' and `Subst' src/Data/Rewriting/Substitution.hs:15:5: Warning: `gApply' is exported by `module Data.Rewriting.Substitution.Ops' and `gApply' src/Data/Rewriting/Substitution.hs:15:5: Warning: `apply' is exported by `module Data.Rewriting.Substitution.Ops' and `apply' src/Data/Rewriting/Substitution.hs:15:5: Warning: `compose' is exported by `module Data.Rewriting.Substitution.Ops' and `compose' [19 of 32] Compiling Data.Rewriting.Rule.Ops ( src/Data/Rewriting/Rule/Ops.hs, dist/build/Data/Rewriting/Rule/Ops.o ) [20 of 32] Compiling Data.Rewriting.Rule ( src/Data/Rewriting/Rule.hs, dist/build/Data/Rewriting/Rule.o ) [21 of 32] Compiling Data.Rewriting.Problem.Type ( src/Data/Rewriting/Problem/Type.hs, dist/build/Data/Rewriting/Problem/Type.o ) [22 of 32] Compiling Data.Rewriting.Problem.Pretty ( src/Data/Rewriting/Problem/Pretty.hs, dist/build/Data/Rewriting/Problem/Pretty.o ) [23 of 32] Compiling Data.Rewriting.Rules.Rewrite ( src/Data/Rewriting/Rules/Rewrite.hs, dist/build/Data/Rewriting/Rules/Rewrite.o ) [24 of 32] Compiling Data.Rewriting.CriticalPair.Type ( src/Data/Rewriting/CriticalPair/Type.hs, dist/build/Data/Rewriting/CriticalPair/Type.o ) [25 of 32] Compiling Data.Rewriting.Context.Ops ( src/Data/Rewriting/Context/Ops.hs, dist/build/Data/Rewriting/Context/Ops.o ) [26 of 32] Compiling Data.Rewriting.Context ( src/Data/Rewriting/Context.hs, dist/build/Data/Rewriting/Context.o ) src/Data/Rewriting/Context.hs:12:5: Warning: `Ctxt' is exported by `module Data.Rewriting.Context.Type' and `Ctxt' src/Data/Rewriting/Context.hs:13:5: Warning: `apply' is exported by `module Data.Rewriting.Context.Ops' and `apply' src/Data/Rewriting/Context.hs:13:5: Warning: `ofTerm' is exported by `module Data.Rewriting.Context.Ops' and `ofTerm' [27 of 32] Compiling Data.Rewriting.Rules.Ops ( src/Data/Rewriting/Rules/Ops.hs, dist/build/Data/Rewriting/Rules/Ops.o ) [28 of 32] Compiling Data.Rewriting.Rules ( src/Data/Rewriting/Rules.hs, dist/build/Data/Rewriting/Rules.o ) src/Data/Rewriting/Rules.hs:13:5: Warning: `fullRewrite' is exported by `module Data.Rewriting.Rules.Rewrite' and `fullRewrite' [29 of 32] Compiling Data.Rewriting.Problem.Parse ( src/Data/Rewriting/Problem/Parse.hs, dist/build/Data/Rewriting/Problem/Parse.o ) [30 of 32] Compiling Data.Rewriting.Problem ( src/Data/Rewriting/Problem.hs, dist/build/Data/Rewriting/Problem.o ) src/Data/Rewriting/Problem.hs:10:5: Warning: `Problem' is exported by `module Data.Rewriting.Problem.Type' and `Problem' [31 of 32] Compiling Data.Rewriting.CriticalPair.Ops ( src/Data/Rewriting/CriticalPair/Ops.hs, dist/build/Data/Rewriting/CriticalPair/Ops.o ) [32 of 32] Compiling Data.Rewriting.CriticalPair ( src/Data/Rewriting/CriticalPair.hs, dist/build/Data/Rewriting/CriticalPair.o ) src/Data/Rewriting/CriticalPair.hs:12:5: Warning: `CP' is exported by `module Data.Rewriting.CriticalPair.Type' and `CP' src/Data/Rewriting/CriticalPair.hs:13:5: Warning: cps' is exported by `module Data.Rewriting.CriticalPair.Ops' and cps' src/Data/Rewriting/CriticalPair.hs:13:5: Warning: `cps' is exported by `module Data.Rewriting.CriticalPair.Ops' and `cps' In-place registering term-rewriting-0.1.1... Running Haddock for term-rewriting-0.1.1... Running hscolour for term-rewriting-0.1.1... Preprocessing library term-rewriting-0.1.1... Preprocessing library term-rewriting-0.1.1... dist/build/tmp-3746/src/Data/Rewriting/Term.hs:11:5: Warning: `map' is exported by `module Data.Rewriting.Term.Type' and `map' dist/build/tmp-3746/src/Data/Rewriting/Term.hs:11:5: Warning: `fold' is exported by `module Data.Rewriting.Term.Type' and `fold' dist/build/tmp-3746/src/Data/Rewriting/Term.hs:12:5: Warning: `vars' is exported by `module Data.Rewriting.Term.Ops' and `vars' dist/build/tmp-3746/src/Data/Rewriting/Term.hs:12:5: Warning: `funs' is exported by `module Data.Rewriting.Term.Ops' and `funs' dist/build/tmp-3746/src/Data/Rewriting/Substitution.hs:14:5: Warning: `GSubst' is exported by `module Data.Rewriting.Substitution.Type' and `GSubst' dist/build/tmp-3746/src/Data/Rewriting/Substitution.hs:14:5: Warning: `Subst' is exported by `module Data.Rewriting.Substitution.Type' and `Subst' dist/build/tmp-3746/src/Data/Rewriting/Substitution.hs:15:5: Warning: `gApply' is exported by `module Data.Rewriting.Substitution.Ops' and `gApply' dist/build/tmp-3746/src/Data/Rewriting/Substitution.hs:15:5: Warning: `apply' is exported by `module Data.Rewriting.Substitution.Ops' and `apply' dist/build/tmp-3746/src/Data/Rewriting/Substitution.hs:15:5: Warning: `compose' is exported by `module Data.Rewriting.Substitution.Ops' and `compose' dist/build/tmp-3746/src/Data/Rewriting/Context.hs:12:5: Warning: `Ctxt' is exported by `module Data.Rewriting.Context.Type' and `Ctxt' dist/build/tmp-3746/src/Data/Rewriting/Context.hs:13:5: Warning: `apply' is exported by `module Data.Rewriting.Context.Ops' and `apply' dist/build/tmp-3746/src/Data/Rewriting/Context.hs:13:5: Warning: `ofTerm' is exported by `module Data.Rewriting.Context.Ops' and `ofTerm' dist/build/tmp-3746/src/Data/Rewriting/Rules.hs:13:5: Warning: `fullRewrite' is exported by `module Data.Rewriting.Rules.Rewrite' and `fullRewrite' dist/build/tmp-3746/src/Data/Rewriting/Problem.hs:10:5: Warning: `Problem' is exported by `module Data.Rewriting.Problem.Type' and `Problem' dist/build/tmp-3746/src/Data/Rewriting/CriticalPair.hs:12:5: Warning: `CP' is exported by `module Data.Rewriting.CriticalPair.Type' and `CP' dist/build/tmp-3746/src/Data/Rewriting/CriticalPair.hs:13:5: Warning: cps' is exported by `module Data.Rewriting.CriticalPair.Ops' and cps' dist/build/tmp-3746/src/Data/Rewriting/CriticalPair.hs:13:5: Warning: `cps' is exported by `module Data.Rewriting.CriticalPair.Ops' and `cps' Haddock coverage: 75% ( 3 / 4) in 'Data.Rewriting.Utils.Parse' 50% ( 1 / 2) in 'Data.Rewriting.Utils' 89% ( 8 / 9) in 'Data.Rewriting.Pos' 50% ( 2 / 4) in 'Data.Rewriting.Term.Type' 50% ( 1 / 2) in 'Data.Rewriting.Term.Pretty' 86% ( 6 / 7) in 'Data.Rewriting.Term.Parse' 67% ( 2 / 3) in 'Data.Rewriting.Rule.Type' 50% ( 3 / 6) in 'Data.Rewriting.Substitution.Type' 50% ( 1 / 2) in 'Data.Rewriting.Substitution.Match' 95% ( 19 / 20) in 'Data.Rewriting.Term.Ops' 0% ( 0 / 4) in 'Data.Rewriting.Substitution.Parse' 83% ( 10 / 12) in 'Data.Rewriting.Term' 0% ( 0 / 2) in 'Data.Rewriting.Rule.Pretty' 0% ( 0 / 2) in 'Data.Rewriting.Substitution.Pretty' 0% ( 0 / 2) in 'Data.Rewriting.Context.Type' 86% ( 6 / 7) in 'Data.Rewriting.Substitution.Ops' 67% ( 2 / 3) in 'Data.Rewriting.Substitution.Unify' 93% ( 13 / 14) in 'Data.Rewriting.Substitution' doc comment parse failed: Lifting of 'Term.rename' to 'Rule': renames left- and right-hand sides. >>> rename (+ 1) $ Rule {lhs = (Fun 'f' [Var 1, Fun 'g' [Var 2]]), rhs = Fun 'g' [Var 1]} Rule {lhs = (Fun 'f' [Var 2, Fun 'g' [Var 3]]), rhs = Fun 'g' [Var 2]} 92% ( 23 / 25) in 'Data.Rewriting.Rule.Ops' 83% ( 5 / 6) in 'Data.Rewriting.Rule' 0% ( 0 / 7) in 'Data.Rewriting.Problem.Type' 0% ( 0 / 4) in 'Data.Rewriting.Problem.Pretty' 100% ( 10 / 10) in 'Data.Rewriting.Rules.Rewrite' 50% ( 1 / 2) in 'Data.Rewriting.CriticalPair.Type' 75% ( 3 / 4) in 'Data.Rewriting.Context.Ops' 75% ( 6 / 8) in 'Data.Rewriting.Context' 95% ( 20 / 21) in 'Data.Rewriting.Rules.Ops' 100% ( 6 / 6) in 'Data.Rewriting.Rules' 0% ( 0 / 7) in 'Data.Rewriting.Problem.Parse' 83% ( 5 / 6) in 'Data.Rewriting.Problem' 89% ( 8 / 9) in 'Data.Rewriting.CriticalPair.Ops' 88% ( 7 / 8) in 'Data.Rewriting.CriticalPair' Documentation created: dist/doc/html/term-rewriting/index.html, dist/doc/html/term-rewriting/term-rewriting.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/term-rewriting-0.1.1 Registering term-rewriting-0.1.1... Installed term-rewriting-0.1.1