Resolving dependencies... Configuring present-4.0.1... Building present-4.0.1... Failed to install present-4.0.1 Build log ( /home/builder/.cabal/logs/present-4.0.1.log ): cabal: Entering directory '/tmp/cabal-tmp-1729/present-4.0.1' Configuring present-4.0.1... Building present-4.0.1... Preprocessing library present-4.0.1... [1 of 2] Compiling Control.Monad.Trans.State.Strict ( src/Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o ) [2 of 2] Compiling Present ( src/Present.hs, dist/build/Present.o ) src/Present.hs:301:18: error: • The constructor ‘DataD’ should have 6 arguments, but has been given 5 • In the pattern: DataD _cxt _ vars cons _deriving In a case alternative: DataD _cxt _ vars cons _deriving -> do { cs <- mapM makeConstructor cons; return (Just (DataTypeDefinition typeConstructor (DataType (map toTypeVariable vars) cs))) } In the expression: case dec of { DataD _cxt _ vars cons _deriving -> do { cs <- mapM makeConstructor cons; return (Just (DataTypeDefinition typeConstructor (DataType (map toTypeVariable vars) cs))) } NewtypeD _cxt _ vars con _deriving -> do { c <- makeConstructor con; return (Just (DataTypeDefinition typeConstructor (DataType (map toTypeVariable vars) [...]))) } TySynD _ vars ty -> do { ty' <- normalizeType ty; return (Just (TypeAliasDefinition typeConstructor (TypeAlias (map toTypeVariable vars) ty'))) } _ -> fail "Not a supported data type declaration." } src/Present.hs:885:40: error: • The constructor ‘InstanceD’ should have 4 arguments, but has been given 3 • In the pattern: InstanceD _ (AppT (ConT _className) (ConT typeName)) _ In a case alternative: InstanceD _ (AppT (ConT _className) (ConT typeName)) _ -> Just (TypeConstructor typeName, ValueVariable method) In the expression: case i of { InstanceD _ (AppT (ConT _className) (ConT typeName)) _ -> Just (TypeConstructor typeName, ValueVariable method) _ -> Nothing } src/Present.hs:958:14: error: • The constructor ‘VarI’ should have 3 arguments, but has been given 4 • In the pattern: VarI _ ty _ _ In the pattern: Just (VarI _ ty _ _) In a case alternative: Just (VarI _ ty _ _) -> makeTypePresenter (return ty) cabal: Leaving directory '/tmp/cabal-tmp-1729/present-4.0.1' cabal: Error: some packages failed to install: present-4.0.1 failed during the building phase. The exception was: ExitFailure 1