Lexicon for use case · smucclaw/dsl@20ef769

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/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

Lexicon for use case #797

build (ubuntu-latest)

Lexicon for use case #797

Jobs

Run details

Annotations

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

Re-running jobs...