summaryrefslogtreecommitdiff
path: root/src/elab_env.sml
Commit message (Expand)AuthorAge
* Refactor to do all matching on strings, more precise and fasterGravatar Simon Van Casteren2020-01-10
* Trial version of completing table fieldsGravatar Simon Van Casteren2019-12-13
* Added completion suggestions for typesGravatar Simon Van Casteren2019-12-13
* Added tracking of text of source files and autocompleteGravatar Simon Van Casteren2019-12-13
* Detect lambda abstractions over type classes as deserving of implicit-argumen...Gravatar Adam Chlipala2018-08-29
* Properly populate set of type classes when reusing a module from the type-inf...Gravatar Adam Chlipala2018-06-06
* Fix normalization of signatures that project signatures from other modules wi...Gravatar Adam Chlipala2017-03-31
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
* Fix tricky case of functor signature subsumptionGravatar Adam Chlipala2015-11-27
* After a tricky debugging session, limit visibility of type-class instances fr...Gravatar Adam Chlipala2015-11-01
* Move code from last changeset, to improve performanceGravatar Adam Chlipala2014-12-05
* In checking signature subsumption, be sure to try constraints last.Gravatar Adam Chlipala2014-12-04
* 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
* Remove misguided type class optimizationGravatar Adam Chlipala2012-07-26
* Allow type class instances with hypotheses via local ('let') definitionsGravatar Adam Chlipala2012-07-25
* More diagnostic information about some type class resolution failuresGravatar Adam Chlipala2012-05-04
* Add a new scoping check for unification variables, to fix a type inference bugGravatar Adam Chlipala2011-12-18
* Improved unification of record literals in type class resolutionGravatar Adam Chlipala2011-10-15
* Fix bug in projection of constructors from modules in class rules.Gravatar Karn Kallio2011-04-30
* Fix for projection of type class constructors in signatures.Gravatar Karn Kallio2011-04-25
* More hnorm during type class resolutionGravatar Adam Chlipala2010-12-02
* Hopeful fix for the Great Unification BugGravatar 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
* 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
* Initial conversion to arbitrary-kind classesGravatar Adam Chlipala2008-12-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 17:57:16 +0000