[Haskell-cafe] What is the state of the art in testing code generation?
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Fri Jul 11 17:58:54 UTC 2014
I am implementing an EDSL that compiles to SQL and I am wondering what is
the state of the art in testing code generation.
All the Haskell libraries I could find that deal with SQL generation are
tested by implementing multiple one-off adhoc queries and checking that when
either compiled to SQL or run against a database they give the expected,
I couldn't find any tests for groundhog.
Is this the best we can do in Haskell? Certainly it seems hard to use a
QuickCheck/SmallCheck approach for this purpose. Is there any way this kind
of testing can be automated or made more robust?
More information about the Haskell-Cafe