summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Expand)AuthorAge
* More generous wildification, covering map-recordsGravatar Adam Chlipala2010-06-13
* Undo fancy wildification; instead, client code should include extra wildcard ...Gravatar Adam Chlipala2010-06-03
* Try harder to place wildified 'con' declarations properlyGravatar Adam Chlipala2010-06-01
* Improve consNeq to detect unequal projected consGravatar Adam Chlipala2010-06-01
* Fix bug in module path generation with module roots; push wildification throu...Gravatar Adam Chlipala2010-05-27
* Tweaks to table signatures and MonoOpt summarizingGravatar Adam Chlipala2010-04-11
* Pushing policies throughGravatar Adam Chlipala2010-04-04
* Subquery expressionsGravatar Adam Chlipala2010-03-25
* Spiffed-up Split1; remove spurious error message triggered by 'open'ing a mod...Gravatar Adam Chlipala2010-03-09
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
* Fixing a bug in DInitializer elaborationGravatar Adam Chlipala2009-12-13
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* Better record summary error messages; more tweaking SQL usabilityGravatar Adam Chlipala2009-12-13
* Hint about disallowed attributesGravatar Adam Chlipala2009-11-25
* Start of DecisionGravatar Adam Chlipala2009-11-02
* Start of bidding implementation compilesGravatar Adam Chlipala2009-10-31
* Better subSgn error locationsGravatar Adam Chlipala2009-10-15
* Better location calculation for record unification error messages; infer kind...Gravatar Adam Chlipala2009-10-05
* Fix structure wildification to take concrete con decls into accountGravatar Adam Chlipala2009-08-25
* Fix type class resolution infinite loop, discovered while meeting with EzraGravatar Adam Chlipala2009-08-06
* Working on Grid; have gone from one dynamic table bizareness to anotherGravatar Adam Chlipala2009-07-19
* Fix a bug in type class enrichment from substructuresGravatar Adam Chlipala2009-06-16
* Fix MonoReduce unsoundness with lets and fnsGravatar Adam Chlipala2009-06-13
* Fix datatype import bug in Elaborate; fix server-side source setting; more st...Gravatar Adam Chlipala2009-06-07
* List library additions; fix another substructure unification bugGravatar Adam Chlipala2009-06-06
* Lexing some more string escape sequences; JS versions of number read; fix pro...Gravatar Adam Chlipala2009-06-02
* Tweak -- precedence; use right env for final exhaustiveness errorsGravatar Adam Chlipala2009-06-02
* Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo...Gravatar Adam Chlipala2009-06-02
* Expose resolveClass from ElaborateGravatar Adam Chlipala2009-05-31
* Defer pattern-matching exhaustiveness checks and normalize pattern types more...Gravatar Adam Chlipala2009-05-30
* Destructing local let, to the point where demo compilesGravatar Adam Chlipala2009-05-28
* fn-pattern code in but not tested yet; hello compilesGravatar Adam Chlipala2009-05-28
* Chars and more string operationsGravatar Adam Chlipala2009-05-26
* Switch to Maranget's pattern exhaustiveness algorithmGravatar Adam Chlipala2009-05-23
* Mutual datatypes through ElaborateGravatar Adam Chlipala2009-05-16
* cselect.onchangeGravatar Adam Chlipala2009-05-14
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-12
* outer demoGravatar Adam Chlipala2009-05-03
* 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
* hello compiles with CSSGravatar Adam Chlipala2009-04-12
* style declarationsGravatar Adam Chlipala2009-04-12
* Retry failed record summary unifications at the end, in hopes that more has b...Gravatar Adam Chlipala2009-04-09
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
* Get demo type-inferring againGravatar Adam Chlipala2009-04-07