Mercurial > urweb

annotate CHANGELOG @ 1259:83b1853d1e58

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
URL-escape with '.' instead of '%', to avoid confusing proxies
author Adam Chlipala <adamc@hcoop.net>
date Tue, 18 May 2010 14:47:56 -0400
parents 068f55543d03
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.