Cryptol

Make names in scope in functors accessible when their instantiations are loaded at the REPL #2047

Triggered via pull request July 29, 2023 01:46

qsctr

synchronize #1559

T1455

Status Success

Total duration 32m 29s

Artifacts 22

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request

config

Matrix: build

Matrix: build-push-image

Matrix: test

Annotations

98 warnings

config

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

config

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

config

build (ubuntu-22.04, 9.4.5, 3.8.1.0, true)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/cache@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

build (ubuntu-22.04, 9.4.5, 3.8.1.0, true)

build (macos-12, 9.4.5, 3.8.1.0, true)

build (ubuntu-22.04, 8.10.7, 3.8.1.0, true)

build (ubuntu-22.04, 8.10.7, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100

Defined but not used: ‘s’

build (ubuntu-22.04, 8.10.7, 3.8.1.0, true)

This binding for ‘err’ shadows the existing binding

build (ubuntu-20.04, 9.2.8, false)

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L337

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L343

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L350

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L356

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L363

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Renamer.hs#L686

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.2.8, false): src/Cryptol/REPL/Browse.hs#L100

Defined but not used: ‘s’

build (ubuntu-20.04, 9.2.8, false)

This binding for ‘err’ shadows the existing binding

build (ubuntu-20.04, 9.2.8, false)

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true)

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L337

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L343

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L350

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L356

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L363

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer.hs#L686

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100

Defined but not used: ‘s’

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true)

This binding for ‘err’ shadows the existing binding

build (ubuntu-22.04, 9.2.8, 3.8.1.0, true)

build (macos-12, 9.2.8, 3.8.1.0, true)

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L337

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L343

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L350

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L356

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L363

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer.hs#L686

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (macos-12, 9.2.8, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100

Defined but not used: ‘s’

build (macos-12, 9.2.8, 3.8.1.0, true)

This binding for ‘err’ shadows the existing binding

build (macos-12, 8.10.7, 3.8.1.0, true)

build (macos-12, 8.10.7, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100

Defined but not used: ‘s’

build (macos-12, 8.10.7, 3.8.1.0, true)

This binding for ‘err’ shadows the existing binding

build (windows-2019, 9.2.8, 3.8.1.0, true)

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L337

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L343

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L350

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L356

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L363

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer.hs#L686

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (windows-2019, 9.2.8, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100

Defined but not used: ‘s’

build (windows-2019, 9.2.8, 3.8.1.0, true)

This binding for ‘err’ shadows the existing binding

build (windows-2019, 9.2.8, 3.8.1.0, true)

test (test-lib, constraint-guards, macos-12, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

test (test-lib, modsys, macos-12, false)

test (test-lib, ffi, macos-12, false)

test (test-lib, renamer, windows-2019, false)

test (test-lib, constraint-guards, windows-2019, false)

test (test-lib, mono-binds, windows-2019, false)

test (test-lib, parser, windows-2019, false)

test (test-lib, issues, macos-12, false)

test (test-lib, examples, windows-2019, false)

test (test-lib, examples, macos-12, false)

test (test-lib, renamer, ubuntu-22.04, false)

test (test-lib, modsys, ubuntu-22.04, false)

test (test-lib, modsys, windows-2019, false)

test (test-lib, ffi, ubuntu-22.04, false)

test (test-lib, parser, ubuntu-22.04, false)

test (test-lib, mono-binds, ubuntu-22.04, false)

test (test-lib, mono-binds, macos-12, false)

test (test-lib, ffi, windows-2019, false)

test (test-lib, constraint-guards, ubuntu-22.04, false)

test (test-lib, examples, ubuntu-22.04, false)

test (test-lib, issues, windows-2019, false)

test (test-lib, renamer, macos-12, false)

test (test-lib, regression, windows-2019, false)

test (test-lib, issues, ubuntu-22.04, false)

test (test-lib, regression, ubuntu-22.04, false)

test (rpc, ubuntu-22.04, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

test (test-lib, parser, macos-12, false)

test (test-lib, regression, macos-12, false)

test (test-lib, suiteb, ubuntu-22.04, false)

test (test-lib, suiteb, windows-2019, false)

test (test-lib, suiteb, macos-12, false)

Artifacts

Produced during runtime

Name	Size
Linux-bin Expired	176 MB
Linux-dist-bin Expired	250 MB
Windows-bin Expired	174 MB
Windows-dist-bin Expired	291 MB
cryptol-3.0.0.99-macos-12-x86_64 (GHC 8.10.7) Expired	21.4 MB
cryptol-3.0.0.99-macos-12-x86_64 (GHC 9.2.8) Expired	20.6 MB
cryptol-3.0.0.99-macos-12-x86_64 (GHC 9.4.5) Expired	21.5 MB
cryptol-3.0.0.99-macos-12-x86_64-with-solvers (GHC 8.10.7) Expired	54.7 MB
cryptol-3.0.0.99-macos-12-x86_64-with-solvers (GHC 9.2.8) Expired	53.9 MB
cryptol-3.0.0.99-macos-12-x86_64-with-solvers (GHC 9.4.5) Expired	54.8 MB
cryptol-3.0.0.99-ubuntu-20.04-x86_64 (GHC 9.2.8) Expired	37.6 MB
cryptol-3.0.0.99-ubuntu-20.04-x86_64-with-solvers (GHC 9.2.8) Expired	75.6 MB
cryptol-3.0.0.99-ubuntu-22.04-x86_64 (GHC 8.10.7) Expired	38.4 MB
cryptol-3.0.0.99-ubuntu-22.04-x86_64 (GHC 9.2.8) Expired	37.6 MB
cryptol-3.0.0.99-ubuntu-22.04-x86_64 (GHC 9.4.5) Expired	51.9 MB
cryptol-3.0.0.99-ubuntu-22.04-x86_64-with-solvers (GHC 8.10.7) Expired	77.5 MB
cryptol-3.0.0.99-ubuntu-22.04-x86_64-with-solvers (GHC 9.2.8) Expired	76.8 MB
cryptol-3.0.0.99-ubuntu-22.04-x86_64-with-solvers (GHC 9.4.5) Expired	91.1 MB
cryptol-3.0.0.99-windows-2019-x86_64 (GHC 9.2.8) Expired	97.3 MB
cryptol-3.0.0.99-windows-2019-x86_64-with-solvers (GHC 9.2.8) Expired	84.7 MB
macOS-bin Expired	135 MB
macOS-dist-bin Expired	162 MB

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Make names in scope in functors accessible when their instantiations are loaded at the REPL #2047

Summary