2012-07-29 |
Adam Chlipala |
Remove 'class' declaration; now use 'con' instead |
2012-05-17 |
Adam Chlipala |
Implicit records of folders |
2012-05-05 |
Adam Chlipala |
-dumpTypesOnError |
2012-05-05 |
Adam Chlipala |
Send daemon output to calling process |
2012-05-04 |
Adam Chlipala |
More diagnostic information about some type class resolution failures |
2012-05-03 |
Adam Chlipala |
Catch duplicate top-level module names; fix dropping of constraints during incremental elaboration; document treatment of record types as type class instance types |
2012-05-02 |
Adam Chlipala |
Don't modify the module cache after elaboration failures |
2012-05-02 |
Adam Chlipala |
Better discovery of type class instances from recursive definitions |
2012-04-29 |
Adam Chlipala |
'urweb daemon start' and 'urweb daemon stop' |
2012-04-29 |
Adam Chlipala |
Initial support for reusing elaboration results |
2012-04-22 |
Adam Chlipala |
-unifyMore |
2012-04-21 |
Adam Chlipala |
Saving proper environments, to use in displaying nested error messages |
2012-04-21 |
Adam Chlipala |
Avoid kindof failures in elaboration |
2012-04-16 |
Adam Chlipala |
Simplify types for printing with '-dumpTypes' |
2012-01-09 |
Adam Chlipala |
Prevent horrifying loops in unification variable graph |
2012-01-07 |
Adam Chlipala |
Make wildification a bit smarter about ordering of new wildcard declarations |
2012-01-06 |
Adam Chlipala |
Revert last unification tweak |
2012-01-06 |
Adam Chlipala |
Tweak new unification heuristic |
2012-01-05 |
Adam Chlipala |
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications) |
2011-12-18 |
Adam Chlipala |
Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check |
2011-12-18 |
Adam Chlipala |
Add a new scoping check for unification variables, to fix a type inference bug |
2011-12-03 |
Adam Chlipala |
Nicer record summary error messages |
2011-11-05 |
Adam Chlipala |
Tweaks to choices of source positions to use in error messages, including for subSgn |
2011-11-05 |
Adam Chlipala |
Strengthen consNeq, to avoid unwise unifications |
2011-11-05 |
Adam Chlipala |
Fix confusing error message when record unification fails because enclosed types are incompatible |
2011-11-02 |
Adam Chlipala |
Remove debug print |
2011-11-02 |
Adam Chlipala |
Handle application in decompileCon |
2011-10-29 |
Adam Chlipala |
Shorter, more focused error messages about undetermined unification variables |
2011-10-28 |
Adam Chlipala |
Clear reducedSummaries |
2011-10-27 |
Adam Chlipala |
Harmonize have/need terminology in error messages; display canceled record summaries on errors |
2011-10-21 |
Adam Chlipala |
Catch UnboundNamed exceptions that arise from missing signature items |
2011-10-15 |
Adam Chlipala |
Change error message display order: only show disjointness/type class failures if all record unifications succeeded |
2011-10-08 |
Adam Chlipala |
Fix wildification for signatures with synonyms |
2011-09-03 |
Adam Chlipala |
Better detection of type class witnesses in local bindings |
2011-08-07 |
Adam Chlipala |
'-dumpTypes' |
2011-08-06 |
Adam Chlipala |
Better wildification, avoiding some unintentional variable capture |
2011-08-04 |
Adam Chlipala |
Fix opening of shadowing, principal-signatured modules that open other modules |
2011-06-14 |
Adam Chlipala |
Implicit argument insertion for local variables |
2011-01-20 |
Adam Chlipala |
Some fixes for tasks and onError handlers |
2011-01-15 |
Adam Chlipala |
Fix type-checking of views to match change to sql_query type |
2011-01-07 |
Adam Chlipala |
Handle opening of modules that define signatures |
2010-12-23 |
Adam Chlipala |
Recursive record unification errors, for more detail |
2010-12-20 |
Adam Chlipala |
Implement constrained type kinding properly; bump mono inline threshhold |
2010-12-18 |
Adam Chlipala |
Change tasks to support parametric code; add clientLeaves |
2010-12-18 |
Adam Chlipala |
postBody type |
2010-12-16 |
Adam Chlipala |
Restore behavior of not complaining about undetermined unification variables when there are other errors |
2010-12-16 |
Adam Chlipala |
Fiddly tweaks |
2010-12-15 |
Adam Chlipala |
Smarter record unification |
2010-12-02 |
Adam Chlipala |
Instantiate any Unit unification variables that remain after elaboration |
2010-11-13 |
Adam Chlipala |
More hnormKind for isUnitCon |
2010-10-19 |
Adam Chlipala |
Smarter handling of unification variables for 'kindof' on projections |
2010-10-11 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
2010-10-10 |
Adam Chlipala |
Fix infinite looping bug in Great Unification Fix |
2010-10-10 |
Adam Chlipala |
Tweaking unification fix to apply to demo/more |
2010-10-10 |
Adam Chlipala |
Hopeful fix for the Great Unification Bug |
2010-10-10 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
2010-09-16 |
Adam Chlipala |
Fix typing of cut operators; fix lexing of XML comments |
2010-09-07 |
Adam Chlipala |
Server-side 'onError' |
2010-06-13 |
Adam Chlipala |
More generous wildification, covering map-records |
2010-06-03 |
Adam Chlipala |
Undo fancy wildification; instead, client code should include extra wildcard con declarations |