Na you're probably right. I bet there's lot of missing tests. Particularly tests for things that *shouldn't* work.
Conversation
so what you're saying is that we need.... .... negative... examples?
1
1
I'd prefer to say we need positive examples of errors messages.
2
2
I once had to write positive tests for parser error messages... It was a royal pain but at least the end product was worth it.
2
6
Have you looked into golden testing?
2
3
Into what?
1
E.g. hackage.haskell.org/package/tasty-
It writes the output files for you if they are not present and there is a flag to overwrite the current golden file.
1
3
It was meant in response to
1
I saw that kind of testing in Idris1, but never knew its name!
1
2
I have also seen the term "characterization testing" for the same concept en.wikipedia.org/wiki/Character
1
4
