The attached patch updates DBDirect and adds some nice features:
* The -fcontext-stack flag now works with OPTIONS_GHC at the top, so
I re-enabled it.
* The type for tables generated (e.g. type TblOne = Table (RecCons
... )) made it hard to reuse the type in other contexts (e.g., your
own type signatures on queries). I removed the "Table" portion from
the type and added it to the table declaration function. An example is
type Options_tbl = (RecCons Pk (Expr Int) (RecCons ... RecNil) ... )
options_tbl :: Table Options_tbl
options = baseTable ...
Let me know how the patch looks. I can provide more motiviation for
the Table change if needed.