Toxaris/pts — pull request #71 by Blaisorblade (2014-07-11 23:23:19+00:00)
Title: Improve type errors WIP

Don't merge yet. This improves a bit an error message and analyses the other one — we saw these problems with my (intentionally) faulty examples in System U.