| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | Harmonize have/need terminology in error messages; display canceled record su... | Adam Chlipala | 2011-10-27 |
| * | Catch UnboundNamed exceptions that arise from missing signature items | Adam Chlipala | 2011-10-21 |
| * | Change error message display order: only show disjointness/type class failure... | Adam Chlipala | 2011-10-15 |
| * | Fix wildification for signatures with synonyms | Adam Chlipala | 2011-10-08 |
| * | Better detection of type class witnesses in local bindings | Adam Chlipala | 2011-09-03 |
| * | '-dumpTypes' | Adam Chlipala | 2011-08-07 |
| * | Better wildification, avoiding some unintentional variable capture | Adam Chlipala | 2011-08-06 |
| * | Fix opening of shadowing, principal-signatured modules that open other modules | Adam Chlipala | 2011-08-04 |
| * | Implicit argument insertion for local variables | Adam Chlipala | 2011-06-14 |
| * | Some fixes for tasks and onError handlers | Adam Chlipala | 2011-01-20 |
| * | Fix type-checking of views to match change to sql_query type | Adam Chlipala | 2011-01-15 |
| * | Handle opening of modules that define signatures | Adam Chlipala | 2011-01-06 |
| * | Recursive record unification errors, for more detail | Adam Chlipala | 2010-12-23 |
| * | Implement constrained type kinding properly; bump mono inline threshhold | Adam Chlipala | 2010-12-20 |
| * | Change tasks to support parametric code; add clientLeaves | Adam Chlipala | 2010-12-18 |
| * | postBody type | Adam Chlipala | 2010-12-18 |
| * | Restore behavior of not complaining about undetermined unification variables ... | Adam Chlipala | 2010-12-16 |
| * | Fiddly tweaks | Adam Chlipala | 2010-12-16 |
| * | Smarter record unification | Adam Chlipala | 2010-12-15 |
| * | Instantiate any Unit unification variables that remain after elaboration | Adam Chlipala | 2010-12-02 |
| * | More hnormKind for isUnitCon | Adam Chlipala | 2010-11-13 |
| * | Smarter handling of unification variables for 'kindof' on projections | Adam Chlipala | 2010-10-19 |
| * | :::_ notation; switch to TooDeep error message | Adam Chlipala | 2010-10-10 |
| * | Fix infinite looping bug in Great Unification Fix | Adam Chlipala | 2010-10-10 |
| * | Tweaking unification fix to apply to demo/more | Adam Chlipala | 2010-10-10 |
| * | Hopeful fix for the Great Unification Bug | Adam Chlipala | 2010-10-10 |
| * | Flex kinds for type-level tuples; ::_ notation | Adam Chlipala | 2010-10-10 |
| * | Fix typing of cut operators; fix lexing of XML comments | Adam Chlipala | 2010-09-16 |
| * | Server-side 'onError' | Adam Chlipala | 2010-09-07 |
| * | More generous wildification, covering map-records |  Adam Chlipala | 2010-06-13 |
| * | Undo fancy wildification; instead, client code should include extra wildcard ... | Adam Chlipala | 2010-06-03 |
| * | Try harder to place wildified 'con' declarations properly | Adam Chlipala | 2010-06-01 |
| * | Improve consNeq to detect unequal projected cons | Adam Chlipala | 2010-06-01 |
| * | Fix bug in module path generation with module roots; push wildification throu... | Adam Chlipala | 2010-05-27 |
| * | Tweaks to table signatures and MonoOpt summarizing | Adam Chlipala | 2010-04-11 |
Adam Chlipala
Adam Chlipala