annotate CHANGELOG @ 1690:a7b70c7b3f1a

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