ollef/sixten

Expected error tests

Open

#111 geöffnet am 14. Juni 2018

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (24 Forks)batch import
Beginner-friendlyHelp wantedType: Feature

Repository-Metriken

Stars
 (631 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

We currently have the setup to test that some error occurred during compilation, but we don't test that it's the correct error (other than syntax vs type error) or that it occurs on the correct line.

It'd be nice to be able to annotate source files for testing with expected errors in comments, something like:

x = addInt 1 True -- $expect: Type error: Type mismatch

and then have the setup to verify that that error really occurs there.

Contributor Guide