summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Expand)AuthorAge
* When unifying constructor-level unification variables, also unify their kindsGravatar Adam Chlipala2014-08-01
* Retweak the last tweak to allow type inference to succeed in a strict superse...Gravatar Adam Chlipala2014-07-29
* Small tweak to ordering of unification rules, to support better record matchingGravatar Adam Chlipala2014-07-29
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
* Monadic bind supports patternsGravatar Adam Chlipala2014-05-02
* Tweaked parameter renaming for functors, so now demos and the original bug-tr...Gravatar Adam Chlipala2014-02-20
* Some more nested functor bug-fixing, including generating fresh internal name...Gravatar Adam Chlipala2014-02-20
* Fix a subtle renaming problem in elaborating functor applicationsGravatar Adam Chlipala2014-02-14
* Add another simple case for record unification between alpha-equivalent const...Gravatar Adam Chlipala2014-01-29
* Sneaky still-in-today's-release update of 'table' signature item handlingGravatar Adam Chlipala2013-11-24
* Interpret 'table' signature items more flexibly, automatically adding (Ur) co...Gravatar Adam Chlipala2013-11-04
* Save disjointness environments across top-level declarationsGravatar Adam Chlipala2013-10-17
* Get -root working properly againGravatar Adam Chlipala2013-09-26
* Potentially exponential search through where to head-normalize in [decompileCon]Gravatar Adam Chlipala2013-08-19
* 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
* Implicit records of foldersGravatar Adam Chlipala2012-05-17
* -dumpTypesOnErrorGravatar Adam Chlipala2012-05-05
* Send daemon output to calling processGravatar Adam Chlipala2012-05-05
* More diagnostic information about some type class resolution failuresGravatar Adam Chlipala2012-05-04
* Catch duplicate top-level module names; fix dropping of constraints during in...Gravatar Adam Chlipala2012-05-03
* Don't modify the module cache after elaboration failuresGravatar Adam Chlipala2012-05-02
* Better discovery of type class instances from recursive definitionsGravatar Adam Chlipala2012-05-02
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
* -unifyMoreGravatar Adam Chlipala2012-04-22
* Saving proper environments, to use in displaying nested error messagesGravatar Adam Chlipala2012-04-21
* Avoid kindof failures in elaborationGravatar Adam Chlipala2012-04-21
* Simplify types for printing with '-dumpTypes'Gravatar Adam Chlipala2012-04-16
* Prevent horrifying loops in unification variable graphGravatar Adam Chlipala2012-01-09
* Make wildification a bit smarter about ordering of new wildcard declarationsGravatar Adam Chlipala2012-01-07
* Revert last unification tweakGravatar Adam Chlipala2012-01-06
* Tweak new unification heuristicGravatar Adam Chlipala2012-01-05
* Prevent unifications of 'others' pieces in record summaries, when both pieces...Gravatar Adam Chlipala2012-01-05
* Order constructors properly in wildification, to avoid spuriously displeasing...Gravatar Adam Chlipala2011-12-18
* Add a new scoping check for unification variables, to fix a type inference bugGravatar Adam Chlipala2011-12-18
* Nicer record summary error messagesGravatar Adam Chlipala2011-12-03
* Tweaks to choices of source positions to use in error messages, including for...Gravatar Adam Chlipala2011-11-05
* Strengthen consNeq, to avoid unwise unificationsGravatar Adam Chlipala2011-11-05
* Fix confusing error message when record unification fails because enclosed ty...Gravatar Adam Chlipala2011-11-05
* Remove debug printGravatar Adam Chlipala2011-11-02
* Handle application in decompileConGravatar Adam Chlipala2011-11-02
* Shorter, more focused error messages about undetermined unification variablesGravatar Adam Chlipala2011-10-29
* Clear reducedSummariesGravatar Adam Chlipala2011-10-28
* Harmonize have/need terminology in error messages; display canceled record su...Gravatar Adam Chlipala2011-10-27
* Catch UnboundNamed exceptions that arise from missing signature itemsGravatar Adam Chlipala2011-10-21
* Change error message display order: only show disjointness/type class failure...Gravatar Adam Chlipala2011-10-15
* Fix wildification for signatures with synonymsGravatar Adam Chlipala2011-10-08
* Better detection of type class witnesses in local bindingsGravatar Adam Chlipala2011-09-03
* '-dumpTypes'Gravatar Adam Chlipala2011-08-07