Changelog for hssqlppp-0.0.10
environment
New environment data type with abstracted implementation, can now
process ddl in a script and type check against it. Some work on
variable scoping, and annotations. New commands: annotateSource (adds
some annotations for statements into the original source code as
comments), and checksource, which outputs type errors in emacs
friendly format.
annotated tree
The API and type checking code has had a major overhaul, now uses
annotations inline in the ast, has rudimentary haddock documentation,
and the API is starting to take shape. No significant progress on
actual parsing or typechecking since last release.
secondtypechecking
typechecks a fair amount of select statements, and does some type
checking of insert, update, delete and create statements. It can also
take a sql file and parse, type check, and spit it back out with type
checking information interspersed with the statements (but with the
formatting mangled and the comments stripped).
earlytypechecking
hasn't fixed the error messages, but can now type check some select
statements, it includes a command to read a sql file in, type check it
against a database, then pretty print the ast interspersed with the
inferred types of each statement in comments.
lexing
parses with a separate lexer, unfortunately the error messages have
gone wrong.
prealpha1
parses without a separate lexer and gives ok error messages