summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Expand)AuthorAge
* Datatype positivity checkGravatar Adam Chlipala2008-09-09
* intToStringGravatar Adam Chlipala2008-09-07
* Compiling a parametrized query the inefficient wayGravatar Adam Chlipala2008-09-02
* 'database' declaration threaded through compilerGravatar Adam Chlipala2008-09-02
* 'eq' type classGravatar Adam Chlipala2008-08-31
* Monoized GROUP BYGravatar Adam Chlipala2008-08-31
* Corify transaction wrappersGravatar Adam Chlipala2008-08-31
* Transactions and queries, at source levelGravatar Adam Chlipala2008-08-28
* Checking for well-formed 'val rec'Gravatar Adam Chlipala2008-08-28
* SELECTing arbitrary expressionsGravatar Adam Chlipala2008-08-28
* Resolving lingering type class constraintsGravatar Adam Chlipala2008-08-21
* Queries back to working as well as before, after start of refactoring to supp...Gravatar Adam Chlipala2008-08-21
* SQL boolean operatorsGravatar Adam Chlipala2008-08-16
* Signature ascription for type classesGravatar Adam Chlipala2008-08-16
* Fun with type classes and modulesGravatar Adam Chlipala2008-08-16
* Looking up in a type class from a moduleGravatar Adam Chlipala2008-08-16
* Explifying type classesGravatar Adam Chlipala2008-08-16
* Initial type class supportGravatar Adam Chlipala2008-08-16
* Inferring sql_type'sGravatar Adam Chlipala2008-08-16
* Stub WHERE supportGravatar Adam Chlipala2008-08-16
* Non-star SELECTGravatar Adam Chlipala2008-08-14
* Remove extraneous disjointness goalGravatar Adam Chlipala2008-08-14
* Elaborating 'SELECT *' queriesGravatar Adam Chlipala2008-08-14
* Parsing and elaborating 'table'Gravatar Adam Chlipala2008-08-14
* A multi-parameter datatype all the way throughGravatar Adam Chlipala2008-08-09
* Parametrized datatypes through explifyGravatar Adam Chlipala2008-08-08
* Datatype representation optimizationGravatar Adam Chlipala2008-08-03
* Compiled pattern matching to CGravatar Adam Chlipala2008-08-03
* Case through explifyGravatar Adam Chlipala2008-07-31
* Elaborating record patternsGravatar Adam Chlipala2008-07-31
* Elaborating module constructor patterns; parsing record patternsGravatar Adam Chlipala2008-07-31
* Patterns for int and string constantsGravatar Adam Chlipala2008-07-31
* Pattern match coverage checkingGravatar Adam Chlipala2008-07-31
* Elaborating some basic pattern matchingGravatar Adam Chlipala2008-07-31
* Parsing basic patternsGravatar Adam Chlipala2008-07-29
* Add datatype import constructor annotations; datatypes through explifyGravatar Adam Chlipala2008-07-29
* Normalize datatype choice during SgiDatatypeImp elaborationGravatar Adam Chlipala2008-07-24
* Datatype import signature-matches abstract datatypeGravatar Adam Chlipala2008-07-24
* Abstracting datatypes with signature ascriptionGravatar Adam Chlipala2008-07-24
* More datatype module stuffGravatar Adam Chlipala2008-07-24
* Basic datatype importing worksGravatar Adam Chlipala2008-07-24
* Start of datatype supportGravatar Adam Chlipala2008-07-24
* radio and radioOptionGravatar Adam Chlipala2008-07-24
* textareaGravatar Adam Chlipala2008-07-24
* Record cutGravatar Adam Chlipala2008-07-24
* Meta-programming formsGravatar Adam Chlipala2008-07-22
* Fix opening and corifying of functorsGravatar Adam Chlipala2008-07-22
* Initial form supportGravatar Adam Chlipala2008-07-20
* A simpler context encodingGravatar Adam Chlipala2008-07-20
* Form binding parameters threaded throughGravatar Adam Chlipala2008-07-20