summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Collapse)AuthorAge
* Sneaky still-in-today's-release update of 'table' signature item handlingGravatar Adam Chlipala2013-11-24
|
* Interpret 'table' signature items more flexibly, automatically adding (Ur) ↵Gravatar Adam Chlipala2013-11-04
| | | | constraints to support a kind of subtyping over (SQL) constraint sets
* Save disjointness environments across top-level declarationsGravatar Adam Chlipala2013-10-17
|
* Get -root working properly againGravatar Adam Chlipala2013-09-26
|
* Potentially exponential search through where to head-normalize in [decompileCon]Gravatar Adam Chlipala2013-08-19
|
* Allow [where con] to descend within submodule structure; open submodule ↵Gravatar Adam Chlipala2013-08-19
| | | | constraints while checking later signature items
* Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
|
* Implicit records of foldersGravatar Adam Chlipala2012-05-17
|
* -dumpTypesOnErrorGravatar Adam Chlipala2012-05-05
|
* Send daemon output to calling processGravatar Adam Chlipala2012-05-05
|
* More diagnostic information about some type class resolution failuresGravatar Adam Chlipala2012-05-04
|
* Catch duplicate top-level module names; fix dropping of constraints during ↵Gravatar Adam Chlipala2012-05-03
| | | | incremental elaboration; document treatment of record types as type class instance types
* Don't modify the module cache after elaboration failuresGravatar Adam Chlipala2012-05-02
|
* Better discovery of type class instances from recursive definitionsGravatar Adam Chlipala2012-05-02
|
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
|
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
|
* -unifyMoreGravatar Adam Chlipala2012-04-22
|
* Saving proper environments, to use in displaying nested error messagesGravatar Adam Chlipala2012-04-21
|
* Avoid kindof failures in elaborationGravatar Adam Chlipala2012-04-21
|
* Simplify types for printing with '-dumpTypes'Gravatar Adam Chlipala2012-04-16
|
* Prevent horrifying loops in unification variable graphGravatar Adam Chlipala2012-01-09
|
* Make wildification a bit smarter about ordering of new wildcard declarationsGravatar Adam Chlipala2012-01-07
|
* Revert last unification tweakGravatar Adam Chlipala2012-01-06
|
* Tweak new unification heuristicGravatar Adam Chlipala2012-01-05
|
* Prevent unifications of 'others' pieces in record summaries, when both ↵Gravatar Adam Chlipala2012-01-05
| | | | pieces contain unification variables (to prevent undesired unifications)
* Order constructors properly in wildification, to avoid spuriously ↵Gravatar Adam Chlipala2011-12-18
| | | | displeasing the new scoping check
* Add a new scoping check for unification variables, to fix a type inference bugGravatar Adam Chlipala2011-12-18
|
* Nicer record summary error messagesGravatar Adam Chlipala2011-12-03
|
* Tweaks to choices of source positions to use in error messages, including ↵Gravatar Adam Chlipala2011-11-05
| | | | for subSgn
* Strengthen consNeq, to avoid unwise unificationsGravatar Adam Chlipala2011-11-05
|
* Fix confusing error message when record unification fails because enclosed ↵Gravatar Adam Chlipala2011-11-05
| | | | types are incompatible
* Remove debug printGravatar Adam Chlipala2011-11-02
|
* Handle application in decompileConGravatar Adam Chlipala2011-11-02
|
* Shorter, more focused error messages about undetermined unification variablesGravatar Adam Chlipala2011-10-29
|
* Clear reducedSummariesGravatar Adam Chlipala2011-10-28
|
* Harmonize have/need terminology in error messages; display canceled record ↵Gravatar Adam Chlipala2011-10-27
| | | | summaries on errors
* Catch UnboundNamed exceptions that arise from missing signature itemsGravatar Adam Chlipala2011-10-21
|
* Change error message display order: only show disjointness/type class ↵Gravatar Adam Chlipala2011-10-15
| | | | failures if all record unifications succeeded
* Fix wildification for signatures with synonymsGravatar Adam Chlipala2011-10-08
|
* Better detection of type class witnesses in local bindingsGravatar Adam Chlipala2011-09-03
|
* '-dumpTypes'Gravatar Adam Chlipala2011-08-07
|
* Better wildification, avoiding some unintentional variable captureGravatar Adam Chlipala2011-08-06
|
* Fix opening of shadowing, principal-signatured modules that open other modulesGravatar Adam Chlipala2011-08-04
|
* Implicit argument insertion for local variablesGravatar Adam Chlipala2011-06-14
|
* Some fixes for tasks and onError handlersGravatar Adam Chlipala2011-01-20
|
* Fix type-checking of views to match change to sql_query typeGravatar Adam Chlipala2011-01-15
|
* Handle opening of modules that define signaturesGravatar Adam Chlipala2011-01-06
|
* Recursive record unification errors, for more detailGravatar Adam Chlipala2010-12-23
|
* Implement constrained type kinding properly; bump mono inline threshholdGravatar Adam Chlipala2010-12-20
|
* Change tasks to support parametric code; add clientLeavesGravatar Adam Chlipala2010-12-18
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 00:42:09 +0000