Add project and docstring checking functions to cryptol-remote-api #3071
Annotations
1 error and 5 warnings
|
Run .github/ci.sh build
Process completed with exit code 1.
|
|
Run .github/ci.sh build:
src/Cryptol/Project/WildMatch.hs#L38
Defined but not used: ‘p’
|
|
Run .github/ci.sh build:
src/Cryptol/Project/WildMatch.hs#L59
Defined but not used: ‘a’
|
|
Run .github/ci.sh build:
src/Cryptol/Project/WildMatch.hs#L59
Defined but not used: ‘p’
|
|
Run .github/ci.sh build:
src/Cryptol/Utils/Ident.hs#L175
Pattern match(es) are non-exhaustive
|
|
Run .github/ci.sh build:
src/Cryptol/Utils/Ident.hs#L185
Pattern match(es) are non-exhaustive
|
Loading