Build #1 for term-rewriting-0.1.1
| Package | term-rewriting-0.1.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | union-find-array-0.1.0.1, parsec-3.1.3, multiset-0.2.2, mtl-2.1.2, containers-0.5.0.0, base-4.6.0.1, array-0.4.0.1, ansi-wl-pprint-0.6.7.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.