annotate CHANGELOG @ 1618:705cb41ac7d0

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