Cryptol Projects · GaloisInc/cryptol@ef2e037

Run .github/ci.sh build: src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

Run .github/ci.sh build: src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

Run .github/ci.sh build: src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

Process completed with exit code 1.

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

Run .github/ci.sh build: src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

Run .github/ci.sh build: src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

Run .github/ci.sh build: src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

Run .github/ci.sh build: src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

Run .github/ci.sh build: src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

Run .github/ci.sh build: src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

Run .github/ci.sh build: src/Cryptol/ModuleSystem/Base.hs#L31

The qualified import of ‘Data.Text’ is redundant

Run .github/ci.sh build: src/Cryptol/ModuleSystem/Base.hs#L137

This binding for ‘name’ shadows the existing binding

Provide feedback