| Commit message (Expand) | Author | Age |
|---|
| * | Improve wildification for records of type-class witnesses |  Adam Chlipala | 2015-01-28 |
| * | Fixing one small issue with changes to signature matching (grandfathered into... | Adam Chlipala | 2015-01-03 |
| * | Fix a bug in subsignature checking for submodules | Adam Chlipala | 2014-12-30 |
| * | Improve wildify heuristic for finding record type-class witnesses | Adam Chlipala | 2014-12-23 |
| * | Another try at a proper fix for constraint matching in subsignature checking | Adam Chlipala | 2014-12-23 |
| * | Move code from last changeset, to improve performance | Adam Chlipala | 2014-12-05 |
| * | When unifying constructor-level unification variables, also unify their kinds | Adam Chlipala | 2014-08-01 |
| * | Retweak the last tweak to allow type inference to succeed in a strict superse... | Adam Chlipala | 2014-07-29 |
| * | Small tweak to ordering of unification rules, to support better record matching | Adam Chlipala | 2014-07-29 |
| * | New lessSafeFfi | Adam Chlipala | 2014-05-02 |
| * | Monadic bind supports patterns | Adam Chlipala | 2014-05-02 |
| * | Tweaked parameter renaming for functors, so now demos and the original bug-tr... | Adam Chlipala | 2014-02-20 |
| * | Some more nested functor bug-fixing, including generating fresh internal name... | Adam Chlipala | 2014-02-20 |
| * | Fix a subtle renaming problem in elaborating functor applications | Adam Chlipala | 2014-02-14 |
| * | Add another simple case for record unification between alpha-equivalent const... | Adam Chlipala | 2014-01-29 |
| * | Sneaky still-in-today's-release update of 'table' signature item handling | Adam Chlipala | 2013-11-24 |
| * | Interpret 'table' signature items more flexibly, automatically adding (Ur) co... | Adam Chlipala | 2013-11-04 |
| * | Save disjointness environments across top-level declarations | Adam Chlipala | 2013-10-17 |
| * | Get -root working properly again | Adam Chlipala | 2013-09-26 |
| * | Potentially exponential search through where to head-normalize in [decompileCon] | Adam Chlipala | 2013-08-19 |
| * | Allow [where con] to descend within submodule structure; open submodule const... | Adam Chlipala | 2013-08-19 |
| * | Remove 'class' declaration; now use 'con' instead | Adam Chlipala | 2012-07-29 |
| * | Implicit records of folders | Adam Chlipala | 2012-05-17 |
| * | -dumpTypesOnError | Adam Chlipala | 2012-05-05 |
| * | Send daemon output to calling process | Adam Chlipala | 2012-05-05 |
| * | More diagnostic information about some type class resolution failures | Adam Chlipala | 2012-05-04 |
| * | Catch duplicate top-level module names; fix dropping of constraints during in... | Adam Chlipala | 2012-05-03 |
| * | Don't modify the module cache after elaboration failures | Adam Chlipala | 2012-05-02 |
| * | Better discovery of type class instances from recursive definitions | Adam Chlipala | 2012-05-02 |
| * | 'urweb daemon start' and 'urweb daemon stop' | Adam Chlipala | 2012-04-29 |
| * | Initial support for reusing elaboration results | Adam Chlipala | 2012-04-29 |
| * | -unifyMore | Adam Chlipala | 2012-04-22 |
| * | Saving proper environments, to use in displaying nested error messages | Adam Chlipala | 2012-04-21 |
| * | Avoid kindof failures in elaboration | Adam Chlipala | 2012-04-21 |
| * | Simplify types for printing with '-dumpTypes' | Adam Chlipala | 2012-04-16 |
| * | Prevent horrifying loops in unification variable graph | Adam Chlipala | 2012-01-09 |
| * | Make wildification a bit smarter about ordering of new wildcard declarations | Adam Chlipala | 2012-01-07 |
| * | Revert last unification tweak | Adam Chlipala | 2012-01-06 |
| * | Tweak new unification heuristic | Adam Chlipala | 2012-01-05 |
| * | Prevent unifications of 'others' pieces in record summaries, when both pieces... | Adam Chlipala | 2012-01-05 |
| * | Order constructors properly in wildification, to avoid spuriously displeasing... | Adam Chlipala | 2011-12-18 |
| * | Add a new scoping check for unification variables, to fix a type inference bug | Adam Chlipala | 2011-12-18 |
| * | Nicer record summary error messages | Adam Chlipala | 2011-12-03 |
| * | Tweaks to choices of source positions to use in error messages, including for... | Adam Chlipala | 2011-11-05 |
| * | Strengthen consNeq, to avoid unwise unifications | Adam Chlipala | 2011-11-05 |
| * | Fix confusing error message when record unification fails because enclosed ty... | Adam Chlipala | 2011-11-05 |
| * | Remove debug print | Adam Chlipala | 2011-11-02 |
| * | Handle application in decompileCon | Adam Chlipala | 2011-11-02 |
| * | Shorter, more focused error messages about undetermined unification variables | Adam Chlipala | 2011-10-29 |
| * | Clear reducedSummaries | Adam Chlipala | 2011-10-28 |
Adam Chlipala