annotate 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
rev   line source
adamc@1065 1 ========
adamc@1065 2 Next
adamc@1065 3 ========
adamc@1065 4
adamc@1093 5 - Automatic insertion of implicit arguments in more positions
adamc@1065 6 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 7 - More syntactic sugar for SQL
adamc@1070 8 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 9 had none of their fields projected
adamc@1075 10 - Tasks
adamc@1077 11 - Optimization improvements
adamc@1065 12
adamc@1050 13 ========
adamc@1056 14 20091203
adamc@1050 15 ========
adamc@1050 16
adamc@1050 17 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 18 - Bug fixes
adamc@1056 19 - Extended UTF-8 characters in HTML
adamc@1050 20
adamc@1043 21 ========
adamc@1043 22 20091124
adamc@1043 23 ========
adamc@1043 24
adamc@1043 25 - Improved Internet Explorer compatibility
adamc@1043 26
adamc@1020 27 ========
adamc@1033 28 20091108
adamc@1020 29 ========
adamc@1020 30
adamc@1020 31 - Bug fixes
adamc@1020 32 - Optimization improvements
adamc@1021 33 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 34 from compiling
adamc@1020 35
adamc@999 36 ========
adamc@999 37 20091012
adamc@999 38 ========
adamc@999 39
adamc@999 40 - Small bug fixes affecting MySQL and SQLite
adamc@999 41
adamc@988 42 ========
adamc@997 43 20091009
adamc@988 44 ========
adamc@988 45
adamc@988 46 - Bug fixes
adamc@988 47 - Improvement to choice of line number to cite in record unification error
adamc@988 48 messages
adamc@994 49 - SELECT DISTINCT
adamc@996 50 - New extra demos: orm1 and versioned1
adamc@988 51
adamc@985 52 ========
adamc@985 53 20090926
adamc@985 54 ========
adamc@985 55
adamc@985 56 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 57 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 58 optimization of tail calls and occasional bugs in closure handling.
adamc@985 59 - Bug fixes
adamc@985 60
adamc@968 61 ========
adamc@968 62 20090919
adamc@968 63 ========
adamc@968 64
adamc@968 65 - Bug fixes
adamc@968 66 - Optimization improvements
adamc@968 67 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 68 paging, selecting rows, aggregate row
adamc@968 69
adamc@929 70 ========
adamc@929 71 20090912
adamc@929 72 ========
adamc@929 73
adamc@929 74 - Bug fixes
adamc@929 75 - Optimization improvements
adamc@929 76 - New set of extra demos in demo/more
adamc@929 77
adamc@914 78 ========
adamc@914 79 20090825
adamc@914 80 ========
adamc@914 81
adamc@914 82 - Many bug fixes
adamc@914 83 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 84 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 85
adamc@897 86 ========
adamc@897 87 20090718
adamc@897 88 ========
adamc@897 89
adamc@897 90 - New application protocols: CGI and FastCGI
adamc@897 91 - New database backends: MySQL and SQLite
adamc@897 92 - More JavaScript events added to tags in standard library
adamc@897 93 - New manual section on using the foreign function interface (FFI)
adamc@897 94
adamc@852 95 ========
adamc@852 96 20090623
adamc@852 97 ========
adamc@852 98
adamc@852 99 - Many bug fixes
adamc@852 100 - Mutually-recursive datatypes
adamc@852 101 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 102 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 103 value-level functions, to support the previous change
adamc@852 104 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 105 - Start of some new standard library modules
adamc@852 106 - Some improvements to JavaScript runtime, including better error handling
adamc@852 107
adamc@716 108 ========
adamc@790 109 20090505
adamc@716 110 ========
adamc@716 111
adamc@716 112 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 113 - SQL table constraints
adamc@770 114 - URLs
adamc@736 115 - Client-side error handling callbacks
adamc@736 116 - CSS
adamc@736 117 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 118 - Blobs and HTTP file upload
adamc@752 119 - SQL outer joins
adamc@755 120 - SQL views
adamc@756 121 - Subforms
adamc@768 122 - C and JavaScript FFI
adamc@768 123 - Path rewriting
adamc@716 124
adamc@702 125 ========
adamc@702 126 20090405
adamc@702 127 ========
adamc@702 128
adamc@702 129 - Asynchronous message-passing and the associated server-side client
adamc@702 130 bookkeeping
adamc@702 131 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 132 - spawn and sleep
adamc@702 133 - Expand the constructor class instance rule format
adamc@702 134
adamc@663 135 ========
adamc@663 136 20090312
adamc@663 137 ========
adamc@663 138
adamc@663 139 - Replace type-level "fold" with "map"
adamc@663 140 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 141 supported by some special compiler inference
adamc@663 142 - Replace guarded constructors with guarded types, introduced only by
adamc@663 143 guarded expression abstraction, and with a new explicit application form
adamc@663 144 - Kind polymorphism
adamc@663 145 - Generalize type classes to constructor classes
adamc@663 146 - Initial compilation of client-side code to JavaScript
adamc@663 147 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 148 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 149
adamc@506 150 ========
adamc@561 151 20081209
adamc@506 152 ========
adamc@506 153
adamc@506 154 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 155 - Optimization of bottleneck compiler phases
adamc@561 156 - Reference manual
adamc@561 157 - SQL arithmetic operators
adamc@506 158
adamc@504 159 ========
adamc@504 160 20081120
adamc@504 161 ========
adamc@504 162
adamc@504 163 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 164 - Take advantage of nested functions in some demos
adamc@504 165 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 166 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 167 prose
adamc@504 168
adamc@467 169 ========
adamc@497 170 20081118
adamc@467 171 ========
adamc@467 172
adamc@467 173 - Nested function definitions
adamc@467 174 - Primitive "time" type
adamc@467 175 - Nullable SQL columns (via "option")
adamc@467 176 - Cookies
adamc@663 177 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 178 function type)
adamc@467 179
adamc@435 180 ========
adamc@435 181 20081028
adamc@435 182 ========
adamc@435 183
adamc@435 184 - Add GCCARGS configure option
adamc@435 185
adamc@433 186 ========
adamc@433 187 20081027
adamc@433 188 ========
adamc@433 189
adamc@433 190 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 191 - Remove need for "() <-" notation.
adamc@433 192
adamc@433 193 ========
adamc@433 194 20081026
adamc@433 195 ========
adamc@433 196
adamc@433 197 - Change 'sed' call to work on OSX.
adamc@433 198 - Avoid including or linking libpq files on apps that don't use SQL.