Resolving dependencies... Starting clock-0.8.2 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.2 Building colour-2.3.5 Building microlens-0.4.12.0 Completed composition-prelude-3.0.0.2 Starting prettyprinter-1.7.0 Building prettyprinter-1.7.0 Completed clock-0.8.2 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.9 Building extra-1.7.9 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.9 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.1.3 Downloaded kempe-0.1.1.3 Starting kempe-0.1.1.3 Building kempe-0.1.1.3 Failed to install kempe-0.1.1.3 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/kempe-0.1.1.3-KtCvprc14CNB9q4crxV3PP.log ): cabal: Entering directory '/tmp/cabal-tmp-30153/kempe-0.1.1.3' Configuring kempe-0.1.1.3... Preprocessing library 'kempe-modules' for kempe-0.1.1.3.. Building library 'kempe-modules' for kempe-0.1.1.3.. [ 1 of 32] Compiling Data.Copointed ( src/Data/Copointed.hs, dist/build/kempe-modules/Data/Copointed.o, dist/build/kempe-modules/Data/Copointed.dyn_o ) [ 2 of 32] 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 ) [ 3 of 32] Compiling Kempe.Asm.Type ( src/Kempe/Asm/Type.hs, dist/build/kempe-modules/Kempe/Asm/Type.o, dist/build/kempe-modules/Kempe/Asm/Type.dyn_o ) src/Kempe/Asm/Type.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 4 of 32] Compiling Kempe.Asm.Liveness ( src/Kempe/Asm/Liveness.hs, dist/build/kempe-modules/Kempe/Asm/Liveness.o, dist/build/kempe-modules/Kempe/Asm/Liveness.dyn_o ) src/Kempe/Asm/Liveness.hs:13:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 13 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 5 of 32] 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 ) [ 6 of 32] Compiling Kempe.Unique ( src/Kempe/Unique.hs, dist/build/kempe-modules/Kempe/Unique.o, dist/build/kempe-modules/Kempe/Unique.dyn_o ) [ 7 of 32] Compiling Kempe.Name ( src/Kempe/Name.hs, dist/build/kempe-modules/Kempe/Name.o, dist/build/kempe-modules/Kempe/Name.dyn_o ) src/Kempe/Name.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 8 of 32] 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 ) src/Kempe/Lexer.x:30:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 30 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 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() [ 9 of 32] Compiling Kempe.AST.Size ( src/Kempe/AST/Size.hs, dist/build/kempe-modules/Kempe/AST/Size.o, dist/build/kempe-modules/Kempe/AST/Size.dyn_o ) [10 of 32] Compiling Kempe.Error ( src/Kempe/Error.hs, dist/build/kempe-modules/Kempe/Error.o, dist/build/kempe-modules/Kempe/Error.dyn_o ) src/Kempe/Error.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [11 of 32] Compiling Prettyprinter.Ext ( src/Prettyprinter/Ext.hs, dist/build/kempe-modules/Prettyprinter/Ext.o, dist/build/kempe-modules/Prettyprinter/Ext.dyn_o ) [12 of 32] Compiling Kempe.IR.Type ( src/Kempe/IR/Type.hs, dist/build/kempe-modules/Kempe/IR/Type.o, dist/build/kempe-modules/Kempe/IR/Type.dyn_o ) src/Kempe/IR/Type.hs:20:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 20 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [13 of 32] 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 ) [14 of 32] 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 ) src/Kempe/Asm/X86/Type.hs:20:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 20 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [15 of 32] Compiling Kempe.Asm.X86.Trans ( src/Kempe/Asm/X86/Trans.hs, dist/build/kempe-modules/Kempe/Asm/X86/Trans.o, dist/build/kempe-modules/Kempe/Asm/X86/Trans.dyn_o ) src/Kempe/Asm/X86/Trans.hs:56: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. | 56 | irEmit _ (IR.Jump l) = pure [Jump () l] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Kempe/Asm/X86/Trans.hs:56: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} ... | 56 | irEmit _ (IR.Jump l) = pure [Jump () l] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Kempe/Asm/X86/Trans.hs:233: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 _) ... | 233 | evalE (IR.ConstInt i) r = pure [MovRC () (toAbsReg r) i] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [16 of 32] 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:16:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 16 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Asm/X86/Linear.hs:65:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘assoc’: Patterns not matched: Rsp Rbp Rbx | 65 | assoc Rax = S.fromList [AH, AL] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Kempe/Asm/X86/Linear.hs:112:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Rdi Rsi Sil Dil ... | 112 | case xR of | ^^^^^^^^^^... [17 of 32] 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 ) src/Kempe/Asm/X86/ControlFlow.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [18 of 32] Compiling Kempe.AST ( src/Kempe/AST.hs, dist/build/kempe-modules/Kempe/AST.o, dist/build/kempe-modules/Kempe/AST.dyn_o ) src/Kempe/AST.hs:40:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 40 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [19 of 32] Compiling Kempe.TyAssign ( src/Kempe/TyAssign.hs, dist/build/kempe-modules/Kempe/TyAssign.o, dist/build/kempe-modules/Kempe/TyAssign.dyn_o ) src/Kempe/TyAssign.hs:21:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 21 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [20 of 32] 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 ) [21 of 32] Compiling Kempe.Monomorphize ( src/Kempe/Monomorphize.hs, dist/build/kempe-modules/Kempe/Monomorphize.o, dist/build/kempe-modules/Kempe/Monomorphize.dyn_o ) src/Kempe/Monomorphize.hs:31:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 31 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [22 of 32] Compiling Kempe.Module ( src/Kempe/Module.hs, dist/build/kempe-modules/Kempe/Module.o, dist/build/kempe-modules/Kempe/Module.dyn_o ) [23 of 32] Compiling Kempe.Inline ( src/Kempe/Inline.hs, dist/build/kempe-modules/Kempe/Inline.o, dist/build/kempe-modules/Kempe/Inline.dyn_o ) src/Kempe/Inline.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [24 of 32] Compiling Kempe.IR ( src/Kempe/IR.hs, dist/build/kempe-modules/Kempe/IR.o, dist/build/kempe-modules/Kempe/IR.dyn_o ) [25 of 32] Compiling Kempe.Error.Warning ( src/Kempe/Error/Warning.hs, dist/build/kempe-modules/Kempe/Error/Warning.o, dist/build/kempe-modules/Kempe/Error/Warning.dyn_o ) src/Kempe/Error/Warning.hs:7:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 7 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [26 of 32] Compiling Kempe.Check.TopLevel ( src/Kempe/Check/TopLevel.hs, dist/build/kempe-modules/Kempe/Check/TopLevel.o, dist/build/kempe-modules/Kempe/Check/TopLevel.dyn_o ) [27 of 32] 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 ) [28 of 32] 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 ) [29 of 32] Compiling Kempe.Shuttle ( src/Kempe/Shuttle.hs, dist/build/kempe-modules/Kempe/Shuttle.o, dist/build/kempe-modules/Kempe/Shuttle.dyn_o ) [30 of 32] Compiling Kempe.Pipeline ( src/Kempe/Pipeline.hs, dist/build/kempe-modules/Kempe/Pipeline.o, dist/build/kempe-modules/Kempe/Pipeline.dyn_o ) [31 of 32] Compiling Kempe.Check.Lint ( src/Kempe/Check/Lint.hs, dist/build/kempe-modules/Kempe/Check/Lint.o, dist/build/kempe-modules/Kempe/Check/Lint.dyn_o ) [32 of 32] Compiling Kempe.File ( src/Kempe/File.hs, dist/build/kempe-modules/Kempe/File.o, dist/build/kempe-modules/Kempe/File.dyn_o ) src/Kempe/File.hs:18:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 18 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing executable 'kc' for kempe-0.1.1.3.. Building executable 'kc' for kempe-0.1.1.3.. [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 ) run/Main.hs:6:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 6 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Linking dist/build/kc/kc ... Preprocessing library 'kempe-modules' for kempe-0.1.1.3.. Running Haddock on library 'kempe-modules' for kempe-0.1.1.3.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. src/Kempe/Asm/Type.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Asm/Liveness.hs:13:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 13 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Name.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Lexer.x:30:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 30 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 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() src/Kempe/Error.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/IR/Type.hs:20:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 20 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Asm/X86/Type.hs:20:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 20 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Asm/X86/Linear.hs:16:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 16 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Asm/X86/ControlFlow.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/AST.hs:40:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 40 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/TyAssign.hs:21:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 21 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Monomorphize.hs:31:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 31 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Inline.hs:11:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 11 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/Error/Warning.hs:7:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 7 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Kempe/File.hs:18:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 18 | import Data.Semigroup ((<>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Haddock coverage: 33% ( 1 / 3) in 'Kempe.Asm.Liveness' Missing documentation for: Liveness (src/Kempe/Asm/Type.hs:15) reconstruct (src/Kempe/Asm/Liveness.hs:42) 0% ( 0 / 14) in 'Kempe.Lexer' Missing documentation for: Module header alexMonadScan (templates/wrappers.hs:342) alexInitUserState (src/Kempe/Lexer.x:187) runAlex (templates/wrappers.hs:293) runAlexSt (src/Kempe/Lexer.x:383) withAlexSt (src/Kempe/Lexer.x:386) lexKempe (src/Kempe/Lexer.x:380) AlexPosn (templates/wrappers.hs:150) Alex (templates/wrappers.hs:305) Token (src/Kempe/Lexer.x:333) Keyword (src/Kempe/Lexer.x:283) Sym (src/Kempe/Lexer.x:205) Builtin (src/Kempe/Lexer.x:303) AlexUserState (src/Kempe/Lexer.x:185) Warning: 'AST' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 0% ( 0 / 2) in 'Kempe.IR.Opt' Missing documentation for: Module header optimize (src/Kempe/IR/Opt.hs:6) Warning: 'MovMem' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 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.Trans' Missing documentation for: irToX86 (src/Kempe/Asm/X86/Trans.hs:23) 33% ( 1 / 3) in 'Kempe.Asm.X86.Linear' Missing documentation for: X86Reg (src/Kempe/Asm/X86/Type.hs:32) allocRegs (src/Kempe/Asm/X86/Linear.hs:95) Warning: 'IntSet' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 33% ( 1 / 3) in 'Kempe.Asm.X86.ControlFlow' Missing documentation for: Module header mkControlFlow (src/Kempe/Asm/X86/ControlFlow.hs:21) 18% ( 4 / 22) in 'Kempe.AST' Missing documentation for: Atom (src/Kempe/AST.hs:116) BuiltinFn (src/Kempe/AST.hs:143) KempeDecl (src/Kempe/AST.hs:220) Pattern (src/Kempe/AST.hs:63) Declarations (src/Kempe/AST.hs:252) Module (src/Kempe/AST.hs:254) ABI (src/Kempe/AST/Size.hs:71) BuiltinTy (src/Kempe/AST/Size.hs:50) KempeTy (src/Kempe/AST/Size.hs:34) StackType (src/Kempe/AST/Size.hs:40) MonoStackType (src/Kempe/AST/Size.hs:45) prettyMonoStackType (src/Kempe/AST/Size.hs:47) freeVars (src/Kempe/AST.hs:264) prettyTyped (src/Kempe/AST.hs:104) prettyTypedModule (src/Kempe/AST.hs:246) prettyFancyModule (src/Kempe/AST.hs:243) prettyModule (src/Kempe/AST.hs:249) voidStackType (src/Kempe/AST.hs:60) 20% ( 1 / 5) in 'Kempe.TyAssign' Missing documentation for: TypeM (src/Kempe/TyAssign.hs:99) runTypeM (src/Kempe/TyAssign.hs:154) checkModule (src/Kempe/TyAssign.hs:430) assignModule (src/Kempe/TyAssign.hs:433) 0% ( 0 / 6) in 'Kempe.Parser' Missing documentation for: Module header parse (dist/build/kempe-modules/Kempe/Parser.hs:1369) parseWithMax (dist/build/kempe-modules/Kempe/Parser.hs:1372) parseWithCtx (dist/build/kempe-modules/Kempe/Parser.hs:1378) parseWithInitCtx (dist/build/kempe-modules/Kempe/Parser.hs:1375) ParseError (dist/build/kempe-modules/Kempe/Parser.hs:1352) 50% ( 5 / 10) in 'Kempe.Monomorphize' Missing documentation for: MonoM (src/Kempe/Monomorphize.hs:53) runMonoM (src/Kempe/Monomorphize.hs:67) tryMono (src/Kempe/Monomorphize.hs:76) closure (src/Kempe/Monomorphize.hs:261) mkModuleMap (src/Kempe/Monomorphize.hs:84) 50% ( 1 / 2) in 'Kempe.Module' Missing documentation for: parseProcess (src/Kempe/Module.hs:17) 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:21) 14% ( 1 / 7) in 'Kempe.IR' Missing documentation for: Module header writeModule (src/Kempe/IR.hs:77) runTempM (src/Kempe/IR.hs:38) TempM (src/Kempe/IR.hs:50) prettyIR (src/Kempe/IR.hs:74) WriteSt (src/Kempe/IR/Type.hs:28) 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:28) 0% ( 0 / 4) in 'Kempe.Pipeline' Missing documentation for: Module header irGen (src/Kempe/Pipeline.hs:23) x86Parsed (src/Kempe/Pipeline.hs:31) x86Alloc (src/Kempe/Pipeline.hs:34) 0% ( 0 / 10) in 'Kempe.File' Missing documentation for: Module header tcFile (src/Kempe/File.hs:38) warnFile (src/Kempe/File.hs:45) dumpMono (src/Kempe/File.hs:59) dumpTyped (src/Kempe/File.hs:53) irFile (src/Kempe/File.hs:73) x86File (src/Kempe/File.hs:78) dumpX86 (src/Kempe/File.hs:70) compile (src/Kempe/File.hs:83) dumpIR (src/Kempe/File.hs:67) Warning: Kempe.Asm.Liveness: could not find link destinations for: Copointed Warning: Kempe.Lexer: could not find link destinations for: AlexState Name TyName Warning: Kempe.IR.Opt: could not find link destinations for: Stmt Warning: Kempe.Asm.X86.Trans: could not find link destinations for: SizeEnv Stmt X86 AbsReg 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: Name TyName Warning: Kempe.TyAssign: could not find link destinations for: TyState Error Warning: Kempe.Parser: could not find link destinations for: Name Warning: Kempe.Monomorphize: could not find link destinations for: RenameEnv Error SizeEnv ModuleMap Name Warning: Kempe.IR: could not find link destinations for: SizeEnv Stmt TempSt Label Size Warning: Kempe.Check.Pattern: could not find link destinations for: Error Warning: Kempe.Shuttle: could not find link destinations for: Error SizeEnv Warning: Kempe.Pipeline: could not find link destinations for: Stmt SizeEnv X86 AbsReg Warning: Kempe.File: could not find link destinations for: Error Warning Documentation created: dist/doc/html/kempe/index.html, dist/doc/html/kempe/kempe.txt Preprocessing executable 'kc' for kempe-0.1.1.3.. 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.1.3-KtCvprc14CNB9q4crxV3PP 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-30153/kempe-0.1.1.3' cabal: Error: some packages failed to install: kempe-0.1.1.3-KtCvprc14CNB9q4crxV3PP 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.1.3: installed package info from too old version of Cabal (key field does not match id field) )