ucsd-progsys/liquidhaskell

Recover some tests of parsing errors

Open

#2.009 aberto em 16 de jun. de 2022

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (157 forks)batch import
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.

Guia do colaborador