Resolving dependencies...
Configuring readline-1.0.3.0...
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for GNUreadline.framework... checking for readline... no
checking for tputs in -lncurses... yes
checking for readline in -lreadline... yes
checking for rl_readline_version... yes
checking for rl_begin_undo_group... yes
checking for rl_erase_empty_line... yes
checking for rl_free_undo_list... yes
checking for rl_completion_word_break_hook in -lreadline... yes
configure: creating ./config.status
config.status: creating config.mk
config.status: creating readline.buildinfo
config.status: creating include/HsReadlineConfig.h
config.status: include/HsReadlineConfig.h is unchanged
Building readline-1.0.3.0...
Preprocessing library readline-1.0.3.0...
[1 of 2] Compiling System.Console.SimpleLineEditor ( System/Console/SimpleLineEditor.hs, dist/build/System/Console/SimpleLineEditor.o )
[2 of 2] Compiling System.Console.Readline ( dist/build/System/Console/Readline.hs, dist/build/System/Console/Readline.o )
In-place registering readline-1.0.3.0...
Running Haddock for readline-1.0.3.0...
Running hscolour for readline-1.0.3.0...
Preprocessing library readline-1.0.3.0...
Preprocessing library readline-1.0.3.0...
Haddock coverage:
  80% (  4 /  5) in 'System.Console.SimpleLineEditor'
   2% (  3 /133) in 'System.Console.Readline'
Documentation created: dist/doc/html/readline/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/readline-1.0.3.0
Registering readline-1.0.3.0...
Installed readline-1.0.3.0
Downloading djinn-2008.8.10...
Configuring djinn-2008.8.10...
Building djinn-2008.8.10...
Preprocessing executable 'djinn' for djinn-2008.8.10...
[1 of 7] Compiling LJTFormula       ( src/LJTFormula.hs, dist/build/djinn/djinn-tmp/LJTFormula.o )
[2 of 7] Compiling Help             ( src/Help.hs, dist/build/djinn/djinn-tmp/Help.o )
[3 of 7] Compiling HTypes           ( src/HTypes.hs, dist/build/djinn/djinn-tmp/HTypes.o )

src/HTypes.hs:90:5: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- char ')'",
    or by using the flag -fno-warn-unused-do-bind

src/HTypes.hs:143:5: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- char c",
    or by using the flag -fno-warn-unused-do-bind
[4 of 7] Compiling HCheck           ( src/HCheck.hs, dist/build/djinn/djinn-tmp/HCheck.o )
[5 of 7] Compiling LJT              ( src/LJT.hs, dist/build/djinn/djinn-tmp/LJT.o )
[6 of 7] Compiling REPL             ( src/REPL.hs, dist/build/djinn/djinn-tmp/REPL.o )

src/REPL.hs:29:15:
    No instance for (Control.Exception.Exception a0)
      arising from a use of `Control.Exception.catch'
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance Control.Exception.Exception
                 Control.Exception.NestedAtomically
        -- Defined in `Control.Exception.Base'
      instance Control.Exception.Exception
                 Control.Exception.NoMethodError
        -- Defined in `Control.Exception.Base'
      instance Control.Exception.Exception
                 Control.Exception.NonTermination
        -- Defined in `Control.Exception.Base'
      ...plus 7 others
    In the expression:
      (do { mline <- readline prompt;
            case mline of {
              Nothing -> loop s
              Just line
                -> do { (quit, s') <- repl_eval p s line;
                        .... } } })
      `Control.Exception.catch`
        (\ exc
           -> do { putStrLn
                   $ "\
                     \Interrupted ("
                     ++ show exc ++ ")";
                   loop s })
    In an equation for `loop':
        loop s
          = (do { mline <- readline prompt;
                  case mline of {
                    Nothing -> loop s
                    Just line -> do { ... } } })
            `Control.Exception.catch`
              (\ exc
                 -> do { putStrLn
                         $ "\
                           \Interrupted ("
                           ++ show exc ++ ")";
                         loop s })
    In the expression:
      do { (prompt, state) <- repl_init p;
           let loop s = (do { ... }) `Control.Exception.catch` (\ exc -> ...);
           loop state }

src/REPL.hs:31:53:
    No instance for (Show a0) arising from a use of `show'
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance Show Double -- Defined in `GHC.Float'
      instance Show Float -- Defined in `GHC.Float'
      instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      ...plus 46 others
    In the first argument of `(++)', namely `show exc'
    In the second argument of `(++)', namely `show exc ++ ")"'
    In the second argument of `($)', namely
      `"\
       \Interrupted ("
       ++ show exc ++ ")"'
Failed to install djinn-2008.8.10
cabal: Error: some packages failed to install:
djinn-2008.8.10 failed during the building phase. The exception was:
ExitFailure 1