summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Collapse)AuthorAge
* Reusable column handlers for CrudGravatar Adam Chlipala2008-10-14
|
* 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 ↵Gravatar Adam Chlipala2008-08-21
| | | | support grouping
* 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
|