log

age author description
2008-08-28 Adam Chlipala Shorthand for multi-binding exp 'fn'
2008-08-28 Adam Chlipala Shorthand for multi-binding con declaration
2008-08-28 Adam Chlipala Shorthand for multi-binding con 'fn'
2008-08-28 Adam Chlipala Checking for well-formed 'val rec'
2008-08-28 Adam Chlipala Tested aggregate functions with GROUP BY
2008-08-28 Adam Chlipala More aggregate functions
2008-08-28 Adam Chlipala COUNT
2008-08-28 Adam Chlipala SELECTed expressions in ORDER BY
2008-08-28 Adam Chlipala SELECTing arbitrary expressions
2008-08-21 Adam Chlipala OFFSET
2008-08-21 Adam Chlipala LIMIT
2008-08-21 Adam Chlipala ORDER BY
2008-08-21 Adam Chlipala Relational operators; string literals for SQL
2008-08-21 Adam Chlipala Resolving lingering type class constraints
2008-08-21 Adam Chlipala GROUP BY and HAVING
2008-08-21 Adam Chlipala Basic GROUP BY
2008-08-21 Adam Chlipala Change [sql_field] type to get 'where' test to check again
2008-08-21 Adam Chlipala GROUP BY added to query type, with trivial parsing, for now
2008-08-21 Adam Chlipala Queries back to working as well as before, after start of refactoring to support grouping
2008-08-16 Adam Chlipala Integer and float constants in SQL
2008-08-16 Adam Chlipala Fields in SQL expressions
2008-08-16 Adam Chlipala SQL boolean operators
2008-08-16 Adam Chlipala SQL comparison operators
2008-08-16 Adam Chlipala Signature ascription for type classes
2008-08-16 Adam Chlipala Fun with type classes and modules
2008-08-16 Adam Chlipala Looking up in a type class from a module
2008-08-16 Adam Chlipala Compiling a con-tuple-using test case
2008-08-16 Adam Chlipala Corifying con-tuples
2008-08-16 Adam Chlipala Explifying type classes
2008-08-16 Adam Chlipala Testing type-class-parameterized functions
2008-08-16 Adam Chlipala Initial type class support
2008-08-16 Adam Chlipala Inferring sql_type's
2008-08-16 Adam Chlipala Stub WHERE support
2008-08-16 Adam Chlipala -timing option for command-line compiler
2008-08-14 Adam Chlipala Non-star SELECT
2008-08-14 Adam Chlipala Remove extraneous disjointness goal
2008-08-14 Adam Chlipala Elaborating 'SELECT *' queries
2008-08-14 Adam Chlipala Parsing the simplest SQL query
2008-08-14 Adam Chlipala Parsing and elaborating 'table'
2008-08-12 Adam Chlipala Finish moving all phases to the new interface
2008-08-12 Adam Chlipala Consolidating compiler phase interface and adding timing
2008-08-10 Adam Chlipala Urlifying records
2008-08-09 Adam Chlipala strings get 'Option' datatype handling; fix datatype unurlifying
2008-08-09 Adam Chlipala 'Option' datatype encoding
2008-08-09 Adam Chlipala Re-consistent-ify naming of union members
2008-08-09 Adam Chlipala Lists all the way through
2008-08-09 Adam Chlipala Tuples syntactic sugar
2008-08-09 Adam Chlipala A multi-parameter datatype all the way through
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-08-08 Adam Chlipala Parametrized datatypes through corify
2008-08-08 Adam Chlipala Parametrized datatypes through explify
2008-08-07 Adam Chlipala Checkboxes
2008-08-03 Adam Chlipala Update bool to follow datatype representation change
2008-08-03 Adam Chlipala Datatype representation optimization
2008-08-03 Adam Chlipala Mono_opt for urlifying bools
2008-08-03 Adam Chlipala bool in Basis
2008-08-03 Adam Chlipala FFI datatypes
2008-08-03 Adam Chlipala Push write inside case
2008-08-03 Adam Chlipala Optimizing 'case' in Mono_reduce
2008-08-03 Adam Chlipala Compiled pattern matching to C