*** setup configure Configuring DrHylo-0.0.1... Flags chosen: splitbase=True Dependency array >=0.1: using array-0.3.0.1 Dependency base >=4: using base-4.2.0.2 Dependency containers -any: using containers-0.3.0.0 Dependency haskell-src-exts >=0.4.4: using haskell-src-exts-1.9.0 Dependency mtl -any: using mtl-1.1.1.0 Dependency pointless-haskell -any: using pointless-haskell-0.0.4 Dependency pretty >=1.0: using pretty-1.0.1.1 Dependency syb -any: using syb-0.1.0.2 Using Cabal-1.8.0.6 compiled by ghc-6.12 Using compiler: ghc-6.12.3 Using install prefix: /usr/local/tmp/archive/install Binaries installed in: /usr/local/tmp/archive/install/bin Libraries installed in: /usr/local/tmp/archive/install/lib/DrHylo-0.0.1/ghc-6.12.3 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/DrHylo-0.0.1 Documentation installed in: /usr/local/tmp/archive/install/share/doc/DrHylo-0.0.1 Using alex version 2.3.3 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs Using ffihugs found on system at: /usr/local/bin/ffihugs Using gcc version 4.4.5 found on system at: /usr/bin/gcc Using ghc version 6.12.3 found on system at: /usr/local/bin/ghc Using ghc-pkg version 6.12.3 found on system at: /usr/local/bin/ghc-pkg Using greencard found on system at: /usr/local/tmp/archive/install/bin/greencard Using haddock version 2.8.1 found on system at: /usr/local/bin/haddock Using happy version 1.17 found on system at: /usr/local/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.17 found on system at: /usr/local/bin/HsColour Using hugs found on system at: /usr/local/bin/hugs No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found Using pkg-config version 0.25 found on system at: /usr/bin/pkg-config Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar *** setup build Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library DrHylo-0.0.1... Preprocessing executables for DrHylo-0.0.1... Building DrHylo-0.0.1... Building library... Creating dist/build (and its parents) /usr/local/bin/ghc --make -package-name DrHylo-0.0.1 -hide-all-packages -fbuilding-cabal-package -i -idist/build -ilib -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package-id array-0.3.0.1-438000c197b51c147f229b54edbf632e -package-id base-4.2.0.2-10bdacb430274706a59728e237e2bfb3 -package-id containers-0.3.0.0-ee442470d8dcc9e45f31677c400c5379 -package-id haskell-src-exts-1.9.0-deeb82e517a4831e057b005e8120e854 -package-id mtl-1.1.1.0-d036dc304ce29f3ccf77920ec7880651 -package-id pointless-haskell-0.0.4-b0221a548c1831ad9342f8c59a06ebe9 -package-id pretty-1.0.1.1-cde327683d86c8644fc9073c368cc5ea -package-id syb-0.1.0.2-0917873f366b0be90a48082271223b4e -O -XDeriveDataTypeable Language.Pointwise.Matching Language.Pointwise.Parser Language.Pointwise.Pretty Language.Pointwise.Syntax Language.Pointfree.Parser Language.Pointfree.Pretty Language.Pointfree.Syntax [1 of 7] Compiling Language.Pointfree.Syntax ( lib/Language/Pointfree/Syntax.hs, dist/build/Language/Pointfree/Syntax.o ) [2 of 7] Compiling Language.Pointfree.Pretty ( lib/Language/Pointfree/Pretty.hs, dist/build/Language/Pointfree/Pretty.o ) [3 of 7] Compiling Language.Pointfree.Parser ( lib/Language/Pointfree/Parser.hs, dist/build/Language/Pointfree/Parser.o ) [4 of 7] Compiling Language.Pointwise.Syntax ( lib/Language/Pointwise/Syntax.hs, dist/build/Language/Pointwise/Syntax.o ) [5 of 7] Compiling Language.Pointwise.Parser ( lib/Language/Pointwise/Parser.hs, dist/build/Language/Pointwise/Parser.o ) [6 of 7] Compiling Language.Pointwise.Pretty ( lib/Language/Pointwise/Pretty.hs, dist/build/Language/Pointwise/Pretty.o ) [7 of 7] Compiling Language.Pointwise.Matching ( lib/Language/Pointwise/Matching.hs, dist/build/Language/Pointwise/Matching.o ) Linking... /usr/bin/ar -r dist/build/libHSDrHylo-0.0.1.a dist/build/Language/Pointwise/Matching.o dist/build/Language/Pointwise/Parser.o dist/build/Language/Pointwise/Pretty.o dist/build/Language/Pointwise/Syntax.o dist/build/Language/Pointfree/Parser.o dist/build/Language/Pointfree/Pretty.o dist/build/Language/Pointfree/Syntax.o /usr/bin/ar: creating dist/build/libHSDrHylo-0.0.1.a /usr/bin/ld -x -r -o dist/build/HSDrHylo-0.0.1.o dist/build/Language/Pointwise/Matching.o dist/build/Language/Pointwise/Parser.o dist/build/Language/Pointwise/Pretty.o dist/build/Language/Pointwise/Syntax.o dist/build/Language/Pointfree/Parser.o dist/build/Language/Pointfree/Pretty.o dist/build/Language/Pointfree/Syntax.o Registering DrHylo-0.0.1... /usr/local/bin/ghc-pkg update - --global --user --package-conf=dist/package.conf.inplace Building executable DrHylo... Creating dist/build/DrHylo (and its parents) Creating dist/build/DrHylo/DrHylo-tmp (and its parents) /usr/local/bin/ghc --make -o dist/build/DrHylo/DrHylo -hide-all-packages -fbuilding-cabal-package -package-conf dist/package.conf.inplace -i -idist/build/DrHylo/DrHylo-tmp -isrc -ilib -idist/build/autogen -Idist/build/autogen -Idist/build/DrHylo/DrHylo-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build/DrHylo/DrHylo-tmp -hidir dist/build/DrHylo/DrHylo-tmp -stubdir dist/build/DrHylo/DrHylo-tmp -package-id array-0.3.0.1-438000c197b51c147f229b54edbf632e -package-id base-4.2.0.2-10bdacb430274706a59728e237e2bfb3 -package-id containers-0.3.0.0-ee442470d8dcc9e45f31677c400c5379 -package-id haskell-src-exts-1.9.0-deeb82e517a4831e057b005e8120e854 -package-id mtl-1.1.1.0-d036dc304ce29f3ccf77920ec7880651 -package-id pointless-haskell-0.0.4-b0221a548c1831ad9342f8c59a06ebe9 -package-id pretty-1.0.1.1-cde327683d86c8644fc9073c368cc5ea -package-id syb-0.1.0.2-0917873f366b0be90a48082271223b4e -O -XDeriveDataTypeable src/DrHylo.hs [ 1 of 11] Compiling Language.Pointwise.Syntax ( lib/Language/Pointwise/Syntax.hs, dist/build/DrHylo/DrHylo-tmp/Language/Pointwise/Syntax.o ) [ 2 of 11] Compiling Language.Pointwise.Pretty ( lib/Language/Pointwise/Pretty.hs, dist/build/DrHylo/DrHylo-tmp/Language/Pointwise/Pretty.o ) [ 3 of 11] Compiling Language.Pointwise.Parser ( lib/Language/Pointwise/Parser.hs, dist/build/DrHylo/DrHylo-tmp/Language/Pointwise/Parser.o ) [ 4 of 11] Compiling Language.Pointwise.Matching ( lib/Language/Pointwise/Matching.hs, dist/build/DrHylo/DrHylo-tmp/Language/Pointwise/Matching.o ) [ 5 of 11] Compiling Language.Pointfree.Syntax ( lib/Language/Pointfree/Syntax.hs, dist/build/DrHylo/DrHylo-tmp/Language/Pointfree/Syntax.o ) [ 6 of 11] Compiling Language.Pointfree.Pretty ( lib/Language/Pointfree/Pretty.hs, dist/build/DrHylo/DrHylo-tmp/Language/Pointfree/Pretty.o ) [ 7 of 11] Compiling Hylos ( src/Hylos.hs, dist/build/DrHylo/DrHylo-tmp/Hylos.o ) [ 8 of 11] Compiling FunctorOf ( src/FunctorOf.hs, dist/build/DrHylo/DrHylo-tmp/FunctorOf.o ) src/FunctorOf.hs:28:8: Constructor `Module' should have 7 arguments, but has been given 6 In the pattern: Module _ _ _ _ _ decls In the definition of `getCtx': getCtx (Module _ _ _ _ _ decls) = concat $ catMaybes $ map getCtxDecl decls src/FunctorOf.hs:57:18: Constructor `Module' should have 7 arguments, but has been given 6 In the pattern: Module a b c d i decls In the definition of `functorOfInst': functorOfInst ob (Module a b c d i decls) = let seed = "v" newDecls = concat $ catMaybes $ map (\ x -> ...) decls in Module a b c d i (decls ++ newDecls) src/FunctorOf.hs:144:97: Couldn't match expected type `Name' against inferred type `TyVarBind' Expected type: [Name] Inferred type: [TyVarBind] In the second argument of `($)', namely `lName' In the expression: foldl TyApp (TyCon $ UnQual hsName) . map TyVar $ lName src/FunctorOf.hs:167:25: Couldn't match expected type `Maybe Type' against inferred type `Rhs' In the fourth argument of `Exts.Match', namely `(UnGuardedRhs $ hsPat2Exp b)' In the expression: Exts.Match mkLoc (Ident str) [a] (UnGuardedRhs $ hsPat2Exp b) (BDecls []) In the definition of `match': match str (a, b) = Exts.Match mkLoc (Ident str) [a] (UnGuardedRhs $ hsPat2Exp b) (BDecls []) src/FunctorOf.hs:200:223: Couldn't match expected type `Maybe Type' against inferred type `Rhs' In the fourth argument of `Exts.Match', namely `(UnGuardedRhs (App (App (Exts.Var (UnQual (Ident "send"))) (Lit (String ""))) (Paren (InfixApp (InfixApp (App (App (App (Exts.Var (UnQual (Ident "omap"))) (Paren (ExpTypeSig loc (Exts.Var (UnQual (Ident "_L"))) a))) (Exts.Var (UnQual (Ident "thk")))) (Paren (App (Exts.Var (UnQual (Ident "out"))) (Exts.Var (UnQual (Ident "x")))))) (QVarOp (UnQual (Symbol ">>="))) (Exts.Var (UnQual (Ident "return")))) (QVarOp (UnQual (Symbol "."))) (Exts.Var (UnQual (Ident "inn")))))))' In the expression: Exts.Match loc (Ident "observer") [PVar (Ident "x")] (UnGuardedRhs (App (App (Exts.Var (UnQual (Ident "send"))) (Lit (String ""))) (Paren (InfixApp (InfixApp (App (App (App (Exts.Var (UnQual (Ident "omap"))) (Paren (ExpTypeSig loc (Exts.Var (UnQual (Ident "_L"))) a))) (Exts.Var (UnQual (Ident "thk")))) (Paren (App (Exts.Var (UnQual (Ident "out"))) (Exts.Var (UnQual (Ident "x")))))) (QVarOp (UnQual (Symbol ">>="))) (Exts.Var (UnQual (Ident "return")))) (QVarOp (UnQual (Symbol "."))) (Exts.Var (UnQual (Ident "inn"))))))) (BDecls [PatBind loc (PVar (Ident "thk")) (UnGuardedRhs (ExpTypeSig loc (Exts.Var (UnQual (Ident "thunk"))) (TyFun a (TyApp (TyCon (UnQual (Ident "ObserverM"))) a)))) (BDecls [])]) In the first argument of `FunBind', namely `[Exts.Match loc (Ident "observer") [PVar (Ident "x")] (UnGuardedRhs (App (App (Exts.Var (UnQual (Ident "send"))) (Lit (String ""))) (Paren (InfixApp (InfixApp (App (App (App (Exts.Var (UnQual (Ident "omap"))) (Paren (ExpTypeSig loc (Exts.Var (UnQual (Ident "_L"))) a))) (Exts.Var (UnQual (Ident "thk")))) (Paren (App (Exts.Var (UnQual (Ident "out"))) (Exts.Var (UnQual (Ident "x")))))) (QVarOp (UnQual (Symbol ">>="))) (Exts.Var (UnQual (Ident "return")))) (QVarOp (UnQual (Symbol "."))) (Exts.Var (UnQual (Ident "inn"))))))) (BDecls [PatBind loc (PVar (Ident "thk")) (UnGuardedRhs (ExpTypeSig loc (Exts.Var (UnQual (Ident "thunk"))) (TyFun a (TyApp (TyCon (UnQual (Ident "ObserverM"))) a)))) (BDecls [])])]' *** Trying again with preferred-versions *** setup configure Configuring DrHylo-0.0.1... cabal-setup: At least the following dependencies are missing: base >=4 && <4 && >=3 && <4