Merge pull request #428 from smucclaw/20230822-bugfix-no-match-record… · smucclaw/dsl@ff7810e

lib/haskell/natural4/test/LS/InterpreterSpec.hs#L17

• Fields of ‘L4I’ not initialised:

lib/haskell/natural4/test/LS/InterpreterSpec.hs#L23

• Fields of ‘L4I’ not initialised:

lib/haskell/natural4/test/LS/InterpreterSpec.hs#L31

• Fields of ‘L4I’ not initialised:

lib/haskell/natural4/test/LS/InterpreterSpec.hs#L38

• Fields of ‘L4I’ not initialised:

lib/haskell/natural4/test/LS/InterpreterSpec.hs#L45

• Fields of ‘L4I’ not initialised:

lib/haskell/natural4/test/LS/InterpreterSpec.hs#L53

• Fields of ‘L4I’ not initialised:

lib/haskell/natural4/test/LS/XPile/CoreL4/LogicProgramSpec.hs#L80

• Fields of ‘Opts’ not initialised:

lib/haskell/explainable/src/Explainable.hs#L1

The export item ‘module Explainable’ is missing an export list

lib/haskell/explainable/src/Explainable/MathLang.hs#L1

The export item ‘module Explainable.MathLang’ is missing an export list

lib/haskell/explainable/src/Explainable/MathLang.hs#L192

Defined but not used: ‘rhs’

lib/haskell/explainable/src/Explainable/MathLang.hs#L278

Defined but not used: ‘rhs’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘val’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘xpl’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘stab’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘wlog’

lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1

The export item ‘module Explainable.TaxDSL’ is missing an export list

lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574

Defined but not used: ‘passes’

lib/haskell/natural4/src/LS/UtilsREPLDev.hs#L79

• Fields of ‘Opts’ not initialised:

lib/haskell/explainable/src/Explainable.hs#L1

The export item ‘module Explainable’ is missing an export list

lib/haskell/explainable/src/Explainable/MathLang.hs#L1

The export item ‘module Explainable.MathLang’ is missing an export list

lib/haskell/explainable/src/Explainable/MathLang.hs#L192

Defined but not used: ‘rhs’

lib/haskell/explainable/src/Explainable/MathLang.hs#L278

Defined but not used: ‘rhs’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘val’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘xpl’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘stab’

lib/haskell/explainable/src/Explainable/MathLang.hs#L396

Defined but not used: ‘wlog’

lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1

The export item ‘module Explainable.TaxDSL’ is missing an export list

lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574

Defined but not used: ‘passes’

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Merge pull request #428 from smucclaw/20230822-bugfix-no-match-record… #842

build (ubuntu-latest)

Merge pull request #428 from smucclaw/20230822-bugfix-no-match-record… #842

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...