ucsd-progsys/liquidhaskell

Recover some tests of parsing errors

Open

#2.009 geöffnet am 16. Juni 2022

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (157 Forks)batch import
good first issue

Repository-Metriken

Stars
 (1.306 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 2T 18h) (12 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide