Skip to content
Haskell CI

Merge pull request #404 from smucclaw/20230721-prolog-semantics #780

Sign in to view logs

Merge pull request #404 from smucclaw/20230721-prolog-semantics

Merge pull request #404 from smucclaw/20230721-prolog-semantics #780

Triggered via push August 1, 2023 04:29
@mengwongmengwong
pushed 5a2abf5
main
Status Success
Total duration 45m 48s
Artifacts –

haskell.yml

on: push
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: