Resolving dependencies... Configuring cmdargs-0.10.7... Building cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... [ 1 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, dist/build/System/Console/CmdArgs/Implicit/Ann.o ) [ 2 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, dist/build/System/Console/CmdArgs/Implicit/UI.o ) [ 3 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, dist/build/System/Console/CmdArgs/Verbosity.o ) [ 4 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, dist/build/System/Console/CmdArgs/Implicit/Type.o ) [ 5 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.o ) [ 6 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.o ) [ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, dist/build/System/Console/CmdArgs/Explicit/Type.o ) [ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, dist/build/System/Console/CmdArgs/Explicit/Process.o ) [ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, dist/build/System/Console/CmdArgs/Explicit/Complete.o ) [10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, dist/build/System/Console/CmdArgs/Helper.o ) [11 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, dist/build/System/Console/CmdArgs/Default.o ) [12 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, dist/build/System/Console/CmdArgs/Text.o ) [13 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, dist/build/System/Console/CmdArgs/Explicit/Help.o ) [14 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, dist/build/System/Console/CmdArgs/Explicit.o ) [15 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, dist/build/System/Console/CmdArgs/GetOpt.o ) [16 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, dist/build/Data/Generics/Any.o ) Data/Generics/Any.hs:65:17: Warning: In the use of `tyConString' (imported from Data.Data, but defined in Data.Typeable.Internal): Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available." [17 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, dist/build/Data/Generics/Any/Prelude.o ) [18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, dist/build/System/Console/CmdArgs/Implicit/Reader.o ) [19 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, dist/build/System/Console/CmdArgs/Annotate.o ) [20 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, dist/build/System/Console/CmdArgs/Implicit/Local.o ) [21 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, dist/build/System/Console/CmdArgs/Implicit/Reform.o ) [22 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, dist/build/System/Console/CmdArgs/Implicit/Global.o ) [23 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, dist/build/System/Console/CmdArgs/Implicit.o ) [24 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, dist/build/System/Console/CmdArgs/Quote.o ) [25 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, dist/build/System/Console/CmdArgs.o ) In-place registering cmdargs-0.10.7... Running Haddock for cmdargs-0.10.7... Running hscolour for cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... dist/build/tmp-31171/Data/Generics/Any.hs:65:17: Warning: In the use of `tyConString' (imported from Data.Data, but defined in Data.Typeable.Internal): Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available." Haddock coverage: 50% ( 1 / 2) in 'System.Console.CmdArgs.Implicit.Ann' 100% ( 21 / 21) in 'System.Console.CmdArgs.Implicit.UI' 100% ( 8 / 8) in 'System.Console.CmdArgs.Verbosity' 25% ( 2 / 8) in 'System.Console.CmdArgs.Implicit.Type' 67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.SplitJoin' 50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.ExpandArgsAt' 86% ( 24 / 28) in 'System.Console.CmdArgs.Explicit.Type' 50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.Process' 60% ( 3 / 5) in 'System.Console.CmdArgs.Explicit.Complete' 100% ( 8 / 8) in 'System.Console.CmdArgs.Helper' 100% ( 2 / 2) in 'System.Console.CmdArgs.Default' 100% ( 5 / 5) in 'System.Console.CmdArgs.Text' 67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.Help' 93% ( 43 / 46) in 'System.Console.CmdArgs.Explicit' 100% ( 8 / 8) in 'System.Console.CmdArgs.GetOpt' 4% ( 1 / 26) in 'Data.Generics.Any' 0% ( 0 / 20) in 'Data.Generics.Any.Prelude' 0% ( 0 / 3) in 'System.Console.CmdArgs.Implicit.Reader' 100% ( 17 / 17) in 'System.Console.CmdArgs.Annotate' 9% ( 1 / 11) in 'System.Console.CmdArgs.Implicit.Local' 0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Reform' 0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Global' 100% ( 50 / 50) in 'System.Console.CmdArgs.Implicit' 100% ( 9 / 9) in 'System.Console.CmdArgs.Quote' 100% ( 2 / 2) in 'System.Console.CmdArgs' Warning: System.Console.CmdArgs.Implicit: could not find link destinations for: System.Console.CmdArgs.Implicit.Type.CmdArgsPrivate GHC.IO.Handle.Types.Handle__ Documentation created: dist/doc/html/cmdargs/index.html, dist/doc/html/cmdargs/cmdargs.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cmdargs-0.10.7 Registering cmdargs-0.10.7... Installed cmdargs-0.10.7 Configuring fgl-5.5.0.1... Building fgl-5.5.0.1... Preprocessing library fgl-5.5.0.1... [ 1 of 29] Compiling Paths_fgl ( dist/build/autogen/Paths_fgl.hs, dist/build/Paths_fgl.o ) [ 2 of 29] Compiling Data.Graph.Inductive.Internal.Thread ( Data/Graph/Inductive/Internal/Thread.hs, dist/build/Data/Graph/Inductive/Internal/Thread.o ) [ 3 of 29] Compiling Data.Graph.Inductive.Graph ( Data/Graph/Inductive/Graph.hs, dist/build/Data/Graph/Inductive/Graph.o ) [ 4 of 29] Compiling Data.Graph.Inductive.Basic ( Data/Graph/Inductive/Basic.hs, dist/build/Data/Graph/Inductive/Basic.o ) [ 5 of 29] Compiling Data.Graph.Inductive.PatriciaTree ( Data/Graph/Inductive/PatriciaTree.hs, dist/build/Data/Graph/Inductive/PatriciaTree.o ) [ 6 of 29] Compiling Data.Graph.Inductive.Monad ( Data/Graph/Inductive/Monad.hs, dist/build/Data/Graph/Inductive/Monad.o ) [ 7 of 29] Compiling Data.Graph.Inductive.Monad.IOArray ( Data/Graph/Inductive/Monad/IOArray.hs, dist/build/Data/Graph/Inductive/Monad/IOArray.o ) [ 8 of 29] Compiling Data.Graph.Inductive.Example ( Data/Graph/Inductive/Example.hs, dist/build/Data/Graph/Inductive/Example.o ) [ 9 of 29] Compiling Data.Graph.Inductive.Query.DFS ( Data/Graph/Inductive/Query/DFS.hs, dist/build/Data/Graph/Inductive/Query/DFS.o ) [10 of 29] Compiling Data.Graph.Inductive.Query.Indep ( Data/Graph/Inductive/Query/Indep.hs, dist/build/Data/Graph/Inductive/Query/Indep.o ) [11 of 29] Compiling Data.Graph.Inductive.Query.ArtPoint ( Data/Graph/Inductive/Query/ArtPoint.hs, dist/build/Data/Graph/Inductive/Query/ArtPoint.o ) [12 of 29] Compiling Data.Graph.Inductive.Query.BCC ( Data/Graph/Inductive/Query/BCC.hs, dist/build/Data/Graph/Inductive/Query/BCC.o ) [13 of 29] Compiling Data.Graph.Inductive.Query.Dominators ( Data/Graph/Inductive/Query/Dominators.hs, dist/build/Data/Graph/Inductive/Query/Dominators.o ) [14 of 29] Compiling Data.Graph.Inductive.Query.TransClos ( Data/Graph/Inductive/Query/TransClos.hs, dist/build/Data/Graph/Inductive/Query/TransClos.o ) [15 of 29] Compiling Data.Graph.Inductive.Query.Monad ( Data/Graph/Inductive/Query/Monad.hs, dist/build/Data/Graph/Inductive/Query/Monad.o ) [16 of 29] Compiling Data.Graph.Inductive.Internal.RootPath ( Data/Graph/Inductive/Internal/RootPath.hs, dist/build/Data/Graph/Inductive/Internal/RootPath.o ) [17 of 29] Compiling Data.Graph.Inductive.Internal.Queue ( Data/Graph/Inductive/Internal/Queue.hs, dist/build/Data/Graph/Inductive/Internal/Queue.o ) [18 of 29] Compiling Data.Graph.Inductive.Query.BFS ( Data/Graph/Inductive/Query/BFS.hs, dist/build/Data/Graph/Inductive/Query/BFS.o ) [19 of 29] Compiling Data.Graph.Inductive.Query.MaxFlow ( Data/Graph/Inductive/Query/MaxFlow.hs, dist/build/Data/Graph/Inductive/Query/MaxFlow.o ) [20 of 29] Compiling Data.Graph.Inductive.Internal.Heap ( Data/Graph/Inductive/Internal/Heap.hs, dist/build/Data/Graph/Inductive/Internal/Heap.o ) [21 of 29] Compiling Data.Graph.Inductive.Query.SP ( Data/Graph/Inductive/Query/SP.hs, dist/build/Data/Graph/Inductive/Query/SP.o ) [22 of 29] Compiling Data.Graph.Inductive.Query.GVD ( Data/Graph/Inductive/Query/GVD.hs, dist/build/Data/Graph/Inductive/Query/GVD.o ) [23 of 29] Compiling Data.Graph.Inductive.Query.MST ( Data/Graph/Inductive/Query/MST.hs, dist/build/Data/Graph/Inductive/Query/MST.o ) [24 of 29] Compiling Data.Graph.Inductive.Internal.FiniteMap ( Data/Graph/Inductive/Internal/FiniteMap.hs, dist/build/Data/Graph/Inductive/Internal/FiniteMap.o ) [25 of 29] Compiling Data.Graph.Inductive.NodeMap ( Data/Graph/Inductive/NodeMap.hs, dist/build/Data/Graph/Inductive/NodeMap.o ) [26 of 29] Compiling Data.Graph.Inductive.Query.MaxFlow2 ( Data/Graph/Inductive/Query/MaxFlow2.hs, dist/build/Data/Graph/Inductive/Query/MaxFlow2.o ) [27 of 29] Compiling Data.Graph.Inductive.Query ( Data/Graph/Inductive/Query.hs, dist/build/Data/Graph/Inductive/Query.o ) [28 of 29] Compiling Data.Graph.Inductive ( Data/Graph/Inductive.hs, dist/build/Data/Graph/Inductive.o ) [29 of 29] Compiling Data.Graph.Inductive.Tree ( Data/Graph/Inductive/Tree.hs, dist/build/Data/Graph/Inductive/Tree.o ) In-place registering fgl-5.5.0.1... Running Haddock for fgl-5.5.0.1... Running hscolour for fgl-5.5.0.1... Preprocessing library fgl-5.5.0.1... Preprocessing library fgl-5.5.0.1... Haddock coverage: 0% ( 0 / 8) in 'Paths_fgl' 23% ( 3 / 13) in 'Data.Graph.Inductive.Internal.Thread' 96% ( 75 / 78) in 'Data.Graph.Inductive.Graph' 100% ( 18 / 18) in 'Data.Graph.Inductive.Basic' 33% ( 1 / 3) in 'Data.Graph.Inductive.PatriciaTree' 47% ( 8 / 17) in 'Data.Graph.Inductive.Monad' 40% ( 4 / 10) in 'Data.Graph.Inductive.Monad.IOArray' 23% ( 14 / 61) in 'Data.Graph.Inductive.Example' 16% ( 5 / 32) in 'Data.Graph.Inductive.Query.DFS' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.Indep' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.ArtPoint' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.BCC' 67% ( 2 / 3) in 'Data.Graph.Inductive.Query.Dominators' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.TransClos' 30% ( 13 / 43) in 'Data.Graph.Inductive.Query.Monad' 33% ( 3 / 9) in 'Data.Graph.Inductive.Internal.RootPath' 22% ( 2 / 9) in 'Data.Graph.Inductive.Internal.Queue' 33% ( 6 / 18) in 'Data.Graph.Inductive.Query.BFS' 100% ( 9 / 9) in 'Data.Graph.Inductive.Query.MaxFlow' 19% ( 3 / 16) in 'Data.Graph.Inductive.Internal.Heap' 20% ( 1 / 5) in 'Data.Graph.Inductive.Query.SP' 12% ( 1 / 8) in 'Data.Graph.Inductive.Query.GVD' 40% ( 2 / 5) in 'Data.Graph.Inductive.Query.MST' 38% ( 8 / 21) in 'Data.Graph.Inductive.Internal.FiniteMap' 48% ( 21 / 44) in 'Data.Graph.Inductive.NodeMap' 20% ( 1 / 5) in 'Data.Graph.Inductive.Query.MaxFlow2' 93% ( 13 / 14) in 'Data.Graph.Inductive.Query' 90% ( 9 / 10) in 'Data.Graph.Inductive' 33% ( 1 / 3) in 'Data.Graph.Inductive.Tree' Documentation created: dist/doc/html/fgl/index.html, dist/doc/html/fgl/fgl.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/fgl-5.5.0.1 Registering fgl-5.5.0.1... Installed fgl-5.5.0.1 Downloading Dung-1.0.0.1... Configuring Dung-1.0.0.1... Building Dung-1.0.0.1... Preprocessing library Dung-1.0.0.1... [1 of 4] Compiling Language.Dung.AF ( src/Language/Dung/AF.hs, dist/build/Language/Dung/AF.o ) [2 of 4] Compiling Language.Dung.Input ( src/Language/Dung/Input.hs, dist/build/Language/Dung/Input.o ) [3 of 4] Compiling Language.Dung.Output ( src/Language/Dung/Output.hs, dist/build/Language/Dung/Output.o ) [4 of 4] Compiling Language.Dung.Examples ( src/Language/Dung/Examples.hs, dist/build/Language/Dung/Examples.o ) In-place registering Dung-1.0.0.1... Preprocessing executable 'dungell' for Dung-1.0.0.1... [1 of 4] Compiling Language.Dung.AF ( src/Language/Dung/AF.hs, dist/build/dungell/dungell-tmp/Language/Dung/AF.o ) [2 of 4] Compiling Language.Dung.Input ( src/Language/Dung/Input.hs, dist/build/dungell/dungell-tmp/Language/Dung/Input.o ) [3 of 4] Compiling Language.Dung.Output ( src/Language/Dung/Output.hs, dist/build/dungell/dungell-tmp/Language/Dung/Output.o ) [4 of 4] Compiling Main ( src/Main.hs, dist/build/dungell/dungell-tmp/Main.o ) Linking dist/build/dungell/dungell ... Running Haddock for Dung-1.0.0.1... Running hscolour for Dung-1.0.0.1... Preprocessing library Dung-1.0.0.1... Preprocessing executable 'dungell' for Dung-1.0.0.1... Preprocessing library Dung-1.0.0.1... Haddock coverage: 100% ( 53 / 53) in 'Language.Dung.AF' 100% ( 4 / 4) in 'Language.Dung.Input' 100% ( 8 / 8) in 'Language.Dung.Output' 80% ( 20 / 25) in 'Language.Dung.Examples' Documentation created: dist/doc/html/Dung/index.html, dist/doc/html/Dung/Dung.txt Preprocessing executable 'dungell' for Dung-1.0.0.1... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Dung-1.0.0.1 Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the system search path. Registering Dung-1.0.0.1... Installed Dung-1.0.0.1 Configuring CarneadesDSL-1.3... Building CarneadesDSL-1.3... Preprocessing library CarneadesDSL-1.3... [1 of 4] Compiling Language.Carneades.Cyclic ( Language/Carneades/Cyclic.hs, dist/build/Language/Carneades/Cyclic.o ) [2 of 4] Compiling Language.Carneades.CarneadesDSL ( Language/Carneades/CarneadesDSL.lhs, dist/build/Language/Carneades/CarneadesDSL.o ) [3 of 4] Compiling Language.Carneades.Input ( Language/Carneades/Input.hs, dist/build/Language/Carneades/Input.o ) [4 of 4] Compiling Language.Carneades.ExampleCAES ( Language/Carneades/ExampleCAES.lhs, dist/build/Language/Carneades/ExampleCAES.o ) In-place registering CarneadesDSL-1.3... Running Haddock for CarneadesDSL-1.3... Running hscolour for CarneadesDSL-1.3... Preprocessing library CarneadesDSL-1.3... Preprocessing library CarneadesDSL-1.3... Haddock coverage: 0% ( 0 / 2) in 'Language.Carneades.Cyclic' 5% ( 3 / 57) in 'Language.Carneades.CarneadesDSL' 100% ( 4 / 4) in 'Language.Carneades.Input' doc comment parse failed: should not be acceptable, because the weight of $\mathit{arg2} < \alpha$. However, note that we can't reach the opposite conclusion either: \begin{spec} acceptable (mkProp "murder") caes > False acceptable (mkProp "-murder") caes > False \end{spec} As a further extension, one could for example imagine giving an argumentation theorist the means to see a trace of the derivation of acceptability. It would be straightforward to add further primitives to the DSL and keeping track of intermediate results for acceptability and applicability to achieve this. 24% ( 4 / 17) in 'Language.Carneades.ExampleCAES' Documentation created: dist/doc/html/CarneadesDSL/index.html, dist/doc/html/CarneadesDSL/CarneadesDSL.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/CarneadesDSL-1.3 Registering CarneadesDSL-1.3... Installed CarneadesDSL-1.3 Downloading CarneadesIntoDung-1.0... Configuring CarneadesIntoDung-1.0... Building CarneadesIntoDung-1.0... Preprocessing library CarneadesIntoDung-1.0... [1 of 2] Compiling Language.CarneadesIntoDung.Translation ( src/Language/CarneadesIntoDung/Translation.hs, dist/build/Language/CarneadesIntoDung/Translation.o ) [2 of 2] Compiling Language.CarneadesIntoDung.Examples ( src/Language/CarneadesIntoDung/Examples.hs, dist/build/Language/CarneadesIntoDung/Examples.o ) In-place registering CarneadesIntoDung-1.0... Preprocessing executable 'caell' for CarneadesIntoDung-1.0... [1 of 2] Compiling Language.CarneadesIntoDung.Translation ( src/Language/CarneadesIntoDung/Translation.hs, dist/build/caell/caell-tmp/Language/CarneadesIntoDung/Translation.o ) [2 of 2] Compiling Main ( src/Main.hs, dist/build/caell/caell-tmp/Main.o ) Linking dist/build/caell/caell ... Running Haddock for CarneadesIntoDung-1.0... Running hscolour for CarneadesIntoDung-1.0... Preprocessing library CarneadesIntoDung-1.0... Preprocessing executable 'caell' for CarneadesIntoDung-1.0... Preprocessing library CarneadesIntoDung-1.0... Haddock coverage: 100% ( 13 / 13) in 'Language.CarneadesIntoDung.Translation' 88% ( 7 / 8) in 'Language.CarneadesIntoDung.Examples' Documentation created: dist/doc/html/CarneadesIntoDung/index.html, dist/doc/html/CarneadesIntoDung/CarneadesIntoDung.txt Preprocessing executable 'caell' for CarneadesIntoDung-1.0... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/CarneadesIntoDung-1.0 Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the system search path. Registering CarneadesIntoDung-1.0... Installed CarneadesIntoDung-1.0