add support for s-expressions and for WHERE limbs in DECIDE · smucclaw/dsl@0024c69

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’

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

• Fields of ‘Opts’ not initialised:

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

add support for s-expressions and for WHERE limbs in DECIDE #779

build (macos-12)

add support for s-expressions and for WHERE limbs in DECIDE #779

Jobs

Run details

Annotations

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

Re-running jobs...