| Commit message (Expand) | Author | Age |
|---|
| * | Proper error message when the body of a 'val' declaration fails to check agai... |  Adam Chlipala | 2018-05-20 |
| * | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations |  Adam Chlipala | 2017-07-12 |
| * | Finish removing PWild; only load a library once, even if referenced multiple ... | Adam Chlipala | 2016-02-07 |
| * | Merge PVar and PWild, to get more reasonable type-class resolution | Adam Chlipala | 2016-02-07 |
| * | A simple eta rule for constructor-level tuples | Adam Chlipala | 2015-12-31 |
| * | Some bugs related to kind-checking tuples | Adam Chlipala | 2015-12-31 |
| * | Fix tricky case of functor signature subsumption | Adam Chlipala | 2015-11-27 |
| * | Make daemon mode support sharing of libraries across projects | Adam Chlipala | 2015-11-22 |
| * | After a tricky debugging session, limit visibility of type-class instances fr... | Adam Chlipala | 2015-11-01 |
| * | More Elaborate work to avoid instantiating unification variables with out-of-... | Adam Chlipala | 2015-10-24 |
| * | Proper error message for excessively fancy FFI signatures | Adam Chlipala | 2015-08-27 |
| * | 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 |
Adam Chlipala
Adam Chlipala