Resolving dependencies... Starting clock-0.8 Starting composition-prelude-3.0.0.2 Starting microlens-0.4.12.0 Starting colour-2.3.5 Building composition-prelude-3.0.0.2 Building clock-0.8 Building microlens-0.4.12.0 Building colour-2.3.5 Completed composition-prelude-3.0.0.2 Starting prettyprinter-1.7.0 Building prettyprinter-1.7.0 Completed clock-0.8 Starting splitmix-0.1.0.3 Building splitmix-0.1.0.3 Completed microlens-0.4.12.0 Starting transformers-compat-0.6.6 Building transformers-compat-0.6.6 Completed splitmix-0.1.0.3 Starting extra-1.7.8 Building extra-1.7.8 Completed transformers-compat-0.6.6 Starting random-1.2.0 Completed colour-2.3.5 Starting microlens-mtl-0.2.0.1 Building random-1.2.0 Building microlens-mtl-0.2.0.1 Completed prettyprinter-1.7.0 Starting ansi-terminal-0.11 Building ansi-terminal-0.11 Completed microlens-mtl-0.2.0.1 Completed extra-1.7.8 Completed ansi-terminal-0.11 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed random-1.2.0 Starting temporary-1.3 Building temporary-1.3 Completed ansi-wl-pprint-0.6.9 Starting optparse-applicative-0.16.1.0 Completed temporary-1.3 Building optparse-applicative-0.16.1.0 Completed optparse-applicative-0.16.1.0 Downloading kempe-0.1.0.1 Downloaded kempe-0.1.0.1 Starting kempe-0.1.0.1 Building kempe-0.1.0.1 Failed to install kempe-0.1.0.1 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/kempe-0.1.0.1-KNyZhuZ7ljdBqVtBYgnizV.log ): cabal: Entering directory '/tmp/cabal-tmp-23064/kempe-0.1.0.1' Configuring kempe-0.1.0.1... Preprocessing library 'kempe-modules' for kempe-0.1.0.1.. Building library 'kempe-modules' for kempe-0.1.0.1.. [ 1 of 24] Compiling Data.Foldable.Ext ( src/Data/Foldable/Ext.hs, dist/build/kempe-modules/Data/Foldable/Ext.o, dist/build/kempe-modules/Data/Foldable/Ext.dyn_o ) [ 2 of 24] Compiling Kempe.Proc.Nasm ( src/Kempe/Proc/Nasm.hs, dist/build/kempe-modules/Kempe/Proc/Nasm.o, dist/build/kempe-modules/Kempe/Proc/Nasm.dyn_o ) [ 3 of 24] Compiling Kempe.Unique ( src/Kempe/Unique.hs, dist/build/kempe-modules/Kempe/Unique.o, dist/build/kempe-modules/Kempe/Unique.dyn_o ) [ 4 of 24] Compiling Kempe.Name ( src/Kempe/Name.hs, dist/build/kempe-modules/Kempe/Name.o, dist/build/kempe-modules/Kempe/Name.dyn_o ) [ 5 of 24] Compiling Kempe.Lexer ( dist/build/kempe-modules/Kempe/Lexer.hs, dist/build/kempe-modules/Kempe/Lexer.o, dist/build/kempe-modules/Kempe/Lexer.dyn_o ) templates/wrappers.hs:16:1: warning: [-Wunused-imports] The qualified import of ‘Data.Char’ is redundant except perhaps to import instances from ‘Data.Char’ To import instances alone, use: import Data.Char() [ 6 of 24] Compiling Prettyprinter.Ext ( src/Prettyprinter/Ext.hs, dist/build/kempe-modules/Prettyprinter/Ext.o, dist/build/kempe-modules/Prettyprinter/Ext.dyn_o ) [ 7 of 24] Compiling Kempe.Asm.X86.Type ( src/Kempe/Asm/X86/Type.hs, dist/build/kempe-modules/Kempe/Asm/X86/Type.o, dist/build/kempe-modules/Kempe/Asm/X86/Type.dyn_o ) [ 8 of 24] Compiling Kempe.Asm.X86.Liveness ( src/Kempe/Asm/X86/Liveness.hs, dist/build/kempe-modules/Kempe/Asm/X86/Liveness.o, dist/build/kempe-modules/Kempe/Asm/X86/Liveness.dyn_o ) [ 9 of 24] Compiling Kempe.Asm.X86.Linear ( src/Kempe/Asm/X86/Linear.hs, dist/build/kempe-modules/Kempe/Asm/X86/Linear.o, dist/build/kempe-modules/Kempe/Asm/X86/Linear.dyn_o ) src/Kempe/Asm/X86/Linear.hs:61:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘assoc’: Patterns not matched: Rsp Rbp Rbx | 61 | assoc Rax = S.fromList [AH, AL] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [10 of 24] Compiling Kempe.Asm.X86.ControlFlow ( src/Kempe/Asm/X86/ControlFlow.hs, dist/build/kempe-modules/Kempe/Asm/X86/ControlFlow.o, dist/build/kempe-modules/Kempe/Asm/X86/ControlFlow.dyn_o ) [11 of 24] Compiling Kempe.AST ( src/Kempe/AST.hs, dist/build/kempe-modules/Kempe/AST.o, dist/build/kempe-modules/Kempe/AST.dyn_o ) [12 of 24] Compiling Kempe.Parser ( dist/build/kempe-modules/Kempe/Parser.hs, dist/build/kempe-modules/Kempe/Parser.o, dist/build/kempe-modules/Kempe/Parser.dyn_o ) [13 of 24] Compiling Kempe.Inline ( src/Kempe/Inline.hs, dist/build/kempe-modules/Kempe/Inline.o, dist/build/kempe-modules/Kempe/Inline.dyn_o ) [14 of 24] Compiling Kempe.IR ( src/Kempe/IR.hs, dist/build/kempe-modules/Kempe/IR.o, dist/build/kempe-modules/Kempe/IR.dyn_o ) [15 of 24] Compiling Kempe.IR.Opt ( src/Kempe/IR/Opt.hs, dist/build/kempe-modules/Kempe/IR/Opt.o, dist/build/kempe-modules/Kempe/IR/Opt.dyn_o ) [16 of 24] Compiling Kempe.Error ( src/Kempe/Error.hs, dist/build/kempe-modules/Kempe/Error.o, dist/build/kempe-modules/Kempe/Error.dyn_o ) [17 of 24] Compiling Kempe.TyAssign ( src/Kempe/TyAssign.hs, dist/build/kempe-modules/Kempe/TyAssign.o, dist/build/kempe-modules/Kempe/TyAssign.dyn_o ) [18 of 24] Compiling Kempe.Monomorphize ( src/Kempe/Monomorphize.hs, dist/build/kempe-modules/Kempe/Monomorphize.o, dist/build/kempe-modules/Kempe/Monomorphize.dyn_o ) [19 of 24] Compiling Kempe.Check.Restrict ( src/Kempe/Check/Restrict.hs, dist/build/kempe-modules/Kempe/Check/Restrict.o, dist/build/kempe-modules/Kempe/Check/Restrict.dyn_o ) [20 of 24] Compiling Kempe.Check.Pattern ( src/Kempe/Check/Pattern.hs, dist/build/kempe-modules/Kempe/Check/Pattern.o, dist/build/kempe-modules/Kempe/Check/Pattern.dyn_o ) [21 of 24] Compiling Kempe.Shuttle ( src/Kempe/Shuttle.hs, dist/build/kempe-modules/Kempe/Shuttle.o, dist/build/kempe-modules/Kempe/Shuttle.dyn_o ) [22 of 24] Compiling Kempe.Asm.X86 ( src/Kempe/Asm/X86.hs, dist/build/kempe-modules/Kempe/Asm/X86.o, dist/build/kempe-modules/Kempe/Asm/X86.dyn_o ) src/Kempe/Asm/X86.hs:54:1: warning: Pattern match checker ran into -fmax-pmcheck-models=100 limit, so • Redundant clauses might not be reported at all • Redundant clauses might be reported as inaccessible • Patterns reported as unmatched might actually be matched Increase the limit or resolve the warnings to suppress this message. | 54 | irEmit _ (IR.Jump l) = pure [Jump () l] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Kempe/Asm/X86.hs:54:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘irEmit’: Patterns not matched: (Data.IntMap.Internal.Bin _ _ _ _) (IR.MovMem (IR.Reg (IR.Temp64 _)) p (IR.ExprIntBinOp IR.IntMinusIR (IR.Reg (IR.Temp64 _)) (IR.ConstInt _))) where p is not one of {1, 8} (Data.IntMap.Internal.Bin _ _ _ _) (IR.MovMem (IR.Reg (IR.Temp64 _)) p (IR.ExprIntBinOp IR.IntMinusIR (IR.Reg (IR.Temp64 _)) (IR.ConstInt8 _))) where p is not one of {1, 8} (Data.IntMap.Internal.Bin _ _ _ _) (IR.MovMem (IR.Reg (IR.Temp64 _)) p (IR.ExprIntBinOp IR.IntMinusIR (IR.Reg (IR.Temp64 _)) (IR.ConstTag _))) where p is not one of {1, 8} (Data.IntMap.Internal.Bin _ _ _ _) (IR.MovMem (IR.Reg (IR.Temp64 _)) p (IR.ExprIntBinOp IR.IntMinusIR (IR.Reg (IR.Temp64 _)) (IR.ConstWord _))) where p is not one of {1, 8} ... | 54 | irEmit _ (IR.Jump l) = pure [Jump () l] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Kempe/Asm/X86.hs:231:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘evalE’: Patterns not matched: (IR.ExprIntRel _ _ _) (IR.Temp64 _) (IR.ExprIntRel _ _ _) (IR.Temp8 _) (IR.ExprIntRel _ _ _) IR.DataPointer (IR.EqByte _ _) (IR.Temp64 _) ... | 231 | evalE (IR.ConstInt i) r = pure [MovRC () (toAbsReg r) i] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [23 of 24] Compiling Kempe.Pipeline ( src/Kempe/Pipeline.hs, dist/build/kempe-modules/Kempe/Pipeline.o, dist/build/kempe-modules/Kempe/Pipeline.dyn_o ) [24 of 24] Compiling Kempe.File ( src/Kempe/File.hs, dist/build/kempe-modules/Kempe/File.o, dist/build/kempe-modules/Kempe/File.dyn_o ) Preprocessing executable 'kc' for kempe-0.1.0.1.. Building executable 'kc' for kempe-0.1.0.1.. [1 of 2] Compiling Paths_kempe ( dist/build/kc/autogen/Paths_kempe.hs, dist/build/kc/kc-tmp/Paths_kempe.o ) [2 of 2] Compiling Main ( run/Main.hs, dist/build/kc/kc-tmp/Main.o ) Linking dist/build/kc/kc ... Preprocessing library 'kempe-modules' for kempe-0.1.0.1.. Running Haddock on library 'kempe-modules' for kempe-0.1.0.1.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. templates/wrappers.hs:16:1: warning: [-Wunused-imports] The qualified import of ‘Data.Char’ is redundant except perhaps to import instances from ‘Data.Char’ To import instances alone, use: import Data.Char() Haddock coverage: 0% ( 0 / 12) in 'Kempe.Lexer' Missing documentation for: Module header alexMonadScan (templates/wrappers.hs:342) runAlex (templates/wrappers.hs:293) runAlexSt (src/Kempe/Lexer.x:370) lexKempe (src/Kempe/Lexer.x:367) AlexPosn (templates/wrappers.hs:150) Alex (templates/wrappers.hs:305) Token (src/Kempe/Lexer.x:322) Keyword (src/Kempe/Lexer.x:272) Sym (src/Kempe/Lexer.x:194) Builtin (src/Kempe/Lexer.x:292) AlexUserState (src/Kempe/Lexer.x:174) 33% ( 1 / 3) in 'Kempe.Asm.X86.Liveness' Missing documentation for: Liveness (src/Kempe/Asm/X86/Type.hs:32) reconstruct (src/Kempe/Asm/X86/Liveness.hs:42) 33% ( 1 / 3) in 'Kempe.Asm.X86.Linear' Missing documentation for: X86Reg (src/Kempe/Asm/X86/Type.hs:46) allocRegs (src/Kempe/Asm/X86/Linear.hs:91) 0% ( 0 / 3) in 'Kempe.Asm.X86.ControlFlow' Missing documentation for: Module header mkControlFlow (src/Kempe/Asm/X86/ControlFlow.hs:19) ControlAnn (src/Kempe/Asm/X86/Type.hs:39) 20% ( 5 / 24) in 'Kempe.AST' Missing documentation for: BuiltinTy (src/Kempe/AST.hs:54) KempeTy (src/Kempe/AST.hs:68) StackType (src/Kempe/AST.hs:74) Atom (src/Kempe/AST.hs:157) BuiltinFn (src/Kempe/AST.hs:184) KempeDecl (src/Kempe/AST.hs:269) Pattern (src/Kempe/AST.hs:104) ABI (src/Kempe/AST.hs:248) Module (src/Kempe/AST.hs:294) freeVars (src/Kempe/AST.hs:302) MonoStackType (src/Kempe/AST.hs:79) SizeEnv (src/Kempe/AST.hs:305) sizeStack (src/Kempe/AST.hs:319) prettyMonoStackType (src/Kempe/AST.hs:89) prettyTyped (src/Kempe/AST.hs:145) prettyTypedModule (src/Kempe/AST.hs:288) prettyFancyModule (src/Kempe/AST.hs:285) prettyModule (src/Kempe/AST.hs:291) voidStackType (src/Kempe/AST.hs:95) 0% ( 0 / 4) in 'Kempe.Parser' Missing documentation for: Module header parse (dist/build/kempe-modules/Kempe/Parser.hs:1299) parseWithMax (dist/build/kempe-modules/Kempe/Parser.hs:1302) ParseError (dist/build/kempe-modules/Kempe/Parser.hs:1282) Warning: 'Atoms' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 50% ( 1 / 2) in 'Kempe.Inline' Missing documentation for: inline (src/Kempe/Inline.hs:20) 14% ( 2 / 14) in 'Kempe.IR' Missing documentation for: writeModule (src/Kempe/IR.hs:219) Stmt (src/Kempe/IR.hs:139) Exp (src/Kempe/IR.hs:152) RelBinOp (src/Kempe/IR.hs:178) IntBinOp (src/Kempe/IR.hs:194) BoolBinOp (src/Kempe/IR.hs:168) Label (src/Kempe/IR.hs:44) Temp (src/Kempe/IR.hs:46) runTempM (src/Kempe/IR.hs:69) TempM (src/Kempe/IR.hs:81) prettyIR (src/Kempe/IR.hs:105) WriteSt (src/Kempe/IR.hs:56) 0% ( 0 / 2) in 'Kempe.IR.Opt' Missing documentation for: Module header optimize (src/Kempe/IR/Opt.hs:6) 20% ( 1 / 5) in 'Kempe.TyAssign' Missing documentation for: TypeM (src/Kempe/TyAssign.hs:96) runTypeM (src/Kempe/TyAssign.hs:137) checkModule (src/Kempe/TyAssign.hs:413) assignModule (src/Kempe/TyAssign.hs:416) 50% ( 5 / 10) in 'Kempe.Monomorphize' Missing documentation for: MonoM (src/Kempe/Monomorphize.hs:52) runMonoM (src/Kempe/Monomorphize.hs:66) tryMono (src/Kempe/Monomorphize.hs:75) closure (src/Kempe/Monomorphize.hs:244) mkModuleMap (src/Kempe/Monomorphize.hs:83) 50% ( 1 / 2) in 'Kempe.Check.Pattern' Missing documentation for: checkModuleExhaustive (src/Kempe/Check/Pattern.hs:40) 0% ( 0 / 2) in 'Kempe.Shuttle' Missing documentation for: Module header monomorphize (src/Kempe/Shuttle.hs:25) Warning: 'Temp' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 50% ( 1 / 2) in 'Kempe.Asm.X86' Missing documentation for: irToX86 (src/Kempe/Asm/X86.hs:23) 0% ( 0 / 4) in 'Kempe.Pipeline' Missing documentation for: Module header irGen (src/Kempe/Pipeline.hs:19) x86Parsed (src/Kempe/Pipeline.hs:25) x86Alloc (src/Kempe/Pipeline.hs:28) 0% ( 0 / 9) in 'Kempe.File' Missing documentation for: Module header tcFile (src/Kempe/File.hs:33) dumpMono (src/Kempe/File.hs:50) dumpTyped (src/Kempe/File.hs:44) irFile (src/Kempe/File.hs:64) x86File (src/Kempe/File.hs:74) dumpX86 (src/Kempe/File.hs:61) compile (src/Kempe/File.hs:79) parsedFp (src/Kempe/File.hs:69) Warning: Kempe.Lexer: could not find link destinations for: AlexState Name TyName Warning: Kempe.Asm.X86.Liveness: could not find link destinations for: X86 Warning: Kempe.Asm.X86.Linear: could not find link destinations for: X86 AbsReg Warning: Kempe.Asm.X86.ControlFlow: could not find link destinations for: X86 AbsReg Warning: Kempe.AST: could not find link destinations for: TyName Name Warning: Kempe.Parser: could not find link destinations for: Name Warning: Kempe.IR: could not find link destinations for: TempSt Warning: Kempe.TyAssign: could not find link destinations for: TyState Error Warning: Kempe.Monomorphize: could not find link destinations for: RenameEnv Error ModuleMap Name Warning: Kempe.Check.Pattern: could not find link destinations for: Error Warning: Kempe.Shuttle: could not find link destinations for: Error Warning: Kempe.Asm.X86: could not find link destinations for: X86 AbsReg Warning: Kempe.Pipeline: could not find link destinations for: X86 AbsReg Warning: Kempe.File: could not find link destinations for: Error Documentation created: dist/doc/html/kempe/index.html, dist/doc/html/kempe/kempe.txt Preprocessing executable 'kc' for kempe-0.1.0.1.. Installing internal library kempe-modules in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.10.2/kempe-0.1.0.1-KNyZhuZ7ljdBqVtBYgnizV Installing executable kc in /home/builder/hackage-server/build-cache/tmp-install/bin Warning: The directory /home/builder/hackage-server/build-cache/tmp-install/bin is not in the system search path. cabal: Leaving directory '/tmp/cabal-tmp-23064/kempe-0.1.0.1' cabal: Error: some packages failed to install: kempe-0.1.0.1-KNyZhuZ7ljdBqVtBYgnizV failed during the final install step. The exception was: dieVerbatim: user error (cabal: '/opt/ghc/bin/ghc-pkg' exited with an error: z-kempe-z-kempe-modules-0.1.0.1: installed package info from too old version of Cabal (key field does not match id field) )