summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Collapse)AuthorAge
* Fix signature matching of an imported datatype vs. a fresh datatypeGravatar Adam Chlipala2020-02-07
|
* Use elabFile completely instead of rebuilding it partiallyGravatar Simon Van Casteren2019-12-13
|
* Merge remote-tracking branch 'origin/master' into typeOfGravatar Simon Van Casteren2019-12-13
|\
| * Desugaring of SQL constraints uses wildcards, so allow that even in signaturesGravatar Adam Chlipala2019-09-21
| |
| * Laxer wildcard restriction for signaturesGravatar Adam Chlipala2019-09-20
| |
| * Signatures should be allowed to use wildcards for kinds associated with ↵Gravatar Adam Chlipala2019-09-18
| | | | | | | | concrete constructors
| * Disallow wildcards in signatures (should help with #174)Gravatar Adam Chlipala2019-09-18
| |
* | Don't use interfaces anymore for ModDb validity, but check for undetermined ↵Gravatar FrigoEU2019-07-29
| | | | | | | | unif vars
* | First iteration of more detailed elaboration cachingGravatar FrigoEU2019-07-07
|/
* Fix subsignature checking for mutually recursive typesGravatar Adam Chlipala2019-07-06
|
* Proper error message when the body of a 'val' declaration fails to check ↵Gravatar Adam Chlipala2018-05-20
| | | | against the type annotation
* Allow inexhaustive patterns for lefthand sides of top-level 'val' declarationsGravatar Adam Chlipala2017-07-12
|
* Finish removing PWild; only load a library once, even if referenced multiple ↵Gravatar Adam Chlipala2016-02-07
| | | | times in a .urp tree
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
|
* A simple eta rule for constructor-level tuplesGravatar Adam Chlipala2015-12-31
|
* Some bugs related to kind-checking tuplesGravatar Adam Chlipala2015-12-31
|
* Fix tricky case of functor signature subsumptionGravatar Adam Chlipala2015-11-27
|
* Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
|
* After a tricky debugging session, limit visibility of type-class instances ↵Gravatar Adam Chlipala2015-11-01
| | | | from anonymous modules
* More Elaborate work to avoid instantiating unification variables with ↵Gravatar Adam Chlipala2015-10-24
| | | | out-of-scope regular variables
* Proper error message for excessively fancy FFI signaturesGravatar Adam Chlipala2015-08-27
|
* Improve wildification for records of type-class witnessesGravatar Adam Chlipala2015-01-28
|
* Fixing one small issue with changes to signature matching (grandfathered ↵Gravatar Adam Chlipala2015-01-03
| | | | into release)
* Fix a bug in subsignature checking for submodulesGravatar Adam Chlipala2014-12-30
|
* Improve wildify heuristic for finding record type-class witnessesGravatar Adam Chlipala2014-12-23
|
* Another try at a proper fix for constraint matching in subsignature checkingGravatar Adam Chlipala2014-12-23
|
* Move code from last changeset, to improve performanceGravatar Adam Chlipala2014-12-05
|
* When unifying constructor-level unification variables, also unify their kindsGravatar Adam Chlipala2014-08-01
|
* Retweak the last tweak to allow type inference to succeed in a strict ↵Gravatar Adam Chlipala2014-07-29
| | | | superset of the places where it used to succeed
* Small tweak to ordering of unification rules, to support better record matchingGravatar Adam Chlipala2014-07-29
|
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
|
* Monadic bind supports patternsGravatar Adam Chlipala2014-05-02
|
* Tweaked parameter renaming for functors, so now demos and the original ↵Gravatar Adam Chlipala2014-02-20
| | | | bug-triggering application work
* Some more nested functor bug-fixing, including generating fresh internal ↵Gravatar Adam Chlipala2014-02-20
| | | | names at applications; still need to debug issues with datatype constructors
* Fix a subtle renaming problem in elaborating functor applicationsGravatar Adam Chlipala2014-02-14
|
* Add another simple case for record unification between alpha-equivalent ↵Gravatar Adam Chlipala2014-01-29
| | | | constructors
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 06:33:11 +0000