2011-01-20 |
Adam Chlipala |
Some fixes for tasks and onError handlers |
2011-01-15 |
Adam Chlipala |
Fix type-checking of views to match change to sql_query type |
2011-01-07 |
Adam Chlipala |
Handle opening of modules that define signatures |
2010-12-23 |
Adam Chlipala |
Recursive record unification errors, for more detail |
2010-12-20 |
Adam Chlipala |
Implement constrained type kinding properly; bump mono inline threshhold |
2010-12-18 |
Adam Chlipala |
Change tasks to support parametric code; add clientLeaves |
2010-12-18 |
Adam Chlipala |
postBody type |
2010-12-16 |
Adam Chlipala |
Restore behavior of not complaining about undetermined unification variables when there are other errors |
2010-12-16 |
Adam Chlipala |
Fiddly tweaks |
2010-12-15 |
Adam Chlipala |
Smarter record unification |
2010-12-02 |
Adam Chlipala |
Instantiate any Unit unification variables that remain after elaboration |
2010-11-13 |
Adam Chlipala |
More hnormKind for isUnitCon |
2010-10-19 |
Adam Chlipala |
Smarter handling of unification variables for 'kindof' on projections |
2010-10-11 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
2010-10-10 |
Adam Chlipala |
Fix infinite looping bug in Great Unification Fix |
2010-10-10 |
Adam Chlipala |
Tweaking unification fix to apply to demo/more |
2010-10-10 |
Adam Chlipala |
Hopeful fix for the Great Unification Bug |
2010-10-10 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
2010-09-16 |
Adam Chlipala |
Fix typing of cut operators; fix lexing of XML comments |
2010-09-07 |
Adam Chlipala |
Server-side 'onError' |
2010-06-13 |
Adam Chlipala |
More generous wildification, covering map-records |
2010-06-03 |
Adam Chlipala |
Undo fancy wildification; instead, client code should include extra wildcard con declarations |
2010-06-01 |
Adam Chlipala |
Try harder to place wildified 'con' declarations properly |
2010-06-01 |
Adam Chlipala |
Improve consNeq to detect unequal projected cons |
2010-05-27 |
Adam Chlipala |
Fix bug in module path generation with module roots; push wildification through substructures |
2010-04-11 |
Adam Chlipala |
Tweaks to table signatures and MonoOpt summarizing |
2010-04-04 |
Adam Chlipala |
Pushing policies through |
2010-03-25 |
Adam Chlipala |
Subquery expressions |
2010-03-09 |
Adam Chlipala |
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor |
2009-12-26 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
2009-12-15 |
Adam Chlipala |
Convert to task syntax |
2009-12-13 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
2009-12-13 |
Adam Chlipala |
Initializers and setval |
2009-12-13 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
2009-11-25 |
Adam Chlipala |
Hint about disallowed attributes |
2009-11-02 |
Adam Chlipala |
Start of Decision |
2009-10-31 |
Adam Chlipala |
Start of bidding implementation compiles |
2009-10-15 |
Adam Chlipala |
Better subSgn error locations |
2009-10-05 |
Adam Chlipala |
Better location calculation for record unification error messages; infer kind arguments to module-projected variables |
2009-08-25 |
Adam Chlipala |
Fix structure wildification to take concrete con decls into account |
2009-08-06 |
Adam Chlipala |
Fix type class resolution infinite loop, discovered while meeting with Ezra |
2009-07-19 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
2009-06-16 |
Adam Chlipala |
Fix a bug in type class enrichment from substructures |
2009-06-13 |
Adam Chlipala |
Fix MonoReduce unsoundness with lets and fns |
2009-06-07 |
Adam Chlipala |
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff |
2009-06-06 |
Adam Chlipala |
List library additions; fix another substructure unification bug |
2009-06-02 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
2009-06-02 |
Adam Chlipala |
Tweak -- precedence; use right env for final exhaustiveness errors |
2009-06-02 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
2009-05-31 |
Adam Chlipala |
Expose resolveClass from Elaborate |
2009-05-30 |
Adam Chlipala |
Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly |
2009-05-28 |
Adam Chlipala |
Destructing local let, to the point where demo compiles |
2009-05-28 |
Adam Chlipala |
fn-pattern code in but not tested yet; hello compiles |
2009-05-26 |
Adam Chlipala |
Chars and more string operations |
2009-05-23 |
Adam Chlipala |
Switch to Maranget's pattern exhaustiveness algorithm |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Elaborate |
2009-05-14 |
Adam Chlipala |
cselect.onchange |
2009-05-12 |
Adam Chlipala |
Improvements while working on Graftid |
2009-05-03 |
Adam Chlipala |
outer demo |
2009-04-28 |
Adam Chlipala |
A view query works |