summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Expand)AuthorAge
* Expand cases where expression wildcards are allowedGravatar Adam Chlipala2008-10-04
* Improved inference of records of tuplesGravatar Adam Chlipala2008-10-04
* Merge CDisjoint and TDisjointGravatar Adam Chlipala2008-10-04
* Crud update formGravatar Adam Chlipala2008-09-14
* Crud supports INSERTGravatar Adam Chlipala2008-09-14
* SQL sequencesGravatar Adam Chlipala2008-09-14
* queryXGravatar Adam Chlipala2008-09-13
* foldTR2Gravatar Adam Chlipala2008-09-13
* Fixed a mind-numbing De Bruijn bugGravatar Adam Chlipala2008-09-11
* Fix bug in subsignature check for con synonymsGravatar Adam Chlipala2008-09-11
* Crud list worksGravatar Adam Chlipala2008-09-11
* Crud listing IDsGravatar Adam Chlipala2008-09-11
* 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