Skip to content
Cryptol

Sum types #2295

Sign in to view logs

Sum types

Sum types #2295

Triggered via pull request January 16, 2024 02:40
@yavyav
synchronize #1602
sum-types
Status Failure
Total duration 11m 24s
Artifacts –

ci.yml

on: pull_request
config
6s
config
Matrix: build
Matrix: build-push-image
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

56 errors and 87 warnings
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-20.04, 9.2.8, false)
Process completed with exit code 1.
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true)
Process completed with exit code 1.
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true)
Process completed with exit code 1.
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.4.7, 3.10.1.0, true)
Process completed with exit code 1.
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true)
Process completed with exit code 1.
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (windows-2019, 9.2.8, 3.10.1.0, true)
Process completed with exit code 1.
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.2.8, 3.10.1.0, true)
Process completed with exit code 1.
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L511
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/TypeCheck/Infer.hs#L512
• Couldn't match expected type ‘TypeWithSource’
build (macos-12, 9.6.2, 3.10.1.0, true)
Process completed with exit code 1.
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
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
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
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
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
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/
build (ubuntu-20.04, 9.2.8, false)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@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-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/TypeCheck/Solver/SMT.hs#L8
‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.2.8, false): src/Cryptol/ModuleSystem/Binds.hs#L364
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-22.04, 9.2.8, 3.10.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. 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.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Solver/SMT.hs#L8
‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.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. 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.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Solver/SMT.hs#L8
‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L169
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L409
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L444
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.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. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/TypeCheck/Solver/SMT.hs#L8
‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L169
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L409
Pattern match(es) are non-exhaustive
build (macos-12, 9.4.7, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L444
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.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. 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.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L169
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L409
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L444
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true): src/Cryptol/Symbolic.hs#L295
Pattern match(es) are non-exhaustive
build (windows-2019, 9.2.8, 3.10.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. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59
Pattern match(es) are non-exhaustive
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Solver/SMT.hs#L8
‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (windows-2019, 9.2.8, 3.10.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.8, 3.10.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. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/TypeCheck/Solver/SMT.hs#L8
‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.8, 3.10.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.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. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L169
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L409
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/Testing/Random.hs#L444
Pattern match(es) are non-exhaustive
build (macos-12, 9.6.2, 3.10.1.0, true): src/Cryptol/Symbolic.hs#L295
Pattern match(es) are non-exhaustive