aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/elaborate.sml
Commit message (Collapse)AuthorAge
...
* 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
|
* Chars and more string operationsGravatar Adam Chlipala2009-05-26
|
* Switch to Maranget's pattern exhaustiveness algorithmGravatar Adam Chlipala2009-05-23
|
* Mutual datatypes through ElaborateGravatar Adam Chlipala2009-05-16
|
* cselect.onchangeGravatar Adam Chlipala2009-05-14
|
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-12
|
* outer demoGravatar Adam Chlipala2009-05-03
|
* A view query worksGravatar Adam Chlipala2009-04-28
|
* Preparing to allow views in SELECT FROM clausesGravatar Adam Chlipala2009-04-28
|
* LEFT JOINGravatar Adam Chlipala2009-04-28
|
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
|
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
|
* hello compiles with CSSGravatar Adam Chlipala2009-04-12
|
* style declarationsGravatar Adam Chlipala2009-04-12
|
* Retry failed record summary unifications at the end, in hopes that more has ↵Gravatar Adam Chlipala2009-04-09
| | | | been learned
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
|
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
|
* Get demo type-inferring againGravatar Adam Chlipala2009-04-07
|
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵Gravatar Adam Chlipala2009-04-07
| | | | lingering problems in row inference)
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* Enhance table sig item support and get demo compiling againGravatar Adam Chlipala2009-04-07
|
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* Type class reductions, but no inclusions yetGravatar Adam Chlipala2009-03-26
|
* Prose for ListEditGravatar Adam Chlipala2009-03-10
|
* ListEdit demo, minus proseGravatar Adam Chlipala2009-03-10
|
* Folder generation for functorsGravatar Adam Chlipala2009-02-24
|
* Folder generation for functionsGravatar Adam Chlipala2009-02-24
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 12:21:50 +0000