Mercurial > urweb

annotate CHANGELOG @ 1473:d40066b38710

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
author Adam Chlipala <adam@chlipala.net>
date Wed, 15 Jun 2011 09:52:06 -0400
parents 4f4f104259fb
children 175b6d52252d
rev   line source
adam@1458 1 ========
adam@1460 2 20110517
adam@1458 3 ========
adam@1458 4
adam@1458 5 - Cygwin compatibility
adam@1458 6 - Compatibility with Gentoo packaging process, including a .ebuild file
adam@1458 7 - Change typing of SQL subqueries, to indicate that they may always return NULL
adam@1458 8 (for no rows)
adam@1458 9 - Syntactic sugar for GROUP BY with variable numbers of columns
adam@1458 10 (using 'tab.{{c}}', where 'c :: {Type}')
adam@1458 11 - 'ALL' for SQL relational operators
adam@1458 12 - Add nullable types to the class for valid operands for SQL arithmetic
adam@1458 13 - 'alt' attribute for <img>
adam@1458 14 - <sup> and <sub> HTML tags
adam@1458 15 - Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert'
adam@1458 16 - Bug fixes and optimization improvements
adam@1458 17
adam@1400 18 ========
adam@1414 19 20110123
adam@1400 20 ========
adam@1400 21
adam@1400 22 - Changes to encoding of SQL aggregate functions: nullable types may be
adam@1400 23 aggregated, and non-COUNT aggregates return nullable results.
adam@1400 24 - SQL subqueries may apply aggregate functions to columns bound in enclosing
adam@1400 25 queries.
adam@1400 26 - Switch from libmhash to OpenSSL.
adam@1400 27 - 'cdataChar', for injecting arbitrary character codes into XML
adam@1400 28 - 'crypt', for access to the standard UNIX password encryption routine
adam@1400 29 - 'readUtc', for parsing time strings in the UTC time zone
adam@1400 30 - Built-in 'time' type now stores microseconds (which for now are only used in
adam@1400 31 connection with Postgres timestamps).
adam@1400 32 - Client-side URL blessing and redirection
adam@1400 33 - 'currentUrlHasPost' function
adam@1400 34 - Transactional 'free' functions now passed an argument indicating whether the
adam@1400 35 runtime system expects to retry the transaction.
adam@1400 36 - Change tasks to allow task kind-specific inputs
adam@1400 37 - Add 'clientLeaves' and 'periodic' task kinds
adam@1400 38 - Support for externally-callable pages, via the 'postBody' and 'queryString'
adam@1400 39 types and the 'effectfulUrl' function
adam@1400 40 - 'minHeap' and 'alwaysInline' .urp options
adam@1400 41 - '-prefix' command-line option
adam@1400 42 - Comments in .urp files (lines starting with '#')
adam@1400 43 - Miscellaneous additions to the standard library
adam@1400 44 - Bug fixes and improvements to type inference and optimization
adam@1400 45
adam@1287 46 ========
adam@1315 47 20101102
adam@1287 48 ========
adam@1287 49
adam@1287 50 - Polymorphic variants (see Basis.variant)
adam@1297 51 - New 'onError' directive for .urp files
adam@1287 52 - (* *) and <!-- --> comments in XML
adam@1297 53 - Basis.classes, Basis.confirm, and Basis.tryDml
adam@1309 54 - New notations ::_ and :::_, for constructor parameters of unknown kind
adam@1297 55 - Invocations like 'urweb foo' will compile foo.ur as a single-file project,
adam@1297 56 even if no foo.urp exists
adam@1309 57 - '-limit' command-line flag and 'limit' .urp directive
adam@1297 58 - Bug fixes and optimization improvements
adam@1287 59
adamc@1259 60 ========
adamc@1273 61 20100603
adamc@1259 62 ========
adamc@1259 63
adamc@1259 64 - Changed URL escaping convention, to avoid confusing proxies.
adamc@1259 65 The new convention is like the normal one, but with '.' instead of '%'.
adamc@1261 66 - Changed JavaScript compilation of recursive functions to use thunks.
adamc@1261 67 This change avoids most costs of functions not referenced on particular
adamc@1261 68 pages, reducing loading time dramatically.
adamc@1273 69 - Support HTTP caching of application-specific JavaScript code
adamc@1273 70 - Bug fixes
adamc@1259 71
adamc@1255 72 ========
adamc@1255 73 20100506
adamc@1255 74 ========
adamc@1255 75
adamc@1255 76 - New experimental checker for information flow and access control policies
adamc@1255 77 (See demo at http://www.impredicative.com/ur/scdv/)
adamc@1255 78
adamc@1197 79 ========
adamc@1197 80 20100401
adamc@1197 81 ========
adamc@1197 82
adamc@1197 83 - Subquery expressions and FROM items
adamc@1197 84 - Low-level support for SELECT with no FROM clause
adamc@1197 85 - Fixes for DBMS-portability of relational operators
adamc@1197 86
adamc@1183 87 ========
adamc@1190 88 20100325
adamc@1183 89 ========
adamc@1183 90
adamc@1188 91 - -verbose flag
adamc@1188 92 - COUNT(col) SQL aggregate function
adamc@1188 93 - 'benignEffectful' and 'safeGet' .urp commands
adamc@1188 94 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
adamc@1188 95 security
adamc@1190 96 - Rename Top.foldR*X to map*X
adamc@1188 97 - Bug fixes and optimization improvements
adamc@1183 98
adamc@1166 99 ========
adamc@1166 100 20100213
adamc@1166 101 ========
adamc@1166 102
adamc@1166 103 - Improvements to 'configure'; should now fail if any uncommon but required
adamc@1166 104 package is missing
adamc@1166 105 - Other fixes to configuration, build system, and C code portability
adamc@1166 106 - sigfile .urp directive & -sigfile command-line option
adamc@1166 107 - .urp files with no directives no longer need to begin with blank lines.
adamc@1166 108 - Other bug fixes
adamc@1166 109
adamc@1137 110 ========
adamc@1137 111 20100130
adamc@1137 112 ========
adamc@1137 113
adamc@1137 114 - Conversion to an Automake-based build system, for greater portability in
adamc@1137 115 building shared libraries
adamc@1137 116 - -path and -root command-line flags
adamc@1137 117 - Exported page handling functions (i.e., those page-generating functions
adamc@1137 118 appearing in the main module's signature) may now take any number of
adamc@1137 119 arguments, including 0.
adamc@1137 120
adamc@1123 121 ========
adamc@1123 122 20100112
adamc@1123 123 ========
adamc@1123 124
adamc@1123 125 - Basis.serialized type family, for storing more types in the database
adamc@1123 126 - Basis.textBlob, for building blobs from strings
adamc@1123 127 - Basis.debug function, for server-side debug printing
adamc@1123 128 - Bug fixes & optimization improvements
adamc@1123 129
adamc@1065 130 ========
adamc@1103 131 20091230
adamc@1065 132 ========
adamc@1065 133
adamc@1093 134 - Automatic insertion of implicit arguments in more positions
adamc@1065 135 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 136 - More syntactic sugar for SQL
adamc@1070 137 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 138 had none of their fields projected
adamc@1075 139 - Tasks
adamc@1095 140 - Dynamic linking of the runtime system
adamc@1077 141 - Optimization improvements
adamc@1103 142 - Bug fixes
adamc@1065 143
adamc@1050 144 ========
adamc@1056 145 20091203
adamc@1050 146 ========
adamc@1050 147
adamc@1050 148 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 149 - Bug fixes
adamc@1056 150 - Extended UTF-8 characters in HTML
adamc@1050 151
adamc@1043 152 ========
adamc@1043 153 20091124
adamc@1043 154 ========
adamc@1043 155
adamc@1043 156 - Improved Internet Explorer compatibility
adamc@1043 157
adamc@1020 158 ========
adamc@1033 159 20091108
adamc@1020 160 ========
adamc@1020 161
adamc@1020 162 - Bug fixes
adamc@1020 163 - Optimization improvements
adamc@1021 164 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 165 from compiling
adamc@1020 166
adamc@999 167 ========
adamc@999 168 20091012
adamc@999 169 ========
adamc@999 170
adamc@999 171 - Small bug fixes affecting MySQL and SQLite
adamc@999 172
adamc@988 173 ========
adamc@997 174 20091009
adamc@988 175 ========
adamc@988 176
adamc@988 177 - Bug fixes
adamc@988 178 - Improvement to choice of line number to cite in record unification error
adamc@988 179 messages
adamc@994 180 - SELECT DISTINCT
adamc@996 181 - New extra demos: orm1 and versioned1
adamc@988 182
adamc@985 183 ========
adamc@985 184 20090926
adamc@985 185 ========
adamc@985 186
adamc@985 187 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 188 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 189 optimization of tail calls and occasional bugs in closure handling.
adamc@985 190 - Bug fixes
adamc@985 191
adamc@968 192 ========
adamc@968 193 20090919
adamc@968 194 ========
adamc@968 195
adamc@968 196 - Bug fixes
adamc@968 197 - Optimization improvements
adamc@968 198 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 199 paging, selecting rows, aggregate row
adamc@968 200
adamc@929 201 ========
adamc@929 202 20090912
adamc@929 203 ========
adamc@929 204
adamc@929 205 - Bug fixes
adamc@929 206 - Optimization improvements
adamc@929 207 - New set of extra demos in demo/more
adamc@929 208
adamc@914 209 ========
adamc@914 210 20090825
adamc@914 211 ========
adamc@914 212
adamc@914 213 - Many bug fixes
adamc@914 214 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 215 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 216
adamc@897 217 ========
adamc@897 218 20090718
adamc@897 219 ========
adamc@897 220
adamc@897 221 - New application protocols: CGI and FastCGI
adamc@897 222 - New database backends: MySQL and SQLite
adamc@897 223 - More JavaScript events added to tags in standard library
adamc@897 224 - New manual section on using the foreign function interface (FFI)
adamc@897 225
adamc@852 226 ========
adamc@852 227 20090623
adamc@852 228 ========
adamc@852 229
adamc@852 230 - Many bug fixes
adamc@852 231 - Mutually-recursive datatypes
adamc@852 232 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 233 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 234 value-level functions, to support the previous change
adamc@852 235 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 236 - Start of some new standard library modules
adamc@852 237 - Some improvements to JavaScript runtime, including better error handling
adamc@852 238
adamc@716 239 ========
adamc@790 240 20090505
adamc@716 241 ========
adamc@716 242
adamc@716 243 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 244 - SQL table constraints
adamc@770 245 - URLs
adamc@736 246 - Client-side error handling callbacks
adamc@736 247 - CSS
adamc@736 248 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 249 - Blobs and HTTP file upload
adamc@752 250 - SQL outer joins
adamc@755 251 - SQL views
adamc@756 252 - Subforms
adamc@768 253 - C and JavaScript FFI
adamc@768 254 - Path rewriting
adamc@716 255
adamc@702 256 ========
adamc@702 257 20090405
adamc@702 258 ========
adamc@702 259
adamc@702 260 - Asynchronous message-passing and the associated server-side client
adamc@702 261 bookkeeping
adamc@702 262 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 263 - spawn and sleep
adamc@702 264 - Expand the constructor class instance rule format
adamc@702 265
adamc@663 266 ========
adamc@663 267 20090312
adamc@663 268 ========
adamc@663 269
adamc@663 270 - Replace type-level "fold" with "map"
adamc@663 271 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 272 supported by some special compiler inference
adamc@663 273 - Replace guarded constructors with guarded types, introduced only by
adamc@663 274 guarded expression abstraction, and with a new explicit application form
adamc@663 275 - Kind polymorphism
adamc@663 276 - Generalize type classes to constructor classes
adamc@663 277 - Initial compilation of client-side code to JavaScript
adamc@663 278 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 279 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 280
adamc@506 281 ========
adamc@561 282 20081209
adamc@506 283 ========
adamc@506 284
adamc@506 285 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 286 - Optimization of bottleneck compiler phases
adamc@561 287 - Reference manual
adamc@561 288 - SQL arithmetic operators
adamc@506 289
adamc@504 290 ========
adamc@504 291 20081120
adamc@504 292 ========
adamc@504 293
adamc@504 294 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 295 - Take advantage of nested functions in some demos
adamc@504 296 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 297 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 298 prose
adamc@504 299
adamc@467 300 ========
adamc@497 301 20081118
adamc@467 302 ========
adamc@467 303
adamc@467 304 - Nested function definitions
adamc@467 305 - Primitive "time" type
adamc@467 306 - Nullable SQL columns (via "option")
adamc@467 307 - Cookies
adamc@663 308 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 309 function type)
adamc@467 310
adamc@435 311 ========
adamc@435 312 20081028
adamc@435 313 ========
adamc@435 314
adamc@435 315 - Add GCCARGS configure option
adamc@435 316
adamc@433 317 ========
adamc@433 318 20081027
adamc@433 319 ========
adamc@433 320
adamc@433 321 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 322 - Remove need for "() <-" notation.
adamc@433 323
adamc@433 324 ========
adamc@433 325 20081026
adamc@433 326 ========
adamc@433 327
adamc@433 328 - Change 'sed' call to work on OSX.
adamc@433 329 - Avoid including or linking libpq files on apps that don't use SQL.