summaryrefslogtreecommitdiff
path: root/src/elab_util.sml
Commit message (Expand)AuthorAge
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
* Add a new scoping check for unification variables, to fix a type inference bugGravatar Adam Chlipala2011-12-18
* Shorter, more focused error messages about undetermined unification variablesGravatar Adam Chlipala2011-10-29
* Fiddly tweaksGravatar Adam Chlipala2010-12-16
* Hopeful fix for the Great Unification BugGravatar Adam Chlipala2010-10-10
* Flex kinds for type-level tuples; ::_ notationGravatar Adam Chlipala2010-10-10
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
* Some serious bug-fix work to get HTML example to compile; this includes fixin...Gravatar Adam Chlipala2010-06-03
* Pushing policies throughGravatar Adam Chlipala2010-04-04
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* List library additions; fix another substructure unification bugGravatar Adam Chlipala2009-06-06
* Fix EDLet elab_util bugGravatar Adam Chlipala2009-05-28
* Destructing local let, to the point where demo compilesGravatar Adam Chlipala2009-05-28
* Mutual datatypes through ElaborateGravatar Adam Chlipala2009-05-16
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-12
* A view query worksGravatar Adam Chlipala2009-04-28
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
* style declarationsGravatar Adam Chlipala2009-04-12
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
* Switch to TDisjoint from CDisjoint; still need to implement obligation genera...Gravatar Adam Chlipala2009-02-24
* Start of kind polymorphism, up to the point where demo/hello elaborates with ...Gravatar Adam Chlipala2009-02-22
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
* Initial conversion to arbitrary-kind classesGravatar Adam Chlipala2008-12-19
* Add CutMultiGravatar Adam Chlipala2008-11-11
* Cookies through explifyGravatar Adam Chlipala2008-11-06
* Cookies through elaborateGravatar Adam Chlipala2008-11-06
* Almost have that nested save function compilingGravatar Adam Chlipala2008-11-01
* First Unnest tests workingGravatar Adam Chlipala2008-11-01
* Elaborating 'let'Gravatar Adam Chlipala2008-11-01
* Replace 'with' with '++'Gravatar Adam Chlipala2008-10-31
* Merge CDisjoint and TDisjointGravatar Adam Chlipala2008-10-04
* Crud supports INSERTGravatar Adam Chlipala2008-09-14
* SQL sequencesGravatar Adam Chlipala2008-09-14
* queryXGravatar Adam Chlipala2008-09-13
* foldTR2Gravatar Adam Chlipala2008-09-13
* 'database' declaration threaded through compilerGravatar Adam Chlipala2008-09-02
* Resolving lingering type class constraintsGravatar Adam Chlipala2008-08-21
* Explifying type classesGravatar Adam Chlipala2008-08-16
* Initial type class supportGravatar Adam Chlipala2008-08-16
* Non-star SELECTGravatar Adam Chlipala2008-08-14
* Elaborating 'SELECT *' queriesGravatar Adam Chlipala2008-08-14
* Parsing and elaborating 'table'Gravatar Adam Chlipala2008-08-14
* 'Option' datatype encodingGravatar 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