summaryrefslogtreecommitdiff
path: root/src/explify.sml
Commit message (Expand)AuthorAge
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
* 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
* Add a new scoping check for unification variables, to fix a type inference bugGravatar Adam Chlipala2011-12-18
* 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
* Pushing policies throughGravatar Adam Chlipala2010-04-04
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* Destructing local let, to the point where demo compilesGravatar Adam Chlipala2009-05-28
* Mutual datatypes through CorifyGravatar Adam Chlipala2009-05-16
* Mutual datatypes through ElaborateGravatar Adam Chlipala2009-05-16
* 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
* 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
* Kind polymorphism through ExplifyGravatar Adam Chlipala2009-02-22
* 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
* Explify '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
* 'database' declaration threaded through compilerGravatar Adam Chlipala2008-09-02
* Explify tablesGravatar Adam Chlipala2008-08-31
* Resolving lingering type class constraintsGravatar Adam Chlipala2008-08-21
* Explifying type classesGravatar Adam Chlipala2008-08-16
* Initial type class supportGravatar Adam Chlipala2008-08-16
* -timing option for command-line compilerGravatar Adam Chlipala2008-08-16
* Parsing and elaborating 'table'Gravatar Adam Chlipala2008-08-14
* 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 some basic pattern matchingGravatar Adam Chlipala2008-07-31
* Add datatype import constructor annotations; datatypes through explifyGravatar Adam Chlipala2008-07-29
* Start of datatype supportGravatar Adam Chlipala2008-07-24
* Record cutGravatar Adam Chlipala2008-07-24
* Explifying (non-mutual) 'val rec'Gravatar Adam Chlipala2008-07-17