Resolving dependencies... Configuring typeof-0.1.1... Building typeof-0.1.1... Failed to install typeof-0.1.1 Build log ( /home/builder/.cabal/logs/typeof-0.1.1.log ): cabal: Entering directory '/tmp/cabal-tmp-25651/typeof-0.1.1' Configuring typeof-0.1.1... Building typeof-0.1.1... Preprocessing executable 'typeof' for typeof-0.1.1... [1 of 2] Compiling Process ( Process.hs, dist/build/typeof/typeof-tmp/Process.o ) Process.hs:23:23: error: • Ambiguous type variable ‘a0’ arising from a use of ‘C.handle’ prevents the constraint ‘(C.Exception a0)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. These potential instances exist: instance C.Exception C.NestedAtomically -- Defined in ‘Control.Exception.Base’ instance C.Exception C.NoMethodError -- Defined in ‘Control.Exception.Base’ instance C.Exception C.NonTermination -- Defined in ‘Control.Exception.Base’ ...plus 18 others (use -fprint-potential-instances to see them all) • In the expression: C.handle (\ e -> return (show e)) In the expression: C.handle (\ e -> return (show e)) $ do { (inp, out, err, pid) <- runInteractiveProcess file args Nothing Nothing; hPutStr inp input >> hClose inp; output <- hGetContents out; errput <- hGetContents err; .... } In an equation for ‘run’: run file args input = C.handle (\ e -> return (show e)) $ do { (inp, out, err, pid) <- runInteractiveProcess file args Nothing Nothing; hPutStr inp input >> hClose inp; output <- hGetContents out; .... } Process.hs:23:47: error: • Ambiguous type variable ‘a0’ arising from a use of ‘show’ prevents the constraint ‘(Show a0)’ from being solved. Relevant bindings include e :: a0 (bound at Process.hs:23:34) Probable fix: use a type annotation to specify what ‘a0’ should be. These potential instances exist: instance Show C.NestedAtomically -- Defined in ‘Control.Exception.Base’ instance Show C.NoMethodError -- Defined in ‘Control.Exception.Base’ instance Show C.NonTermination -- Defined in ‘Control.Exception.Base’ ...plus 49 others ...plus 11 instances involving out-of-scope types (use -fprint-potential-instances to see them all) • In the first argument of ‘return’, namely ‘(show e)’ In the expression: return (show e) In the first argument of ‘C.handle’, namely ‘(\ e -> return (show e))’ Process.hs:40:10: error: • Ambiguous type variable ‘e0’ arising from a use of ‘C.catch’ prevents the constraint ‘(C.Exception e0)’ from being solved. Probable fix: use a type annotation to specify what ‘e0’ should be. These potential instances exist: instance C.Exception C.NestedAtomically -- Defined in ‘Control.Exception.Base’ instance C.Exception C.NoMethodError -- Defined in ‘Control.Exception.Base’ instance C.Exception C.NonTermination -- Defined in ‘Control.Exception.Base’ ...plus 18 others (use -fprint-potential-instances to see them all) • In a stmt of a 'do' block: e <- C.catch (waitForProcess pid) (\ _ -> return ExitSuccess) In the second argument of ‘($)’, namely ‘do { (inp, out, err, pid) <- runInteractiveProcess file args Nothing Nothing; hPutStr inp input >> hClose inp; output <- hGetContents out; errput <- hGetContents err; .... }’ In the expression: C.handle (\ e -> return (show e)) $ do { (inp, out, err, pid) <- runInteractiveProcess file args Nothing Nothing; hPutStr inp input >> hClose inp; output <- hGetContents out; errput <- hGetContents err; .... } cabal: Leaving directory '/tmp/cabal-tmp-25651/typeof-0.1.1' cabal: Error: some packages failed to install: typeof-0.1.1 failed during the building phase. The exception was: ExitFailure 1