summaryrefslogtreecommitdiff
path: root/src/elab_util.sml
Commit message (Expand)AuthorAge
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
* Unnest properly in presence of kind polymorphismGravatar Adam Chlipala2015-12-20
* After a tricky debugging session, limit visibility of type-class instances fr...Gravatar Adam Chlipala2015-11-01
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
* Allow [where con] to descend within submodule structure; open submodule const...Gravatar Adam Chlipala2013-08-19
* Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
* Allow type class instances with hypotheses via local ('let') definitionsGravatar Adam Chlipala2012-07-25
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 10:38:44 +0000