fix typing for INSERT .. SELECT (closes #14)
[sqlgg.git] / _tags
blob6f659c6922a3b3ab4fe0c20be460e17aa9c3beb4
1 # OASIS_START
2 # OASIS_STOP
3 true: annot, warn(+A-e-40-41-42-44-45)
4 true: use_menhir
5 <src/*.ml> or <lib/*.ml> and not "lib/sql_parser.ml": syntax_camlp4o, pkg_deriving.syntax
6 <lib/sql_parser.ml>: -annot
7 <src/*.top>: pkg_deriving, pkg_extlib, pkg_unix
8 "example" or "demo" or "impl": -traverse