ANNOUNCE: hssqlppp, sql parser and type checker, pre-alpha

Hello all, I've started on a SQL parser and type checker, which I'm currently planning on evolving into a lint-type program for PL/pgSQL, called HsSqlPpp. It currently parses a subset of PostGreSQL SQL and PL/pgSQL, can type check some select, insert, update, delete and create statements, and is pretty rough all round at the moment. It uses Parsec and UUAGC, comes with a small HUnit test suite, and has a Cabal file. The code is on Launchpad here: https://launchpad.net/hssqlppp You can get a snapshot here: http://launchpad.net/hssqlppp/prealpha/secondtypechecking/+download/hssqlppp... More information in the readme: http://bazaar.launchpad.net/~jakewheat/hssqlppp/trunk/annotate/head%3A/READM... and brief the usage guide gives you an idea of what you can do with it right now: http://bazaar.launchpad.net/~jakewheat/hssqlppp/trunk/annotate/head%3A/usage I'm pretty new to Haskell, parsing, attribute grammars and type checking - any comments, advice, criticism welcome. Thanks, Jake Wheat

jakewheatmail:
Hello all,
I've started on a SQL parser and type checker, which I'm currently planning on evolving into a lint-type program for PL/pgSQL, called HsSqlPpp.
It currently parses a subset of PostGreSQL SQL and PL/pgSQL, can type check some select, insert, update, delete and create statements, and is pretty rough all round at the moment.
It uses Parsec and UUAGC, comes with a small HUnit test suite, and has a Cabal file.
The code is on Launchpad here: https://launchpad.net/hssqlppp
You can get a snapshot here: http://launchpad.net/hssqlppp/prealpha/secondtypechecking/+download/hssqlppp...
More information in the readme: http://bazaar.launchpad.net/~jakewheat/hssqlppp/trunk/annotate/head%3A/READM... and brief the usage guide gives you an idea of what you can do with it right now: http://bazaar.launchpad.net/~jakewheat/hssqlppp/trunk/annotate/head%3A/usage
I'm pretty new to Haskell, parsing, attribute grammars and type checking - any comments, advice, criticism welcome.
Will you be releasing it on Hackage? Bonus: if you do, it can be cabal-installed :) -- Don

Second the hackage suggestion.
`cabal unpack [package name]` is a really nice way to grab sources.
On Mon, Sep 14, 2009 at 1:59 PM, Don Stewart
jakewheatmail:
Hello all,
I've started on a SQL parser and type checker, which I'm currently planning on evolving into a lint-type program for PL/pgSQL, called HsSqlPpp.
It currently parses a subset of PostGreSQL SQL and PL/pgSQL, can type check some select, insert, update, delete and create statements, and is pretty rough all round at the moment.
It uses Parsec and UUAGC, comes with a small HUnit test suite, and has a Cabal file.
The code is on Launchpad here: https://launchpad.net/hssqlppp
You can get a snapshot here:
http://launchpad.net/hssqlppp/prealpha/secondtypechecking/+download/hssqlppp...
More information in the readme:
http://bazaar.launchpad.net/~jakewheat/hssqlppp/trunk/annotate/head%3A/READM...http://bazaar.launchpad.net/%7Ejakewheat/hssqlppp/trunk/annotate/head%3A/REA...
and brief the usage guide gives you an idea of what you can do with it right now:
http://bazaar.launchpad.net/~jakewheat/hssqlppp/trunk/annotate/head%3A/usagehttp://bazaar.launchpad.net/%7Ejakewheat/hssqlppp/trunk/annotate/head%3A/usa...
I'm pretty new to Haskell, parsing, attribute grammars and type checking - any comments, advice, criticism welcome.
Will you be releasing it on Hackage?
Bonus: if you do, it can be cabal-installed :)
-- Don _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

I've uploaded the code to Hackage, you can install it with:
cabal install hssqlppp
or you can get the source using
cabal unpack hssqlppp
2009/9/14 John Van Enk
Second the hackage suggestion.
`cabal unpack [package name]` is a really nice way to grab sources.
On Mon, Sep 14, 2009 at 1:59 PM, Don Stewart
wrote: Will you be releasing it on Hackage?
Bonus: if you do, it can be cabal-installed :)
-- Don
participants (3)
-
Don Stewart
-
Jake Wheat
-
John Van Enk