Build #1 for kempe-0.1.1.0

[all reports]

Package kempe-0.1.1.0
Install InstallFailed
Docs NotTried
Tests NotTried
Time submitted 2020-12-12 17:04:46.003089156 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, bytestring-0.10.10.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     clock-0.8
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
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.1.0
Downloaded   kempe-0.1.1.0
Starting     kempe-0.1.1.0
Building     kempe-0.1.1.0
Failed to install kempe-0.1.1.0
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/kempe-0.1.1.0-4qIHb8GvrAhCEUhrob7hH0.log ):
cabal: Entering directory '/tmp/cabal-tmp-8337/kempe-0.1.1.0'
Configuring kempe-0.1.1.0...
Preprocessing library 'kempe-modules' for kempe-0.1.1.0..
Building library 'kempe-modules' for kempe-0.1.1.0..
[ 1 of 26] 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 26] 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 26] Compiling Kempe.Unique     ( src/Kempe/Unique.hs, dist/build/kempe-modules/Kempe/Unique.o, dist/build/kempe-modules/Kempe/Unique.dyn_o )
[ 4 of 26] 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  ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 5 of 26] 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()
[ 6 of 26] Compiling Prettyprinter.Ext ( src/Prettyprinter/Ext.hs, dist/build/kempe-modules/Prettyprinter/Ext.o, dist/build/kempe-modules/Prettyprinter/Ext.dyn_o )
[ 7 of 26] 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:22: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()
   |
22 | import           Data.Semigroup          ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 8 of 26] 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 )

src/Kempe/Asm/X86/Liveness.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      ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 9 of 26] 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:14: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()
   |
14 | import           Data.Semigroup             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Kempe/Asm/X86/Linear.hs:62:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘assoc’:
        Patterns not matched:
            Rsp
            Rbp
            Rbx
   |
62 | assoc Rax  = S.fromList [AH, AL]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[10 of 26] 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:10: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()
   |
10 | import           Data.Semigroup             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[11 of 26] 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:48: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()
   |
48 | import           Data.Semigroup          ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 26] 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 26] Compiling Kempe.Module     ( src/Kempe/Module.hs, dist/build/kempe-modules/Kempe/Module.o, dist/build/kempe-modules/Kempe/Module.dyn_o )
[14 of 26] 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     ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[15 of 26] Compiling Kempe.IR         ( src/Kempe/IR.hs, dist/build/kempe-modules/Kempe/IR.o, dist/build/kempe-modules/Kempe/IR.dyn_o )

src/Kempe/IR.hs:33: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()
   |
33 | import           Data.Semigroup             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[16 of 26] 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 )
[17 of 26] 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    ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[18 of 26] 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             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[19 of 26] 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             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[20 of 26] 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 )

src/Kempe/Check/TopLevel.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      ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 26] 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 )
[22 of 26] 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 )
[23 of 26] Compiling Kempe.Shuttle    ( src/Kempe/Shuttle.hs, dist/build/kempe-modules/Kempe/Shuttle.o, dist/build/kempe-modules/Kempe/Shuttle.dyn_o )
[24 of 26] 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]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[25 of 26] Compiling Kempe.Pipeline   ( src/Kempe/Pipeline.hs, dist/build/kempe-modules/Kempe/Pipeline.o, dist/build/kempe-modules/Kempe/Pipeline.dyn_o )
[26 of 26] 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:17: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()
   |
17 | import           Data.Semigroup            ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Preprocessing executable 'kc' for kempe-0.1.1.0..
Building executable 'kc' for kempe-0.1.1.0..
[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.0..
Running Haddock on library 'kempe-modules' for kempe-0.1.1.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.

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/Asm/X86/Type.hs:22: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()
   |
22 | import           Data.Semigroup          ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Kempe/Asm/X86/Liveness.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/X86/Linear.hs:14: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()
   |
14 | import           Data.Semigroup             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Kempe/Asm/X86/ControlFlow.hs:10: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()
   |
10 | import           Data.Semigroup             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Kempe/AST.hs:48: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()
   |
48 | 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/IR.hs:33: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()
   |
33 | import           Data.Semigroup             ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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/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/Check/TopLevel.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/File.hs:17: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()
   |
17 | import           Data.Semigroup            ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Haddock coverage:
   0% (  0 / 14) in 'Kempe.Lexer'
  Missing documentation for:
    Module header
    alexMonadScan (templates/wrappers.hs:342)
    alexInitUserState (src/Kempe/Lexer.x:189)
    runAlex (templates/wrappers.hs:293)
    runAlexSt (src/Kempe/Lexer.x:385)
    withAlexSt (src/Kempe/Lexer.x:388)
    lexKempe (src/Kempe/Lexer.x:382)
    AlexPosn (templates/wrappers.hs:150)
    Alex (templates/wrappers.hs:305)
    Token (src/Kempe/Lexer.x:335)
    Keyword (src/Kempe/Lexer.x:285)
    Sym (src/Kempe/Lexer.x:207)
    Builtin (src/Kempe/Lexer.x:305)
    AlexUserState (src/Kempe/Lexer.x:187)
  33% (  1 /  3) in 'Kempe.Asm.X86.Liveness'
  Missing documentation for:
    Liveness (src/Kempe/Asm/X86/Type.hs:33)
    reconstruct (src/Kempe/Asm/X86/Liveness.hs:43)
  33% (  1 /  3) in 'Kempe.Asm.X86.Linear'
  Missing documentation for:
    X86Reg (src/Kempe/Asm/X86/Type.hs:47)
    allocRegs (src/Kempe/Asm/X86/Linear.hs:92)
   0% (  0 /  3) in 'Kempe.Asm.X86.ControlFlow'
  Missing documentation for:
    Module header
    mkControlFlow (src/Kempe/Asm/X86/ControlFlow.hs:20)
    ControlAnn (src/Kempe/Asm/X86/Type.hs:40)
  17% (  5 / 28) in 'Kempe.AST'
  Missing documentation for:
    BuiltinTy (src/Kempe/AST.hs:59)
    KempeTy (src/Kempe/AST.hs:73)
    StackType (src/Kempe/AST.hs:79)
    Atom (src/Kempe/AST.hs:162)
    BuiltinFn (src/Kempe/AST.hs:189)
    KempeDecl (src/Kempe/AST.hs:274)
    Pattern (src/Kempe/AST.hs:109)
    ABI (src/Kempe/AST.hs:253)
    Declarations (src/Kempe/AST.hs:306)
    Module (src/Kempe/AST.hs:308)
    freeVars (src/Kempe/AST.hs:318)
    MonoStackType (src/Kempe/AST.hs:84)
    SizeEnv (src/Kempe/AST.hs:325)
    Size (src/Kempe/AST.hs:324)
    sizeStack (src/Kempe/AST.hs:345)
    size' (src/Kempe/AST.hs:342)
    cSize (src/Kempe/AST.hs:339)
    prettyMonoStackType (src/Kempe/AST.hs:94)
    prettyTyped (src/Kempe/AST.hs:150)
    prettyTypedModule (src/Kempe/AST.hs:300)
    prettyFancyModule (src/Kempe/AST.hs:297)
    prettyModule (src/Kempe/AST.hs:303)
    voidStackType (src/Kempe/AST.hs:100)
   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% (  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% (  2 / 14) in 'Kempe.IR'
  Missing documentation for:
    writeModule (src/Kempe/IR.hs:220)
    Stmt (src/Kempe/IR.hs:140)
    Exp (src/Kempe/IR.hs:153)
    RelBinOp (src/Kempe/IR.hs:179)
    IntBinOp (src/Kempe/IR.hs:195)
    BoolBinOp (src/Kempe/IR.hs:169)
    Label (src/Kempe/IR.hs:45)
    Temp (src/Kempe/IR.hs:47)
    runTempM (src/Kempe/IR.hs:70)
    TempM (src/Kempe/IR.hs:82)
    prettyIR (src/Kempe/IR.hs:106)
    WriteSt (src/Kempe/IR.hs:57)
   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:99)
    runTypeM (src/Kempe/TyAssign.hs:154)
    checkModule (src/Kempe/TyAssign.hs:430)
    assignModule (src/Kempe/TyAssign.hs:433)
  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:260)
    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:21)
    x86Parsed (src/Kempe/Pipeline.hs:29)
    x86Alloc (src/Kempe/Pipeline.hs:32)
   0% (  0 / 10) in 'Kempe.File'
  Missing documentation for:
    Module header
    tcFile (src/Kempe/File.hs:36)
    warnFile (src/Kempe/File.hs:43)
    dumpMono (src/Kempe/File.hs:57)
    dumpTyped (src/Kempe/File.hs:51)
    irFile (src/Kempe/File.hs:71)
    x86File (src/Kempe/File.hs:76)
    dumpX86 (src/Kempe/File.hs:68)
    compile (src/Kempe/File.hs:81)
    dumpIR (src/Kempe/File.hs:65)
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 Warning
Documentation created: dist/doc/html/kempe/index.html,
dist/doc/html/kempe/kempe.txt
Preprocessing executable 'kc' for kempe-0.1.1.0..
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.0-4qIHb8GvrAhCEUhrob7hH0
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-8337/kempe-0.1.1.0'
cabal: Error: some packages failed to install:
kempe-0.1.1.0-4qIHb8GvrAhCEUhrob7hH0 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.0: 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.