[Haskell-cafe] What is the state of the art in testing code generation?

[Tom Ellis]

On Fri, Jul 11, 2014 at 09:33:42PM +0100, João Cristóvão wrote:
> I'm not sure if this is related and/or applicable, but you didn't seem
> to mention:
> 
> https://hackage.haskell.org/package/hssqlppp
> 
> Its a SQL parser/checker.

It seems to take the same ad hoc approach:

* https://github.com/JakeWheat/hssqlppp/tree/master/hssqlppp/tests/Database/HsSqlPpp/Tests/Parsing
* https://github.com/JakeWheat/hssqlppp/tree/master/hssqlppp/tests/Database/HsSqlPpp/Tests/TypeChecking

Tom