log src/elaborate.sml

age author description
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