Build #1 for syntactic-1.11
| Package | syntactic-1.11 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | tuple-0.2.0.1, tree-view-0.4, transformers-0.3.0.0, template-haskell-2.8.0.0, mtl-2.1.2, ghc-prim-0.3.0.0, data-hash-0.2.0.0, containers-0.5.0.0, constraints-0.3.4.2, base-4.6.0.1, array-0.4.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring OneTuple-0.2.1...
Building OneTuple-0.2.1...
Preprocessing library OneTuple-0.2.1...
[1 of 1] Compiling Data.Tuple.OneTuple ( Data/Tuple/OneTuple.hs, dist/build/Data/Tuple/OneTuple.o )
In-place registering OneTuple-0.2.1...
Running Haddock for OneTuple-0.2.1...
Running hscolour for OneTuple-0.2.1...
Preprocessing library OneTuple-0.2.1...
Preprocessing library OneTuple-0.2.1...
Haddock coverage:
100% ( 3 / 3) in 'Data.Tuple.OneTuple'
Documentation created: dist/doc/html/OneTuple/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/OneTuple-0.2.1
Registering OneTuple-0.2.1...
Installed OneTuple-0.2.1
Configuring data-hash-0.2.0.0...
Building data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
[1 of 4] Compiling Data.Hash.Base ( src/Data/Hash/Base.hs, dist/build/Data/Hash/Base.o )
[2 of 4] Compiling Data.Hash.Instances ( src/Data/Hash/Instances.hs, dist/build/Data/Hash/Instances.o )
[3 of 4] Compiling Data.Hash.Rolling ( src/Data/Hash/Rolling.hs, dist/build/Data/Hash/Rolling.o )
[4 of 4] Compiling Data.Hash ( src/Data/Hash.hs, dist/build/Data/Hash.o )
In-place registering data-hash-0.2.0.0...
Running Haddock for data-hash-0.2.0.0...
Running hscolour for data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
Haddock coverage:
21% ( 3 / 14) in 'Data.Hash.Base'
0% ( 0 / 3) in 'Data.Hash.Instances'
70% ( 7 / 10) in 'Data.Hash.Rolling'
56% ( 10 / 18) in 'Data.Hash'
Documentation created: dist/doc/html/data-hash/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-hash-0.2.0.0
Registering data-hash-0.2.0.0...
Installed data-hash-0.2.0.0
Configuring newtype-0.2...
Building newtype-0.2...
Preprocessing library newtype-0.2...
[1 of 1] Compiling Control.Newtype ( Control/Newtype.hs, dist/build/Control/Newtype.o )
In-place registering newtype-0.2...
Running Haddock for newtype-0.2...
Running hscolour for newtype-0.2...
Preprocessing library newtype-0.2...
Preprocessing library newtype-0.2...
Haddock coverage:
100% ( 9 / 9) in 'Control.Newtype'
Documentation created: dist/doc/html/newtype/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/newtype-0.2
Registering newtype-0.2...
Installed newtype-0.2
Configuring tree-view-0.4...
Building tree-view-0.4...
Preprocessing library tree-view-0.4...
[1 of 1] Compiling Data.Tree.View ( src/Data/Tree/View.hs, dist/build/Data/Tree/View.o )
In-place registering tree-view-0.4...
Running Haddock for tree-view-0.4...
Running hscolour for tree-view-0.4...
Preprocessing library tree-view-0.4...
Preprocessing library tree-view-0.4...
Haddock coverage:
83% ( 5 / 6) in 'Data.Tree.View'
Documentation created: dist/doc/html/tree-view/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tree-view-0.4
Registering tree-view-0.4...
Installed tree-view-0.4
Configuring tuple-0.2.0.1...
Building tuple-0.2.0.1...
Preprocessing library tuple-0.2.0.1...
[1 of 5] Compiling Data.Tuple.Update ( src/Data/Tuple/Update.hs, dist/build/Data/Tuple/Update.o )
[2 of 5] Compiling Data.Tuple.Sequence ( src/Data/Tuple/Sequence.hs, dist/build/Data/Tuple/Sequence.o )
[3 of 5] Compiling Data.Tuple.Select ( src/Data/Tuple/Select.hs, dist/build/Data/Tuple/Select.o )
[4 of 5] Compiling Data.Tuple.Curry ( src/Data/Tuple/Curry.hs, dist/build/Data/Tuple/Curry.o )
[5 of 5] Compiling Data.Tuple.All ( src/Data/Tuple/All.hs, dist/build/Data/Tuple/All.o )
In-place registering tuple-0.2.0.1...
Running Haddock for tuple-0.2.0.1...
Running hscolour for tuple-0.2.0.1...
Preprocessing library tuple-0.2.0.1...
Preprocessing library tuple-0.2.0.1...
Haddock coverage:
0% ( 0 / 16) in 'Data.Tuple.Update'
50% ( 1 / 2) in 'Data.Tuple.Sequence'
0% ( 0 / 16) in 'Data.Tuple.Select'
50% ( 1 / 2) in 'Data.Tuple.Curry'
83% ( 5 / 6) in 'Data.Tuple.All'
Documentation created: dist/doc/html/tuple/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tuple-0.2.0.1
Registering tuple-0.2.0.1...
Installed tuple-0.2.0.1
Configuring constraints-0.3.4.2...
Building constraints-0.3.4.2...
Preprocessing library constraints-0.3.4.2...
[1 of 3] Compiling Data.Constraint ( Data/Constraint.hs, dist/build/Data/Constraint.o )
[2 of 3] Compiling Data.Constraint.Unsafe ( Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o )
[3 of 3] Compiling Data.Constraint.Forall ( Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o )
In-place registering constraints-0.3.4.2...
Running Haddock for constraints-0.3.4.2...
Running hscolour for constraints-0.3.4.2...
Preprocessing library constraints-0.3.4.2...
Preprocessing library constraints-0.3.4.2...
Haddock coverage:
Warning: Data.Constraint: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
Ex
90% ( 18 / 20) in 'Data.Constraint'
100% ( 7 / 7) in 'Data.Constraint.Unsafe'
44% ( 4 / 9) in 'Data.Constraint.Forall'
Warning: Data.Constraint.Forall: could not find link destinations for:
Data.Constraint.Forall.A Data.Constraint.Forall.B Data.Constraint.Forall.F Data.Constraint.Forall.M
Documentation created: dist/doc/html/constraints/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/constraints-0.3.4.2
Registering constraints-0.3.4.2...
Installed constraints-0.3.4.2
Downloading syntactic-1.11...
Configuring syntactic-1.11...
Building syntactic-1.11...
Preprocessing library syntactic-1.11...
[ 1 of 30] Compiling Language.Syntactic.Sharing.Utils ( src/Language/Syntactic/Sharing/Utils.hs, dist/build/Language/Syntactic/Sharing/Utils.o )
[ 2 of 30] Compiling Data.PolyProxy ( src/Data/PolyProxy.hs, dist/build/Data/PolyProxy.o )
[ 3 of 30] Compiling Data.DynamicAlt ( src/Data/DynamicAlt.hs, dist/build/Data/DynamicAlt.o )
[ 4 of 30] Compiling Language.Syntactic.Syntax ( src/Language/Syntactic/Syntax.hs, dist/build/Language/Syntactic/Syntax.o )
[ 5 of 30] Compiling Language.Syntactic.Traversal ( src/Language/Syntactic/Traversal.hs, dist/build/Language/Syntactic/Traversal.o )
[ 6 of 30] Compiling Language.Syntactic.Interpretation.Equality ( src/Language/Syntactic/Interpretation/Equality.hs, dist/build/Language/Syntactic/Interpretation/Equality.o )
[ 7 of 30] Compiling Language.Syntactic.Interpretation.Render ( src/Language/Syntactic/Interpretation/Render.hs, dist/build/Language/Syntactic/Interpretation/Render.o )
[ 8 of 30] Compiling Language.Syntactic.Interpretation.Evaluation ( src/Language/Syntactic/Interpretation/Evaluation.hs, dist/build/Language/Syntactic/Interpretation/Evaluation.o )
[ 9 of 30] Compiling Language.Syntactic.Interpretation.Semantics ( src/Language/Syntactic/Interpretation/Semantics.hs, dist/build/Language/Syntactic/Interpretation/Semantics.o )
[10 of 30] Compiling Language.Syntactic.Constraint ( src/Language/Syntactic/Constraint.hs, dist/build/Language/Syntactic/Constraint.o )
[11 of 30] Compiling Language.Syntactic.Sugar ( src/Language/Syntactic/Sugar.hs, dist/build/Language/Syntactic/Sugar.o )
[12 of 30] Compiling Language.Syntactic ( src/Language/Syntactic.hs, dist/build/Language/Syntactic.o )
[13 of 30] Compiling Language.Syntactic.Constructs.Condition ( src/Language/Syntactic/Constructs/Condition.hs, dist/build/Language/Syntactic/Constructs/Condition.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package OneTuple-0.2.1 ... linking ... done.
Loading package tuple-0.2.0.1 ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package tree-view-0.4 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package data-hash-0.2.0.0 ... linking ... done.
Loading package newtype-0.2 ... linking ... done.
Loading package constraints-0.3.4.2 ... linking ... done.
[14 of 30] Compiling Language.Syntactic.Constructs.Construct ( src/Language/Syntactic/Constructs/Construct.hs, dist/build/Language/Syntactic/Constructs/Construct.o )
[15 of 30] Compiling Language.Syntactic.Constructs.Decoration ( src/Language/Syntactic/Constructs/Decoration.hs, dist/build/Language/Syntactic/Constructs/Decoration.o )
[16 of 30] Compiling Language.Syntactic.Constructs.Identity ( src/Language/Syntactic/Constructs/Identity.hs, dist/build/Language/Syntactic/Constructs/Identity.o )
[17 of 30] Compiling Language.Syntactic.Constructs.Literal ( src/Language/Syntactic/Constructs/Literal.hs, dist/build/Language/Syntactic/Constructs/Literal.o )
[18 of 30] Compiling Language.Syntactic.Constructs.Monad ( src/Language/Syntactic/Constructs/Monad.hs, dist/build/Language/Syntactic/Constructs/Monad.o )
[19 of 30] Compiling Language.Syntactic.Constructs.Tuple ( src/Language/Syntactic/Constructs/Tuple.hs, dist/build/Language/Syntactic/Constructs/Tuple.o )
[20 of 30] Compiling Language.Syntactic.Frontend.Tuple ( src/Language/Syntactic/Frontend/Tuple.hs, dist/build/Language/Syntactic/Frontend/Tuple.o )
[21 of 30] Compiling Language.Syntactic.Frontend.TupleConstrained ( src/Language/Syntactic/Frontend/TupleConstrained.hs, dist/build/Language/Syntactic/Frontend/TupleConstrained.o )
[22 of 30] Compiling Language.Syntactic.Constructs.Binding ( src/Language/Syntactic/Constructs/Binding.hs, dist/build/Language/Syntactic/Constructs/Binding.o )
[23 of 30] Compiling Language.Syntactic.Constructs.Binding.HigherOrder ( src/Language/Syntactic/Constructs/Binding/HigherOrder.hs, dist/build/Language/Syntactic/Constructs/Binding/HigherOrder.o )
[24 of 30] Compiling Language.Syntactic.Frontend.Monad ( src/Language/Syntactic/Frontend/Monad.hs, dist/build/Language/Syntactic/Frontend/Monad.o )
[25 of 30] Compiling Language.Syntactic.Constructs.Binding.Optimize ( src/Language/Syntactic/Constructs/Binding/Optimize.hs, dist/build/Language/Syntactic/Constructs/Binding/Optimize.o )
[26 of 30] Compiling Language.Syntactic.Sharing.SimpleCodeMotion ( src/Language/Syntactic/Sharing/SimpleCodeMotion.hs, dist/build/Language/Syntactic/Sharing/SimpleCodeMotion.o )
[27 of 30] Compiling Language.Syntactic.Sharing.Graph ( src/Language/Syntactic/Sharing/Graph.hs, dist/build/Language/Syntactic/Sharing/Graph.o )
[28 of 30] Compiling Language.Syntactic.Sharing.StableName ( src/Language/Syntactic/Sharing/StableName.hs, dist/build/Language/Syntactic/Sharing/StableName.o )
[29 of 30] Compiling Language.Syntactic.Sharing.Reify ( src/Language/Syntactic/Sharing/Reify.hs, dist/build/Language/Syntactic/Sharing/Reify.o )
[30 of 30] Compiling Language.Syntactic.Sharing.ReifyHO ( src/Language/Syntactic/Sharing/ReifyHO.hs, dist/build/Language/Syntactic/Sharing/ReifyHO.o )
In-place registering syntactic-1.11...
Running Haddock for syntactic-1.11...
Running hscolour for syntactic-1.11...
Preprocessing library syntactic-1.11...
Preprocessing library syntactic-1.11...
Haddock coverage:
90% ( 9 / 10) in 'Language.Syntactic.Sharing.Utils'
50% ( 1 / 2) in 'Data.PolyProxy'
25% ( 1 / 4) in 'Data.DynamicAlt'
Warning: Language.Syntactic.Syntax: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
DenResult
100% ( 17 / 17) in 'Language.Syntactic.Syntax'
95% ( 19 / 20) in 'Language.Syntactic.Traversal'
50% ( 1 / 2) in 'Language.Syntactic.Interpretation.Equality'
75% ( 6 / 8) in 'Language.Syntactic.Interpretation.Render'
Warning: Language.Syntactic.Interpretation.Evaluation: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
Denotation
33% ( 1 / 3) in 'Language.Syntactic.Interpretation.Evaluation'
100% ( 9 / 9) in 'Language.Syntactic.Interpretation.Semantics'
Warning: Language.Syntactic.Constraint: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Syntax.AST dom), Language.Syntactic.Constraint.Constrained (sub1 Language.Syntactic.Syntax.:+: sub2), Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (dom Language.Syntactic.Constraint.:| pred), Language.Syntactic.Constraint.Constrained (dom Language.Syntactic.Constraint.:|| pred), Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constraint.SubConstr1 c dom p), Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constraint.SubConstr2 c dom pa pb), Language.Syntactic.Constraint.Constrained Language.Syntactic.Constraint.Empty
72% ( 23 / 32) in 'Language.Syntactic.Constraint'
Warning: Language.Syntactic.Sugar: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Sugar.Syntactic (Language.Syntactic.Syntax.ASTF dom a)
100% ( 6 / 6) in 'Language.Syntactic.Sugar'
100% ( 11 / 11) in 'Language.Syntactic'
Warning: Language.Syntactic.Constructs.Condition: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Condition.Condition
50% ( 1 / 2) in 'Language.Syntactic.Constructs.Condition'
Warning: Language.Syntactic.Constructs.Construct: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Construct.Construct
50% ( 1 / 2) in 'Language.Syntactic.Constructs.Construct'
Warning: Language.Syntactic.Constructs.Decoration: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained expr =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constructs.Decoration.Decor info expr)
100% ( 11 / 11) in 'Language.Syntactic.Constructs.Decoration'
Warning: Language.Syntactic.Constructs.Identity: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Identity.Identity
100% ( 2 / 2) in 'Language.Syntactic.Constructs.Identity'
Warning: Language.Syntactic.Constructs.Literal: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Literal.Literal
50% ( 1 / 2) in 'Language.Syntactic.Constructs.Literal'
Warning: Language.Syntactic.Constructs.Monad: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constructs.Monad.MONAD m)
67% ( 2 / 3) in 'Language.Syntactic.Constructs.Monad'
Warning: Language.Syntactic.Constructs.Tuple: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
Sel1', Sel2', Sel3', Sel4', Sel5', Sel6', Sel7'
Warning: Language.Syntactic.Constructs.Tuple: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Tuple.Tuple, Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Tuple.Select
54% ( 7 / 13) in 'Language.Syntactic.Constructs.Tuple'
Warning: Language.Syntactic.Frontend.Tuple: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b)) =>
Language.Syntactic.Sugar.Syntactic (a, b), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Sugar.Syntactic e,
Language.Syntactic.Sugar.Domain e ~ dom,
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Sugar.Syntactic e,
Language.Syntactic.Sugar.Domain e ~ dom,
Language.Syntactic.Sugar.Syntactic f,
Language.Syntactic.Sugar.Domain f ~ dom,
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e,
Language.Syntactic.Sugar.Internal f),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Sugar.Syntactic e,
Language.Syntactic.Sugar.Domain e ~ dom,
Language.Syntactic.Sugar.Syntactic f,
Language.Syntactic.Sugar.Domain f ~ dom,
Language.Syntactic.Sugar.Syntactic g,
Language.Syntactic.Sugar.Domain g ~ dom,
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e,
Language.Syntactic.Sugar.Internal f,
Language.Syntactic.Sugar.Internal g),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g)
100% ( 1 / 1) in 'Language.Syntactic.Frontend.Tuple'
Warning: Language.Syntactic.Frontend.TupleConstrained: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
p (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b),
p (Language.Syntactic.Sugar.Internal a),
p (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b)) =>
Language.Syntactic.Sugar.Syntactic (a, b), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
p (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c),
p (Language.Syntactic.Sugar.Internal a),
p (Language.Syntactic.Sugar.Internal b),
p (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
p (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d),
p (Language.Syntactic.Sugar.Internal a),
p (Language.Syntactic.Sugar.Internal b),
p (Language.Syntactic.Sugar.Internal c),
p (Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Sugar.Syntactic e,
Language.Syntactic.Sugar.Domain e ~ dom,
Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
p (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e),
p (Language.Syntactic.Sugar.Internal a),
p (Language.Syntactic.Sugar.Internal b),
p (Language.Syntactic.Sugar.Internal c),
p (Language.Syntactic.Sugar.Internal d),
p (Language.Syntactic.Sugar.Internal e),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Sugar.Syntactic e,
Language.Syntactic.Sugar.Domain e ~ dom,
Language.Syntactic.Sugar.Syntactic f,
Language.Syntactic.Sugar.Domain f ~ dom,
Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
p (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e,
Language.Syntactic.Sugar.Internal f),
p (Language.Syntactic.Sugar.Internal a),
p (Language.Syntactic.Sugar.Internal b),
p (Language.Syntactic.Sugar.Internal c),
p (Language.Syntactic.Sugar.Internal d),
p (Language.Syntactic.Sugar.Internal e),
p (Language.Syntactic.Sugar.Internal f),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e,
Language.Syntactic.Sugar.Internal f),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f), (Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Sugar.Syntactic c,
Language.Syntactic.Sugar.Domain c ~ dom,
Language.Syntactic.Sugar.Syntactic d,
Language.Syntactic.Sugar.Domain d ~ dom,
Language.Syntactic.Sugar.Syntactic e,
Language.Syntactic.Sugar.Domain e ~ dom,
Language.Syntactic.Sugar.Syntactic f,
Language.Syntactic.Sugar.Domain f ~ dom,
Language.Syntactic.Sugar.Syntactic g,
Language.Syntactic.Sugar.Domain g ~ dom,
Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
p (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e,
Language.Syntactic.Sugar.Internal f,
Language.Syntactic.Sugar.Internal g),
p (Language.Syntactic.Sugar.Internal a),
p (Language.Syntactic.Sugar.Internal b),
p (Language.Syntactic.Sugar.Internal c),
p (Language.Syntactic.Sugar.Internal d),
p (Language.Syntactic.Sugar.Internal e),
p (Language.Syntactic.Sugar.Internal f),
p (Language.Syntactic.Sugar.Internal g),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
Language.Syntactic.Sugar.Internal b,
Language.Syntactic.Sugar.Internal c,
Language.Syntactic.Sugar.Internal d,
Language.Syntactic.Sugar.Internal e,
Language.Syntactic.Sugar.Internal f,
Language.Syntactic.Sugar.Internal g),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g)
100% ( 2 / 2) in 'Language.Syntactic.Frontend.TupleConstrained'
Warning: Language.Syntactic.Constructs.Binding: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Binding.Variable, Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Binding.Lambda, Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Binding.Let
81% ( 21 / 26) in 'Language.Syntactic.Constructs.Binding'
Warning: Language.Syntactic.Constructs.Binding.HigherOrder: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Sugar.Syntactic b,
Language.Syntactic.Sugar.Domain b ~ dom,
Language.Syntactic.Constructs.Binding.HigherOrder.IsHODomain dom p pVar,
p (Language.Syntactic.Sugar.Internal a
-> Language.Syntactic.Sugar.Internal b),
p (Language.Syntactic.Sugar.Internal a),
pVar (Language.Syntactic.Sugar.Internal a)) =>
Language.Syntactic.Sugar.Syntactic (a -> b)
91% ( 10 / 11) in 'Language.Syntactic.Constructs.Binding.HigherOrder'
Warning: Language.Syntactic.Frontend.Monad: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
Language.Syntactic.Sugar.Domain a ~ dom,
Language.Syntactic.Constructs.Binding.HigherOrder.IsHODomain dom Data.Typeable.Internal.Typeable pVar,
Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Monad.MONAD m) dom (m (Language.Syntactic.Sugar.Internal a)),
GHC.Base.Monad m,
Data.Typeable.Internal.Typeable1 m,
Data.Typeable.Internal.Typeable (Language.Syntactic.Sugar.Internal a),
pVar (Language.Syntactic.Sugar.Internal a)) =>
Language.Syntactic.Sugar.Syntactic (Language.Syntactic.Frontend.Monad.Mon dom m a)
100% ( 4 / 4) in 'Language.Syntactic.Frontend.Monad'
71% ( 5 / 7) in 'Language.Syntactic.Constructs.Binding.Optimize'
100% ( 8 / 8) in 'Language.Syntactic.Sharing.SimpleCodeMotion'
Warning: Language.Syntactic.Sharing.Graph: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Sharing.Graph.Node
86% ( 24 / 28) in 'Language.Syntactic.Sharing.Graph'
71% ( 5 / 7) in 'Language.Syntactic.Sharing.StableName'
100% ( 2 / 2) in 'Language.Syntactic.Sharing.Reify'
100% ( 3 / 3) in 'Language.Syntactic.Sharing.ReifyHO'
Warning: Language.Syntactic.Sharing.SimpleCodeMotion: could not find link destinations for:
Language.Syntactic.Sharing.SimpleCodeMotion.choose
Warning: Language.Syntactic.Sharing.Reify: could not find link destinations for:
Language.Syntactic.Sharing.Reify.reifyGraphM
Warning: Language.Syntactic.Sharing.ReifyHO: could not find link destinations for:
Language.Syntactic.Sharing.ReifyHO.reifyGraphM
Documentation created: dist/doc/html/syntactic/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syntactic-1.11
Registering syntactic-1.11...
Installed syntactic-1.11
Test log
No test log was submitted for this report.