Skip to content
Build Haskell

Fix endpoints in comp combinator #58

Sign in to view logs

Fix endpoints in comp combinator

Fix endpoints in comp combinator #58

Triggered via push July 16, 2024 22:08
@JonasHoeferJonasHoefer
pushed d416b8d
main
Status Success
Total duration 2m 50s
Artifacts –

haskell.yml

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

Annotations

11 warnings
GHC 9.4.8 on ubuntu-latest
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
GHC 9.4.8 on ubuntu-latest: src/PosTT/Frontend/Exp/ErrM.hs#L33
Pattern synonym with no type signature:
GHC 9.4.8 on ubuntu-latest: src/PosTT/Frontend/Exp/ErrM.hs#L34
Pattern synonym with no type signature:
GHC 9.4.8 on ubuntu-latest: src/PosTT/SAT.hs#L59
This binding for ‘p’ shadows the existing binding
GHC 9.4.8 on ubuntu-latest: src/PosTT/SAT.hs#L62
This binding for ‘p’ shadows the existing binding
GHC 9.4.8 on ubuntu-latest: src/PosTT/Frontend/ScopeChecker.hs#L105
Pattern match(es) are non-exhaustive
GHC 9.4.8 on ubuntu-latest: src/PosTT/Poset.hs#L163
Pattern match(es) are non-exhaustive
GHC 9.4.8 on ubuntu-latest: src/PosTT/Eval.hs#L480
This binding for ‘i'’ shadows the existing binding
GHC 9.4.8 on ubuntu-latest: src/PosTT/Eval.hs#L496
This binding for ‘i'’ shadows the existing binding
GHC 9.4.8 on ubuntu-latest: src/PosTT/Conversion.hs#L124
Pattern match(es) are non-exhaustive
GHC 9.4.8 on ubuntu-latest: src/PosTT/TypeChecker.hs#L106
This binding for ‘x’ shadows the existing binding