Skip to content

properly re-bind the equivalence condition in the final result #700

properly re-bind the equivalence condition in the final result

properly re-bind the equivalence condition in the final result #700

Triggered via push January 10, 2024 20:41
Status Success
Total duration 2h 36m 30s
Artifacts

main.yml

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

Annotations

22 warnings
GHC 9.6.2 on self-hosted pate-ppc
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2, haskell/actions/setup@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
GHC 9.6.2 on self-hosted pate-ppc
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Demangler.Context’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
Defined but not used: ‘closure_prefix’
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Control.Applicative’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘+, <=’
GHC 9.6.2 on self-hosted pate-ppc
• No explicit implementation for
GHC 9.6.2 on self-hosted pate-ppc
Unhandled instruction definitions for ISA: 18
GHC 9.6.2 on self-hosted pate-ppc
Pattern match(es) are non-exhaustive
GHC 9.6.2 on self-hosted pate-ppc
• Fields of ‘MML.LoadOptions’ not initialised:
GHC 9.6.2 on self-hosted pate-ppc
• No explicit implementation for
GHC 9.6.2 on self-hosted pate-ppc
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Demangler.Context’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
Defined but not used: ‘closure_prefix’
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Demangler.Context’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
Defined but not used: ‘closure_prefix’
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Control.Applicative’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Control.Applicative’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘+, <=’
GHC 9.6.2 on self-hosted pate-ppc
• No explicit implementation for
GHC 9.6.2 on self-hosted pate-ppc
Unhandled instruction definitions for ISA: 18
GHC 9.6.2 on self-hosted pate-ppc
Unhandled instruction definitions for ISA: 18