Build #1 for kempe-0.1.0.2
| Package | kempe-0.1.0.2 |
|---|
| Install | InstallFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2020-12-04 23:04:20.21540341 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.4.0, base-4.14.1.0, bytestring-0.10.10.0, composition-prelude-3.0.0.2, containers-0.6.2.1, deepseq-1.4.4.0, extra-1.7.8, microlens-0.4.12.0, microlens-mtl-0.2.0.1, mtl-2.2.2, prettyprinter-1.7.0, process-1.6.9.0, temporary-1.3, text-1.2.3.2, transformers-0.5.6.2, base-4.14.1.0, optparse-applicative-0.16.1.0, prettyprinter-1.7.0 |
| Flags | -cross |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting composition-prelude-3.0.0.2
Starting clock-0.8
Starting colour-2.3.5
Starting microlens-0.4.12.0
Building composition-prelude-3.0.0.2
Building colour-2.3.5
Building clock-0.8
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
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.2
Downloaded kempe-0.1.0.2
Starting kempe-0.1.0.2
Building kempe-0.1.0.2
Failed to install kempe-0.1.0.2
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/kempe-0.1.0.2-HNKk2QMglpf1V6yZ6PAFLK.log ):
cabal: Entering directory '/tmp/cabal-tmp-23836/kempe-0.1.0.2'
Configuring kempe-0.1.0.2...
Preprocessing library 'kempe-modules' for kempe-0.1.0.2..
Building library 'kempe-modules' for kempe-0.1.0.2..
[ 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: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.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.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]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[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.2..
Building executable 'kc' for kempe-0.1.0.2..
[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.2..
Running Haddock on library 'kempe-modules' for kempe-0.1.0.2..
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:1300)
parseWithMax (dist/build/kempe-modules/Kempe/Parser.hs:1303)
ParseError (dist/build/kempe-modules/Kempe/Parser.hs:1283)
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:98)
runTypeM (src/Kempe/TyAssign.hs:139)
checkModule (src/Kempe/TyAssign.hs:415)
assignModule (src/Kempe/TyAssign.hs:418)
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: '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'
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.2..
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.2-HNKk2QMglpf1V6yZ6PAFLK
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-23836/kempe-0.1.0.2'
cabal: Error: some packages failed to install:
kempe-0.1.0.2-HNKk2QMglpf1V6yZ6PAFLK 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.2: installed package info from too old version
of Cabal (key field does not match id field)
)
Test log
No test log was submitted for this report.