summaryrefslogtreecommitdiff
path: root/src/elab_env.sml
Commit message (Collapse)AuthorAge
* Some serious bug-fix work to get HTML example to compile; this includes ↵Gravatar Adam Chlipala2010-06-03
| | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
* Pushing policies throughGravatar Adam Chlipala2010-04-04
|
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* Recursive hnormSgn for projections of signatures from modulesGravatar Adam Chlipala2009-12-05
|
* Fix type class resolution infinite loop, discovered while meeting with EzraGravatar Adam Chlipala2009-08-06
|
* Fix a bug in type class enrichment from substructuresGravatar Adam Chlipala2009-06-16
|
* Destructing local let, to the point where demo compilesGravatar Adam Chlipala2009-05-28
|
* Mutual datatypes through ElaborateGravatar Adam Chlipala2009-05-16
|
* A view query worksGravatar Adam Chlipala2009-04-28
|
* Preparing to allow views in SELECT FROM clausesGravatar Adam Chlipala2009-04-28
|
* LEFT JOINGravatar Adam Chlipala2009-04-28
|
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
|
* 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
|
* Expunging nullable fieldsGravatar Adam Chlipala2009-03-29
|
* Enforce termination of type class instancesGravatar Adam Chlipala2009-03-26
|
* Type class inclusionsGravatar Adam Chlipala2009-03-26
|
* Type class reductions, but no inclusions yetGravatar Adam Chlipala2009-03-26
|
* Start of kind polymorphism, up to the point where demo/hello elaborates with ↵Gravatar Adam Chlipala2009-02-22
| | | | updated Basis/Top
* Initial conversion to arbitrary-kind classesGravatar Adam Chlipala2008-12-19
|
* Catch another unneeded lift in ElabEnv.pushCRelGravatar Adam Chlipala2008-11-27
|
* Remove unnecessary lifts in ElabEnv.pushCRelGravatar Adam Chlipala2008-11-27
|
* Tree demo working (and other assorted regressions fixed)Gravatar Adam Chlipala2008-11-06
|
* Inserted a NULL valueGravatar Adam Chlipala2008-11-06
|
* Cookies through explifyGravatar Adam Chlipala2008-11-06
|
* Cookies through elaborateGravatar Adam Chlipala2008-11-06
|
* Fix some type-class detectionGravatar Adam Chlipala2008-11-01
|
* First Unnest tests workingGravatar Adam Chlipala2008-11-01
|
* Elaborating 'let'Gravatar Adam Chlipala2008-11-01
|
* Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵Gravatar Adam Chlipala2008-10-23
| | | | prose
* New implicit argument handlingGravatar Adam Chlipala2008-10-21
|
* Crud update formGravatar Adam Chlipala2008-09-14
|
* SQL sequencesGravatar Adam Chlipala2008-09-14
|
* Fixed a mind-numbing De Bruijn bugGravatar Adam Chlipala2008-09-11
|
* pquery working with all four types of columnsGravatar Adam Chlipala2008-09-07
|
* 'database' declaration threaded through compilerGravatar Adam Chlipala2008-09-02
|
* Transactions and queries, at source levelGravatar Adam Chlipala2008-08-28
|
* Resolving lingering type class constraintsGravatar Adam Chlipala2008-08-21
|
* 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
|
* Elaborating 'SELECT *' queriesGravatar Adam Chlipala2008-08-14
|
* Parsing and elaborating 'table'Gravatar Adam Chlipala2008-08-14
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 23:36:44 +0000