[Haskell-cafe] is there a way to run tests at compile time using TH

[Alex Jacobson]

I'd like to have code not compile if it doesn't pass the tests.

Is there a way to use TH to generate compiler errors if the tests don't 
pass?

-Alex-