Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Test suite section for failures #131
Right now, intentionally failing things (i.e. things that should throw a runtime exception, fail to type check, etc.) are tested just by including them in the normal regression test suite and expecting a verbatim error message. It would be much better to put expected failures in a different directory and test them by simply making sure that they fail, but not comparing their output to some golden standard (since error message output is very likely to change in the future).