Resolving dependencies... Configuring IfElse-0.85... Building IfElse-0.85... Preprocessing library IfElse-0.85... [1 of 1] Compiling Control.Monad.IfElse ( Control/Monad/IfElse.hs, dist/build/Control/Monad/IfElse.o ) In-place registering IfElse-0.85... Running Haddock for IfElse-0.85... Running hscolour for IfElse-0.85... Preprocessing library IfElse-0.85... Preprocessing library IfElse-0.85... Haddock coverage: 100% ( 25 / 25) in 'Control.Monad.IfElse' Documentation created: dist/doc/html/IfElse/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/IfElse-0.85 Registering IfElse-0.85... Installed IfElse-0.85 Configuring cpphs-1.17.1... Building cpphs-1.17.1... Preprocessing library cpphs-1.17.1... [ 1 of 12] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/Language/Preprocessor/Cpphs/HashDefine.o ) [ 2 of 12] Compiling Text.ParserCombinators.HuttonMeijer ( Text/ParserCombinators/HuttonMeijer.hs, dist/build/Text/ParserCombinators/HuttonMeijer.o ) [ 3 of 12] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/Language/Preprocessor/Cpphs/SymTab.o ) [ 4 of 12] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/Language/Preprocessor/Unlit.o ) [ 5 of 12] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/Language/Preprocessor/Cpphs/Options.o ) [ 6 of 12] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/Language/Preprocessor/Cpphs/Position.o ) [ 7 of 12] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/Language/Preprocessor/Cpphs/ReadFirst.o ) [ 8 of 12] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/Language/Preprocessor/Cpphs/Tokenise.o ) [ 9 of 12] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/Language/Preprocessor/Cpphs/MacroPass.o ) [10 of 12] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/Language/Preprocessor/Cpphs/CppIfdef.o ) [11 of 12] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/Language/Preprocessor/Cpphs/RunCpphs.o ) [12 of 12] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/Language/Preprocessor/Cpphs.o ) In-place registering cpphs-1.17.1... Preprocessing executable 'cpphs' for cpphs-1.17.1... [ 1 of 13] Compiling Text.ParserCombinators.HuttonMeijer ( Text/ParserCombinators/HuttonMeijer.hs, dist/build/cpphs/cpphs-tmp/Text/ParserCombinators/HuttonMeijer.o ) [ 2 of 13] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/SymTab.o ) [ 3 of 13] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Position.o ) [ 4 of 13] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/ReadFirst.o ) [ 5 of 13] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Options.o ) [ 6 of 13] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/HashDefine.o ) [ 7 of 13] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Tokenise.o ) [ 8 of 13] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/MacroPass.o ) [ 9 of 13] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/CppIfdef.o ) [10 of 13] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Unlit.o ) [11 of 13] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/RunCpphs.o ) [12 of 13] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs.o ) [13 of 13] Compiling Main ( cpphs.hs, dist/build/cpphs/cpphs-tmp/Main.o ) Linking dist/build/cpphs/cpphs ... Running Haddock for cpphs-1.17.1... Running hscolour for cpphs-1.17.1... Preprocessing library cpphs-1.17.1... Preprocessing executable 'cpphs' for cpphs-1.17.1... Preprocessing library cpphs-1.17.1... Haddock coverage: 83% ( 5 / 6) in 'Language.Preprocessor.Cpphs.HashDefine' 6% ( 2 / 36) in 'Text.ParserCombinators.HuttonMeijer' 33% ( 3 / 9) in 'Language.Preprocessor.Cpphs.SymTab' 100% ( 2 / 2) in 'Language.Preprocessor.Unlit' 100% ( 7 / 7) in 'Language.Preprocessor.Cpphs.Options' 100% ( 14 / 14) in 'Language.Preprocessor.Cpphs.Position' 100% ( 2 / 2) in 'Language.Preprocessor.Cpphs.ReadFirst' 86% ( 6 / 7) in 'Language.Preprocessor.Cpphs.Tokenise' 100% ( 5 / 5) in 'Language.Preprocessor.Cpphs.MacroPass' 100% ( 2 / 2) in 'Language.Preprocessor.Cpphs.CppIfdef' 0% ( 0 / 3) in 'Language.Preprocessor.Cpphs.RunCpphs' 92% ( 22 / 24) in 'Language.Preprocessor.Cpphs' Documentation created: dist/doc/html/cpphs/index.html Preprocessing executable 'cpphs' for cpphs-1.17.1... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cpphs-1.17.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 cpphs-1.17.1... Installed cpphs-1.17.1 [1 of 1] Compiling Main ( /tmp/haskell-src-exts-1.14.0-9360/haskell-src-exts-1.14.0/Setup.hs, /tmp/haskell-src-exts-1.14.0-9360/haskell-src-exts-1.14.0/dist/setup/Main.o ) Linking /tmp/haskell-src-exts-1.14.0-9360/haskell-src-exts-1.14.0/dist/setup/setup ... Configuring haskell-src-exts-1.14.0... Building haskell-src-exts-1.14.0... Preprocessing library haskell-src-exts-1.14.0... [ 1 of 22] Compiling Language.Haskell.Exts.Annotated.Syntax ( src/Language/Haskell/Exts/Annotated/Syntax.hs, dist/build/Language/Haskell/Exts/Annotated/Syntax.o ) [ 2 of 22] Compiling Language.Haskell.Exts.ParseSyntax ( src/Language/Haskell/Exts/ParseSyntax.hs, dist/build/Language/Haskell/Exts/ParseSyntax.o ) [ 3 of 22] Compiling Language.Haskell.Exts.Annotated.Build ( src/Language/Haskell/Exts/Annotated/Build.hs, dist/build/Language/Haskell/Exts/Annotated/Build.o ) [ 4 of 22] Compiling Language.Haskell.Exts.SrcLoc ( src/Language/Haskell/Exts/SrcLoc.hs, dist/build/Language/Haskell/Exts/SrcLoc.o ) [ 5 of 22] Compiling Language.Haskell.Exts.Comments ( src/Language/Haskell/Exts/Comments.hs, dist/build/Language/Haskell/Exts/Comments.o ) [ 6 of 22] Compiling Language.Haskell.Exts.Annotated.ExactPrint ( src/Language/Haskell/Exts/Annotated/ExactPrint.hs, dist/build/Language/Haskell/Exts/Annotated/ExactPrint.o ) [ 7 of 22] Compiling Language.Haskell.Exts.Extension ( src/Language/Haskell/Exts/Extension.hs, dist/build/Language/Haskell/Exts/Extension.o ) [ 8 of 22] Compiling Language.Haskell.Exts.ExtScheme ( src/Language/Haskell/Exts/ExtScheme.hs, dist/build/Language/Haskell/Exts/ExtScheme.o ) [ 9 of 22] Compiling Language.Haskell.Exts.Syntax ( src/Language/Haskell/Exts/Syntax.hs, dist/build/Language/Haskell/Exts/Syntax.o ) [10 of 22] Compiling Language.Haskell.Exts.Build ( src/Language/Haskell/Exts/Build.hs, dist/build/Language/Haskell/Exts/Build.o ) [11 of 22] Compiling Language.Haskell.Exts.Fixity ( src/Language/Haskell/Exts/Fixity.hs, dist/build/Language/Haskell/Exts/Fixity.o ) [12 of 22] Compiling Language.Haskell.Exts.ParseMonad ( src/Language/Haskell/Exts/ParseMonad.hs, dist/build/Language/Haskell/Exts/ParseMonad.o ) [13 of 22] Compiling Language.Haskell.Exts.InternalLexer ( src/Language/Haskell/Exts/InternalLexer.hs, dist/build/Language/Haskell/Exts/InternalLexer.o ) [14 of 22] Compiling Language.Haskell.Exts.Lexer ( src/Language/Haskell/Exts/Lexer.hs, dist/build/Language/Haskell/Exts/Lexer.o ) [15 of 22] Compiling Language.Haskell.Exts.Annotated.Simplify ( src/Language/Haskell/Exts/Annotated/Simplify.hs, dist/build/Language/Haskell/Exts/Annotated/Simplify.o ) [16 of 22] Compiling Language.Haskell.Exts.Pretty ( src/Language/Haskell/Exts/Pretty.hs, dist/build/Language/Haskell/Exts/Pretty.o ) [17 of 22] Compiling Language.Haskell.Exts.ParseUtils ( src/Language/Haskell/Exts/ParseUtils.hs, dist/build/Language/Haskell/Exts/ParseUtils.o ) [18 of 22] Compiling Language.Haskell.Exts.Annotated.Fixity ( src/Language/Haskell/Exts/Annotated/Fixity.hs, dist/build/Language/Haskell/Exts/Annotated/Fixity.o ) [19 of 22] Compiling Language.Haskell.Exts.InternalParser ( dist/build/Language/Haskell/Exts/InternalParser.hs, dist/build/Language/Haskell/Exts/InternalParser.o ) [20 of 22] Compiling Language.Haskell.Exts.Parser ( src/Language/Haskell/Exts/Parser.hs, dist/build/Language/Haskell/Exts/Parser.o ) [21 of 22] Compiling Language.Haskell.Exts.Annotated ( src/Language/Haskell/Exts/Annotated.hs, dist/build/Language/Haskell/Exts/Annotated.o ) [22 of 22] Compiling Language.Haskell.Exts ( src/Language/Haskell/Exts.hs, dist/build/Language/Haskell/Exts.o ) In-place registering haskell-src-exts-1.14.0... Running Haddock for haskell-src-exts-1.14.0... Running hscolour for haskell-src-exts-1.14.0... Preprocessing library haskell-src-exts-1.14.0... Preprocessing library haskell-src-exts-1.14.0... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0 Haddock coverage: 70% ( 91 /130) in 'Language.Haskell.Exts.Annotated.Syntax' 0% ( 0 / 15) in 'Language.Haskell.Exts.ParseSyntax' 100% ( 49 / 49) in 'Language.Haskell.Exts.Annotated.Build' 90% ( 19 / 21) in 'Language.Haskell.Exts.SrcLoc' 50% ( 1 / 2) in 'Language.Haskell.Exts.Comments' 67% ( 2 / 3) in 'Language.Haskell.Exts.Annotated.ExactPrint' 65% ( 13 / 20) in 'Language.Haskell.Exts.Extension' 25% ( 1 / 4) in 'Language.Haskell.Exts.ExtScheme' 68% ( 83 /122) in 'Language.Haskell.Exts.Syntax' 100% ( 49 / 49) in 'Language.Haskell.Exts.Build' 77% ( 10 / 13) in 'Language.Haskell.Exts.Fixity' 27% ( 12 / 44) in 'Language.Haskell.Exts.ParseMonad' 20% ( 1 / 5) in 'Language.Haskell.Exts.InternalLexer' 80% ( 4 / 5) in 'Language.Haskell.Exts.Lexer' 5% ( 3 / 65) in 'Language.Haskell.Exts.Annotated.Simplify' 93% ( 14 / 15) in 'Language.Haskell.Exts.Pretty' 2% ( 1 / 45) in 'Language.Haskell.Exts.ParseUtils' 75% ( 9 / 12) in 'Language.Haskell.Exts.Annotated.Fixity' 100% ( 37 / 37) in 'Language.Haskell.Exts.InternalParser' 97% ( 33 / 34) in 'Language.Haskell.Exts.Parser' 95% ( 40 / 42) in 'Language.Haskell.Exts.Annotated' 100% ( 21 / 21) in 'Language.Haskell.Exts' Documentation created: dist/doc/html/haskell-src-exts/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/haskell-src-exts-1.14.0 Registering haskell-src-exts-1.14.0... Installed haskell-src-exts-1.14.0 Downloading MiniAgda-0.2014.1.9... Configuring MiniAgda-0.2014.1.9... Building MiniAgda-0.2014.1.9... Preprocessing executable 'miniagda' for MiniAgda-0.2014.1.9... [ 1 of 27] Compiling Semiring ( Semiring.hs, dist/build/miniagda/miniagda-tmp/Semiring.o ) [ 2 of 27] Compiling SparseMatrix ( SparseMatrix.hs, dist/build/miniagda/miniagda-tmp/SparseMatrix.o ) [ 3 of 27] Compiling Collection ( Collection.hs, dist/build/miniagda/miniagda-tmp/Collection.o ) [ 4 of 27] Compiling Util ( Util.hs, dist/build/miniagda/miniagda-tmp/Util.o ) [ 5 of 27] Compiling TraceError ( TraceError.hs, dist/build/miniagda/miniagda-tmp/TraceError.o ) [ 6 of 27] Compiling TreeShapedOrder ( TreeShapedOrder.hs, dist/build/miniagda/miniagda-tmp/TreeShapedOrder.o ) [ 7 of 27] Compiling Warshall ( Warshall.hs, dist/build/miniagda/miniagda-tmp/Warshall.o ) [ 8 of 27] Compiling Polarity ( Polarity.hs, dist/build/miniagda/miniagda-tmp/Polarity.o ) [ 9 of 27] Compiling TCM[boot] ( TCM.hs-boot, dist/build/miniagda/miniagda-tmp/TCM.o-boot ) [10 of 27] Compiling Abstract[boot] ( Abstract.hs-boot, dist/build/miniagda/miniagda-tmp/Abstract.o-boot ) [11 of 27] Compiling Value[boot] ( Value.hs-boot, dist/build/miniagda/miniagda-tmp/Value.o-boot ) [12 of 27] Compiling Abstract ( Abstract.hs, dist/build/miniagda/miniagda-tmp/Abstract.o ) [13 of 27] Compiling Value ( Value.hs, dist/build/miniagda/miniagda-tmp/Value.o ) [14 of 27] Compiling HsSyntax ( HsSyntax.hs, dist/build/miniagda/miniagda-tmp/HsSyntax.o ) [15 of 27] Compiling Eval[boot] ( Eval.hs-boot, dist/build/miniagda/miniagda-tmp/Eval.o-boot ) [16 of 27] Compiling PrettyTCM ( PrettyTCM.hs, dist/build/miniagda/miniagda-tmp/PrettyTCM.o ) [17 of 27] Compiling TCM ( TCM.hs, dist/build/miniagda/miniagda-tmp/TCM.o ) [18 of 27] Compiling Eval ( Eval.hs, dist/build/miniagda/miniagda-tmp/Eval.o ) [19 of 27] Compiling Extract ( Extract.hs, dist/build/miniagda/miniagda-tmp/Extract.o ) [20 of 27] Compiling ToHaskell ( ToHaskell.hs, dist/build/miniagda/miniagda-tmp/ToHaskell.o ) [21 of 27] Compiling Termination ( Termination.hs, dist/build/miniagda/miniagda-tmp/Termination.o ) [22 of 27] Compiling TypeChecker ( TypeChecker.hs, dist/build/miniagda/miniagda-tmp/TypeChecker.o ) [23 of 27] Compiling Concrete ( Concrete.hs, dist/build/miniagda/miniagda-tmp/Concrete.o ) [24 of 27] Compiling ScopeChecker ( ScopeChecker.hs, dist/build/miniagda/miniagda-tmp/ScopeChecker.o ) [25 of 27] Compiling Lexer ( dist/build/miniagda/miniagda-tmp/Lexer.hs, dist/build/miniagda/miniagda-tmp/Lexer.o ) dist/build/miniagda/miniagda-tmp/Lexer.hs:502:17: Warning: Pattern bindings containing unlifted types should use an outermost bang pattern: ((I# (ord_c))) = fromIntegral c In the expression: let (base) = alexIndexInt32OffAddr alex_base s ((I# (ord_c))) = fromIntegral c (offset) = (base +# ord_c) .... in case new_s of { -1# -> (new_acc, input) _ -> alex_scan_tkn user orig_input (if c < 128 || c >= 192 then (len +# 1#) else len) new_input new_s new_acc } In a case alternative: Just (c, new_input) -> let (base) = alexIndexInt32OffAddr alex_base s ((I# (ord_c))) = fromIntegral c .... in case new_s of { -1# -> (new_acc, input) _ -> alex_scan_tkn user orig_input (if c < 128 || c >= 192 then (len +# 1#) else len) new_input new_s new_acc } In the second argument of `seq', namely `case alexGetByte input of { Nothing -> (new_acc, input) Just (c, new_input) -> let (base) = ... .... in case new_s of { -1# -> ... _ -> alex_scan_tkn user orig_input (if c < 128 || c >= 192 then (len +# 1#) else len) new_input new_s new_acc } }' [26 of 27] Compiling Parser ( dist/build/miniagda/miniagda-tmp/Parser.hs, dist/build/miniagda/miniagda-tmp/Parser.o ) [27 of 27] Compiling Main ( Main.hs, dist/build/miniagda/miniagda-tmp/Main.o ) Linking dist/build/miniagda/miniagda ... Warning: No documentation was generated as this package does not contain a library. Perhaps you want to use the --executables, --tests or --benchmarks flags. 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. Installed MiniAgda-0.2014.1.9