aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/elaborate.sml
Commit message (Collapse)AuthorAge
...
* 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
|
* postBody typeGravatar Adam Chlipala2010-12-18
|
* Restore behavior of not complaining about undetermined unification variables ↵Gravatar Adam Chlipala2010-12-16
| | | | when there are other errors
* Fiddly tweaksGravatar Adam Chlipala2010-12-16
|
* Smarter record unificationGravatar Adam Chlipala2010-12-15
|
* Instantiate any Unit unification variables that remain after elaborationGravatar Adam Chlipala2010-12-02
|
* More hnormKind for isUnitConGravatar Adam Chlipala2010-11-13
|
* Smarter handling of unification variables for 'kindof' on projectionsGravatar Adam Chlipala2010-10-19
|
* :::_ notation; switch to TooDeep error messageGravatar Adam Chlipala2010-10-10
|
* Fix infinite looping bug in Great Unification FixGravatar Adam Chlipala2010-10-10
|
* Tweaking unification fix to apply to demo/moreGravatar Adam Chlipala2010-10-10
|
* Hopeful fix for the Great Unification BugGravatar Adam Chlipala2010-10-10
|
* Flex kinds for type-level tuples; ::_ notationGravatar Adam Chlipala2010-10-10
|
* Fix typing of cut operators; fix lexing of XML commentsGravatar Adam Chlipala2010-09-16
|
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
|
* More generous wildification, covering map-recordsGravatar Adam Chlipala2010-06-13
|
* Undo fancy wildification; instead, client code should include extra wildcard ↵Gravatar Adam Chlipala2010-06-03
| | | | con declarations
* Try harder to place wildified 'con' declarations properlyGravatar Adam Chlipala2010-06-01
|
* Improve consNeq to detect unequal projected consGravatar Adam Chlipala2010-06-01
|
* Fix bug in module path generation with module roots; push wildification ↵Gravatar Adam Chlipala2010-05-27
| | | | through substructures
* Tweaks to table signatures and MonoOpt summarizingGravatar Adam Chlipala2010-04-11
|
* Pushing policies throughGravatar Adam Chlipala2010-04-04
|
* Subquery expressionsGravatar Adam Chlipala2010-03-25
|
* Spiffed-up Split1; remove spurious error message triggered by 'open'ing a ↵Gravatar Adam Chlipala2010-03-09
| | | | module containing a functor
* Make summary unification more conservative; infer implicit arguments after ↵Gravatar Adam Chlipala2009-12-26
| | | | applications
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 22:47:41 +0000