summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Collapse)AuthorAge
* 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
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
|
* Fixing a bug in DInitializer elaborationGravatar Adam Chlipala2009-12-13
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* Better record summary error messages; more tweaking SQL usabilityGravatar Adam Chlipala2009-12-13
|
* Hint about disallowed attributesGravatar Adam Chlipala2009-11-25
|
* Start of DecisionGravatar Adam Chlipala2009-11-02
|
* Start of bidding implementation compilesGravatar Adam Chlipala2009-10-31
|
* Better subSgn error locationsGravatar Adam Chlipala2009-10-15
|
* Better location calculation for record unification error messages; infer ↵Gravatar Adam Chlipala2009-10-05
| | | | kind arguments to module-projected variables
* Fix structure wildification to take concrete con decls into accountGravatar Adam Chlipala2009-08-25
|
* Fix type class resolution infinite loop, discovered while meeting with EzraGravatar Adam Chlipala2009-08-06
|
* Working on Grid; have gone from one dynamic table bizareness to anotherGravatar Adam Chlipala2009-07-19
|
* Fix a bug in type class enrichment from substructuresGravatar Adam Chlipala2009-06-16
|
* Fix MonoReduce unsoundness with lets and fnsGravatar Adam Chlipala2009-06-13
|
* Fix datatype import bug in Elaborate; fix server-side source setting; more ↵Gravatar Adam Chlipala2009-06-07
| | | | standard library stuff
* List library additions; fix another substructure unification bugGravatar Adam Chlipala2009-06-06
|
* Lexing some more string escape sequences; JS versions of number read; fix ↵Gravatar Adam Chlipala2009-06-02
| | | | problem with signature unification; escape < more often in Jscomp
* Tweak -- precedence; use right env for final exhaustiveness errorsGravatar Adam Chlipala2009-06-02
|
* Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵Gravatar Adam Chlipala2009-06-02
| | | | Monad library module
* Expose resolveClass from ElaborateGravatar Adam Chlipala2009-05-31
|
* Defer pattern-matching exhaustiveness checks and normalize pattern types ↵Gravatar Adam Chlipala2009-05-30
| | | | more thoroughly
* Destructing local let, to the point where demo compilesGravatar Adam Chlipala2009-05-28
|
* fn-pattern code in but not tested yet; hello compilesGravatar Adam Chlipala2009-05-28
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 11:28:22 +0000