debug cmdline option for type inferrer
commite8ffc385bb93ad052d80d0d89e164d07fc453946
authorygrek <none>
Mon, 10 Aug 2009 07:04:21 +0000 (10 10:04 +0300)
committerygrek <none>
Mon, 10 Aug 2009 07:04:21 +0000 (10 10:04 +0300)
treee199293b88992915398e8859a5d830eaffce8349
parentf8873c38a261e24b4d2293b62adbc7b7051aa3f8
debug cmdline option for type inferrer
src/config.ml
src/sqlgg.ml
src/syntax.ml