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