Merge pull request #403 from smucclaw/20230719-fix-aasvg-breach-bug · smucclaw/dsl@131a29a

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

Merge pull request #403 from smucclaw/20230719-fix-aasvg-breach-bug #776

build (macos-11)

Merge pull request #403 from smucclaw/20230719-fix-aasvg-breach-bug #776

Jobs

Run details

Annotations

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

Re-running jobs...