Allow input function calls to be wrapped in coercions #444
Annotations
13 warnings
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, haskell/actions/setup@v2, actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Run haskell/actions/setup@v2
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
Run tests:
src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
|
Run tests:
src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
|
Run tests:
src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
|
Run tests:
src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
|
Run tests:
src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
|
Run tests:
src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
|
Run tests:
src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
|
Run tests:
src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
|
Run tests:
src/G2/Initialization/MkCurrExpr.hs#L110
Pattern match(es) are non-exhaustive
|
Run tests:
src/G2/Initialization/MkCurrExpr.hs#L116
Pattern match(es) are non-exhaustive
|
Loading