ucsd-progsys/liquidhaskell
Ver no GitHubRecover some tests of parsing errors
Open
#2.009 aberto em 16 de jun. de 2022
good first issue
Métricas do repositório
- Stars
- (1.306 stars)
- Métricas de merge de PR
- (Mesclagem média 2d 18h) (12 fundiu PRs em 30d)
Description
Some tests were disabled when implementing the expected errors flag. In general, these tests check the presence of certain parse errors.
- BadAnnotation
- BadAnnotation1
- ErrLocation
- ErrLocation2
- ShadowMeasureVar
Reenable these and update the implementation of expected errors flags so it can be used with them.