Resolving dependencies...
Configuring mtl-2.2.1...
Configuring readline-1.0.3.0...
Building mtl-2.2.1...
Building readline-1.0.3.0...
Installed mtl-2.2.1
Installed readline-1.0.3.0
Configuring djinn-2008.8.10...
Building djinn-2008.8.10...
Failed to install djinn-2008.8.10
Build log ( /home/builder/.cabal/logs/djinn-2008.8.10.log ):
cabal: Entering directory '/tmp/cabal-tmp-4922/djinn-2008.8.10'
Configuring djinn-2008.8.10...
Warning: 'ghc-options: -prof' is not necessary and will lead to problems when
used on a library. Use the configure flag --enable-library-profiling and/or
--enable-profiling.
Building djinn-2008.8.10...
Preprocessing executable 'djinn' for djinn-2008.8.10...
[1 of 7] Compiling REPL             ( src/REPL.hs, dist/build/djinn/djinn-tmp/REPL.o )

src/REPL.hs:18:18: error:
    • Ambiguous type variable ‘a0’ arising from a use of ‘Control.Exception.catch’
      prevents the constraint ‘(Control.Exception.Exception
                                  a0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instances exist:
        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 8 others
        (use -fprint-potential-instances to see them all)
    • 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
                     $ "\n\
                       \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
                           $ "\n\
                             \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: error:
    • Ambiguous type variable ‘a0’ arising from a use of ‘show’
      prevents the constraint ‘(Show a0)’ from being solved.
      Relevant bindings include exc :: a0 (bound at src/REPL.hs:29:45)
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instances exist:
        instance Show Control.Exception.NestedAtomically
          -- Defined in ‘Control.Exception.Base’
        instance Show Control.Exception.NoMethodError
          -- Defined in ‘Control.Exception.Base’
        instance Show Control.Exception.NonTermination
          -- Defined in ‘Control.Exception.Base’
        ...plus 33 others
        ...plus six instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘(++)’, namely ‘show exc’
      In the second argument of ‘(++)’, namely ‘show exc ++ ")"’
      In the second argument of ‘($)’, namely
        ‘"\n\
         \Interrupted ("
         ++ show exc ++ ")"’
cabal: Leaving directory '/tmp/cabal-tmp-4922/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