Sum types · GaloisInc/cryptol@81c5d12

Run .github/ci.sh build: src/Cryptol/TypeCheck/Infer.hs#L511

• Couldn't match expected type ‘TypeWithSource’

Run .github/ci.sh build: src/Cryptol/TypeCheck/Infer.hs#L512

• Couldn't match expected type ‘TypeWithSource’

Run .github/ci.sh build: src/Cryptol/TypeCheck/Infer.hs#L511

• Couldn't match expected type ‘TypeWithSource’

Run .github/ci.sh build: src/Cryptol/TypeCheck/Infer.hs#L512

• Couldn't match expected type ‘TypeWithSource’

Run .github/ci.sh build: src/Cryptol/TypeCheck/Infer.hs#L511

• Couldn't match expected type ‘TypeWithSource’

Run .github/ci.sh build: src/Cryptol/TypeCheck/Infer.hs#L512

• Couldn't match expected type ‘TypeWithSource’

Process completed with exit code 1.

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/

Run .github/ci.sh build: src/Cryptol/TypeCheck/Solver/SMT.hs#L8

‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!

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