Add new case for positivity checker: type cannot occur as arg of bound var #5820
Triggered via pull request
November 29, 2023 18:00
jonaprieto
Status
Failure
Total duration
17m 53s
Artifacts
–
ci.yml
on: pull_request
pre-commit
14s
ormolu
18s
build-and-test-linux
5m 34s
build-and-test-macos
17m 23s
Annotations
2 errors
|
build-and-test-linux
Process completed with exit code 1.
|
|
build-and-test-macos
Process completed with exit code 1.
|