Resolving dependencies... Configuring base-orphans-0.7... Configuring base-compat-0.9.3... Building base-orphans-0.7... Building base-compat-0.9.3... Installed base-orphans-0.7 Configuring cabal-doctest-1.0.6... Building cabal-doctest-1.0.6... Installed base-compat-0.9.3 Configuring classyplate-0.3.0.2... Building classyplate-0.3.0.2... Installed cabal-doctest-1.0.6 Configuring dlist-0.8.0.4... Building dlist-0.8.0.4... Installed classyplate-0.3.0.2 Configuring ghc-paths-0.1.0.9... Installed dlist-0.8.0.4 Configuring instance-control-0.1.2.0... Building ghc-paths-0.1.0.9... Building instance-control-0.1.2.0... Installed instance-control-0.1.2.0 Configuring minisat-solver-0.1... Installed ghc-paths-0.1.0.9 Configuring safe-0.3.16... Building minisat-solver-0.1... Building safe-0.3.16... Installed minisat-solver-0.1 Configuring semigroups-0.18.4... Installed safe-0.3.16 Configuring th-abstraction-0.2.6.0... Building semigroups-0.18.4... Building th-abstraction-0.2.6.0... Installed semigroups-0.18.4 Configuring time-locale-compat-0.1.1.3... Building time-locale-compat-0.1.1.3... Installed time-locale-compat-0.1.1.3 Configuring transformers-compat-0.6.0.5... Building transformers-compat-0.6.0.5... Installed th-abstraction-0.2.6.0 Configuring uniplate-1.6.12... Building uniplate-1.6.12... Installed transformers-compat-0.6.0.5 Configuring uuid-types-1.0.3... Building uuid-types-1.0.3... Installed uuid-types-1.0.3 Configuring tagged-0.8.5... Installed uniplate-1.6.12 Configuring contravariant-1.4.1... Building tagged-0.8.5... Building contravariant-1.4.1... Installed tagged-0.8.5 Configuring distributive-0.5.3... Installed contravariant-1.4.1 Configuring aeson-1.2.4.0... Building aeson-1.2.4.0... Building distributive-0.5.3... Installed distributive-0.5.3 Configuring comonad-5.0.3... Building comonad-5.0.3... Installed comonad-5.0.3 Configuring bifunctors-5.5.2... Building bifunctors-5.5.2... Installed bifunctors-5.5.2 Configuring semigroupoids-5.2.2... Building semigroupoids-5.2.2... Installed aeson-1.2.4.0 Configuring profunctors-5.2.2... Building profunctors-5.2.2... Installed semigroupoids-5.2.2 Installed profunctors-5.2.2 Configuring either-5... Building either-5... Installed either-5 Configuring references-0.3.3.1... Building references-0.3.3.1... Installed references-0.3.3.1 Configuring haskell-tools-ast-1.0.1.1... Building haskell-tools-ast-1.0.1.1... Installed haskell-tools-ast-1.0.1.1 Configuring haskell-tools-prettyprint-1.0.1.1... Configuring haskell-tools-backend-ghc-1.0.1.1... Building haskell-tools-prettyprint-1.0.1.1... Building haskell-tools-backend-ghc-1.0.1.1... Installed haskell-tools-prettyprint-1.0.1.1 Configuring haskell-tools-rewrite-1.0.0.4... Building haskell-tools-rewrite-1.0.0.4... Installed haskell-tools-rewrite-1.0.0.4 Installed haskell-tools-backend-ghc-1.0.1.1 Configuring haskell-tools-refactor-1.0.0.4... Building haskell-tools-refactor-1.0.0.4... Installed haskell-tools-refactor-1.0.0.4 Configuring haskell-tools-builtin-refactorings-1.0.1.1... Building haskell-tools-builtin-refactorings-1.0.1.1... Failed to install haskell-tools-builtin-refactorings-1.0.1.1 Build log ( /home/builder/.cabal/logs/ghc-8.2.2/haskell-tools-builtin-refactorings-1.0.1.1-DMI5nDZCwiT6kUdrjKVdM8.log ): cabal: Entering directory '/tmp/cabal-tmp-26898/haskell-tools-builtin-refactorings-1.0.1.1' Configuring haskell-tools-builtin-refactorings-1.0.1.1... Preprocessing library for haskell-tools-builtin-refactorings-1.0.1.1.. Building library for haskell-tools-builtin-refactorings-1.0.1.1.. [ 1 of 47] Compiling Language.Haskell.Tools.Refactor.Builtin.AutoCorrect ( Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs, dist/build/Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.o ) Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:42:24: error: Variable not in scope: typeExpr :: Expr -> Ghc t0 | 42 | = do funTy <- lift $ typeExpr f | ^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:43:25: error: Variable not in scope: typeExpr :: Expr -> Ghc a1 | 43 | arg1Ty <- lift $ typeExpr a1 | ^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:44:25: error: Variable not in scope: typeExpr :: Expr -> Ghc a1 | 44 | arg2Ty <- lift $ typeExpr a2 | ^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:46:24: error: Variable not in scope: appTypeMatches :: [ClsInst] -> t0 -> [a1] -> Maybe a0 | 46 | if not (isJust (appTypeMatches insts funTy [arg1Ty, arg2Ty])) && isJust (appTypeMatches insts funTy [arg2Ty, arg1Ty]) | ^^^^^^^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:46:81: error: Variable not in scope: appTypeMatches :: [ClsInst] -> t0 -> [a1] -> Maybe a2 | 46 | if not (isJust (appTypeMatches insts funTy [arg1Ty, arg2Ty])) && isJust (appTypeMatches insts funTy [arg2Ty, arg1Ty]) | ^^^^^^^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:51:24: error: Variable not in scope: typeExpr :: Expr -> Ghc a4 | 51 | lhsTy <- lift $ typeExpr lhs | ^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:52:24: error: Variable not in scope: typeExpr :: Expr -> Ghc a4 | 52 | rhsTy <- lift $ typeExpr rhs | ^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:54:24: error: Variable not in scope: appTypeMatches :: [ClsInst] -> Type.Kind -> [a4] -> Maybe a3 | 54 | if not (isJust (appTypeMatches insts funTy [lhsTy, rhsTy])) && isJust (appTypeMatches insts funTy [rhsTy, lhsTy]) | ^^^^^^^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:54:79: error: Variable not in scope: appTypeMatches :: [ClsInst] -> Type.Kind -> [a4] -> Maybe a5 | 54 | if not (isJust (appTypeMatches insts funTy [lhsTy, rhsTy])) && isJust (appTypeMatches insts funTy [rhsTy, lhsTy]) | ^^^^^^^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:88:60: error: Variable not in scope: literalType :: Literal -> Ghc Type.Kind | 88 | extractAtoms e = do lits <- mapM (\l -> (, LiteralA l) <$> literalType l) (e ^? biplateRef) | ^^^^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:118:58: error: Variable not in scope: appTypeMatches :: [ClsInst] -> Type.Type -> [Type.Type] -> Maybe (TCvSubst, Type.Type) | 118 | , Just (subst, resTyp) <- appTypeMatches insts funT [argT] | ^^^^^^^^^^^^^^ Language/Haskell/Tools/Refactor/Builtin/AutoCorrect.hs:127:58: error: Variable not in scope: appTypeMatches :: [ClsInst] -> Type.Type -> [Type.Type] -> Maybe (TCvSubst, Type.Type) | 127 | , Just (subst, resTyp) <- appTypeMatches insts opT [lArgT, rArgT] | ^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-26898/haskell-tools-builtin-refactorings-1.0.1.1' cabal: Error: some packages failed to install: haskell-tools-builtin-refactorings-1.0.1.1-DMI5nDZCwiT6kUdrjKVdM8 failed during the building phase. The exception was: ExitFailure 1