search

love-haskell / coercible-utils

Utility functions for Coercible types
https://hackage.haskell.org/package/coercible-utils
BSD 3-Clause "New" or "Revised" License
9 stars 3 forks source link

Add type error tests #36

Open treeowl opened 4 years ago

treeowl commented 4 years ago

I don't know how to do this well, but it would be nice to add tests verifying that we get custom type errors when we expect to. I put a lot of work into those, and I'd like to be sure we notice any regressions.

chessai commented 4 years ago

is it possible we could do something like ghc's test suite, where we check stdout/stderr against what we expect?

treeowl commented 4 years ago

I'm sure we can. Someone needs to put together the scripts to do it and figure out how to get the sort of approximate matching we want.