unify Combine and CombineTypes #902
Annotations
1 error and 2 warnings
|
Run tests
Process completed with exit code 1.
|
|
Run tests:
dhall/src/Dhall/TypeCheck.hs#L868
Pattern match(es) are non-exhaustive
|
|
Build:
dhall/src/Dhall/TypeCheck.hs#L868
Pattern match(es) are non-exhaustive
|
Loading