sql: CREATE INDEX on a prefix of column
[sqlgg.git] / _tags
blob2b19e37a5274171a7d92c5a40b5e4ca365491724
1 # OASIS_START
2 # OASIS_STOP
3 true: annot, warn(+A-e-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