Mercurial > urweb
comparison CHANGELOG @ 1093:8d3aa6c7cee0
Make summary unification more conservative; infer implicit arguments after applications
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Dec 2009 11:56:40 -0500 |
parents | a3273bee05a9 |
children | bed675db3aff |
comparison
equal
deleted
inserted
replaced
1092:6f4b05fc4361 | 1093:8d3aa6c7cee0 |
---|---|
1 ======== | 1 ======== |
2 Next | 2 Next |
3 ======== | 3 ======== |
4 | 4 |
5 - Automatic insertion of implicit arguments in more positions | |
5 - Reifying expressions as URLs and redirecting to them explicitly | 6 - Reifying expressions as URLs and redirecting to them explicitly |
6 - More syntactic sugar for SQL | 7 - More syntactic sugar for SQL |
7 - Typing of SQL queries no longer exposes which tables were used in joins but | 8 - Typing of SQL queries no longer exposes which tables were used in joins but |
8 had none of their fields projected | 9 had none of their fields projected |
9 - Tasks | 10 - Tasks |