annotate CHANGELOG @ 1817:148203744882

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