Skip to content
Haskell CI

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

Sign in to view logs

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

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

Triggered via pull request August 1, 2023 04:29
@mengwongmengwong
opened #404
20230721-prolog-semantics
Status Success
Total duration 42m 58s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

63 warnings
build (ubuntu-latest): lib/haskell/natural4/test/LS/XPile/CoreL4/LogicProgramSpec.hs#L80
• Fields of ‘Opts’ not initialised:
build (ubuntu-latest): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-11): lib/haskell/natural4/test/LS/XPile/CoreL4/LogicProgramSpec.hs#L80
• Fields of ‘Opts’ not initialised:
build (macos-11): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-11): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-12): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-12): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-12): lib/haskell/natural4/test/LS/XPile/CoreL4/LogicProgramSpec.hs#L80
• Fields of ‘Opts’ not initialised: