Mercurial > urweb

annotate CHANGELOG @ 1260:25ebd8c4fafb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 May 2010 14:09:06 -0400
parents 83b1853d1e58
children 04e9885cbe56
rev   line source
adamc@1259 1 ========
adamc@1259 2 Next
adamc@1259 3 ========
adamc@1259 4
adamc@1259 5 - Changed URL escaping convention, to avoid confusing proxies.
adamc@1259 6 The new convention is like the normal one, but with '.' instead of '%'.
adamc@1259 7
adamc@1255 8 ========
adamc@1255 9 20100506
adamc@1255 10 ========
adamc@1255 11
adamc@1255 12 - New experimental checker for information flow and access control policies
adamc@1255 13 (See demo at http://www.impredicative.com/ur/scdv/)
adamc@1255 14
adamc@1197 15 ========
adamc@1197 16 20100401
adamc@1197 17 ========
adamc@1197 18
adamc@1197 19 - Subquery expressions and FROM items
adamc@1197 20 - Low-level support for SELECT with no FROM clause
adamc@1197 21 - Fixes for DBMS-portability of relational operators
adamc@1197 22
adamc@1183 23 ========
adamc@1190 24 20100325
adamc@1183 25 ========
adamc@1183 26
adamc@1188 27 - -verbose flag
adamc@1188 28 - COUNT(col) SQL aggregate function
adamc@1188 29 - 'benignEffectful' and 'safeGet' .urp commands
adamc@1188 30 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
adamc@1188 31 security
adamc@1190 32 - Rename Top.foldR*X to map*X
adamc@1188 33 - Bug fixes and optimization improvements
adamc@1183 34
adamc@1166 35 ========
adamc@1166 36 20100213
adamc@1166 37 ========
adamc@1166 38
adamc@1166 39 - Improvements to 'configure'; should now fail if any uncommon but required
adamc@1166 40 package is missing
adamc@1166 41 - Other fixes to configuration, build system, and C code portability
adamc@1166 42 - sigfile .urp directive & -sigfile command-line option
adamc@1166 43 - .urp files with no directives no longer need to begin with blank lines.
adamc@1166 44 - Other bug fixes
adamc@1166 45
adamc@1137 46 ========
adamc@1137 47 20100130
adamc@1137 48 ========
adamc@1137 49
adamc@1137 50 - Conversion to an Automake-based build system, for greater portability in
adamc@1137 51 building shared libraries
adamc@1137 52 - -path and -root command-line flags
adamc@1137 53 - Exported page handling functions (i.e., those page-generating functions
adamc@1137 54 appearing in the main module's signature) may now take any number of
adamc@1137 55 arguments, including 0.
adamc@1137 56
adamc@1123 57 ========
adamc@1123 58 20100112
adamc@1123 59 ========
adamc@1123 60
adamc@1123 61 - Basis.serialized type family, for storing more types in the database
adamc@1123 62 - Basis.textBlob, for building blobs from strings
adamc@1123 63 - Basis.debug function, for server-side debug printing
adamc@1123 64 - Bug fixes & optimization improvements
adamc@1123 65
adamc@1065 66 ========
adamc@1103 67 20091230
adamc@1065 68 ========
adamc@1065 69
adamc@1093 70 - Automatic insertion of implicit arguments in more positions
adamc@1065 71 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 72 - More syntactic sugar for SQL
adamc@1070 73 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 74 had none of their fields projected
adamc@1075 75 - Tasks
adamc@1095 76 - Dynamic linking of the runtime system
adamc@1077 77 - Optimization improvements
adamc@1103 78 - Bug fixes
adamc@1065 79
adamc@1050 80 ========
adamc@1056 81 20091203
adamc@1050 82 ========
adamc@1050 83
adamc@1050 84 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 85 - Bug fixes
adamc@1056 86 - Extended UTF-8 characters in HTML
adamc@1050 87
adamc@1043 88 ========
adamc@1043 89 20091124
adamc@1043 90 ========
adamc@1043 91
adamc@1043 92 - Improved Internet Explorer compatibility
adamc@1043 93
adamc@1020 94 ========
adamc@1033 95 20091108
adamc@1020 96 ========
adamc@1020 97
adamc@1020 98 - Bug fixes
adamc@1020 99 - Optimization improvements
adamc@1021 100 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 101 from compiling
adamc@1020 102
adamc@999 103 ========
adamc@999 104 20091012
adamc@999 105 ========
adamc@999 106
adamc@999 107 - Small bug fixes affecting MySQL and SQLite
adamc@999 108
adamc@988 109 ========
adamc@997 110 20091009
adamc@988 111 ========
adamc@988 112
adamc@988 113 - Bug fixes
adamc@988 114 - Improvement to choice of line number to cite in record unification error
adamc@988 115 messages
adamc@994 116 - SELECT DISTINCT
adamc@996 117 - New extra demos: orm1 and versioned1
adamc@988 118
adamc@985 119 ========
adamc@985 120 20090926
adamc@985 121 ========
adamc@985 122
adamc@985 123 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 124 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 125 optimization of tail calls and occasional bugs in closure handling.
adamc@985 126 - Bug fixes
adamc@985 127
adamc@968 128 ========
adamc@968 129 20090919
adamc@968 130 ========
adamc@968 131
adamc@968 132 - Bug fixes
adamc@968 133 - Optimization improvements
adamc@968 134 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 135 paging, selecting rows, aggregate row
adamc@968 136
adamc@929 137 ========
adamc@929 138 20090912
adamc@929 139 ========
adamc@929 140
adamc@929 141 - Bug fixes
adamc@929 142 - Optimization improvements
adamc@929 143 - New set of extra demos in demo/more
adamc@929 144
adamc@914 145 ========
adamc@914 146 20090825
adamc@914 147 ========
adamc@914 148
adamc@914 149 - Many bug fixes
adamc@914 150 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 151 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 152
adamc@897 153 ========
adamc@897 154 20090718
adamc@897 155 ========
adamc@897 156
adamc@897 157 - New application protocols: CGI and FastCGI
adamc@897 158 - New database backends: MySQL and SQLite
adamc@897 159 - More JavaScript events added to tags in standard library
adamc@897 160 - New manual section on using the foreign function interface (FFI)
adamc@897 161
adamc@852 162 ========
adamc@852 163 20090623
adamc@852 164 ========
adamc@852 165
adamc@852 166 - Many bug fixes
adamc@852 167 - Mutually-recursive datatypes
adamc@852 168 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 169 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 170 value-level functions, to support the previous change
adamc@852 171 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 172 - Start of some new standard library modules
adamc@852 173 - Some improvements to JavaScript runtime, including better error handling
adamc@852 174
adamc@716 175 ========
adamc@790 176 20090505
adamc@716 177 ========
adamc@716 178
adamc@716 179 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 180 - SQL table constraints
adamc@770 181 - URLs
adamc@736 182 - Client-side error handling callbacks
adamc@736 183 - CSS
adamc@736 184 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 185 - Blobs and HTTP file upload
adamc@752 186 - SQL outer joins
adamc@755 187 - SQL views
adamc@756 188 - Subforms
adamc@768 189 - C and JavaScript FFI
adamc@768 190 - Path rewriting
adamc@716 191
adamc@702 192 ========
adamc@702 193 20090405
adamc@702 194 ========
adamc@702 195
adamc@702 196 - Asynchronous message-passing and the associated server-side client
adamc@702 197 bookkeeping
adamc@702 198 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 199 - spawn and sleep
adamc@702 200 - Expand the constructor class instance rule format
adamc@702 201
adamc@663 202 ========
adamc@663 203 20090312
adamc@663 204 ========
adamc@663 205
adamc@663 206 - Replace type-level "fold" with "map"
adamc@663 207 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 208 supported by some special compiler inference
adamc@663 209 - Replace guarded constructors with guarded types, introduced only by
adamc@663 210 guarded expression abstraction, and with a new explicit application form
adamc@663 211 - Kind polymorphism
adamc@663 212 - Generalize type classes to constructor classes
adamc@663 213 - Initial compilation of client-side code to JavaScript
adamc@663 214 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 215 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 216
adamc@506 217 ========
adamc@561 218 20081209
adamc@506 219 ========
adamc@506 220
adamc@506 221 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 222 - Optimization of bottleneck compiler phases
adamc@561 223 - Reference manual
adamc@561 224 - SQL arithmetic operators
adamc@506 225
adamc@504 226 ========
adamc@504 227 20081120
adamc@504 228 ========
adamc@504 229
adamc@504 230 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 231 - Take advantage of nested functions in some demos
adamc@504 232 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 233 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 234 prose
adamc@504 235
adamc@467 236 ========
adamc@497 237 20081118
adamc@467 238 ========
adamc@467 239
adamc@467 240 - Nested function definitions
adamc@467 241 - Primitive "time" type
adamc@467 242 - Nullable SQL columns (via "option")
adamc@467 243 - Cookies
adamc@663 244 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 245 function type)
adamc@467 246
adamc@435 247 ========
adamc@435 248 20081028
adamc@435 249 ========
adamc@435 250
adamc@435 251 - Add GCCARGS configure option
adamc@435 252
adamc@433 253 ========
adamc@433 254 20081027
adamc@433 255 ========
adamc@433 256
adamc@433 257 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 258 - Remove need for "() <-" notation.
adamc@433 259
adamc@433 260 ========
adamc@433 261 20081026
adamc@433 262 ========
adamc@433 263
adamc@433 264 - Change 'sed' call to work on OSX.
adamc@433 265 - Avoid including or linking libpq files on apps that don't use SQL.