annotate CHANGELOG @ 1861:52043ad66ce7

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