Repository navigation
reverse-lambda-notation #363
gelisamAnnotations
7 errors and 15 warnings
|
ubuntu-latest / ghc 9.2.5
The process '/home/runner/.ghcup/bin/cabal' failed with exit code 1
|
|
ubuntu-latest / ghc 9.4
The strategy configuration was canceled because "cabal._3_6_9_2_5_ubuntu-latest" failed
|
|
ubuntu-latest / ghc 9.4
The operation was canceled.
|
|
ubuntu-latest / ghc 9.6
The strategy configuration was canceled because "cabal._3_6_9_2_5_ubuntu-latest" failed
|
|
ubuntu-latest / ghc 9.6
The operation was canceled.
|
|
macOS-latest / ghc 9.6
The strategy configuration was canceled because "cabal._3_6_9_2_5_ubuntu-latest" failed
|
|
macOS-latest / ghc 9.6
The operation was canceled.
|
|
ubuntu-latest / ghc 9.2.5
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.4
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.6
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS-latest / ghc 9.6
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stack / ghc 9.2.8
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stack / ghc 9.2.8:
src/Expander/Syntax.hs#L115
The use of ‘~’ without TypeOperators
|
|
stack / ghc 9.2.8:
src/Expander/Syntax.hs#L109
The use of ‘~’ without TypeOperators
|
|
stack / ghc 9.2.8:
src/Expander/Syntax.hs#L109
The use of ‘~’ without TypeOperators
|
|
stack / ghc 9.2.8:
src/Expander/Syntax.hs#L103
The use of ‘~’ without TypeOperators
|
|
stack / ghc 9.2.8:
src/Expander/Syntax.hs#L69
The use of ‘~’ without TypeOperators
|
|
stack / ghc 9.2.8:
src/Pretty.hs#L671
This binding for ‘mod’ shadows the existing binding
|
|
stack / ghc 9.2.8:
src/Pretty.hs#L471
Defined but not used: ‘more’
|
|
stack / ghc 9.2.8:
src/Evaluator.hs#L95
Defined but not used: ‘typeErrorActual’
|
|
stack / ghc 9.2.8:
src/Evaluator.hs#L95
Defined but not used: ‘typeErrorExpected’
|
|
stack / ghc 9.2.8:
src/Util/Store.hs#L71
The use of ‘~’ without TypeOperators
|