annotate CHANGELOG @ 2306:a7cc6c29d836

New release
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Dec 2015 14:25:46 -0500
parents 1d6e7e3405f6
children
rev   line source
adam@2306 1 ========
adam@2306 2 20151220
adam@2306 3 ========
adam@2306 4
adam@2306 5 - New .urp directive: 'jsFile'
adam@2306 6 - Merged an experimental automatic caching optimization, triggered with '-sqlcache'
adam@2306 7 - Bug fixes
adam@2306 8
adam@2193 9 ========
adam@2193 10 20151122
adam@2193 11 ========
adam@2193 12
adam@2193 13 - Daemon mode now supports shared caching of libraries across projects.
adam@2193 14 - Change behavior of SQL equality to do the intuitive thing for nullable types.
adam@2193 15 - Basis.fromMilliseconds
adam@2193 16 - Bug fixes and improvements to type inference and error messages
adam@2193 17
adam@2179 18 ========
adam@2179 19 20151018
adam@2179 20 ========
adam@2179 21
adam@2179 22 - Applications now reconnect to database server automatically after losing connection.
adam@2179 23 - Bug fixes and improvements to compatibility, documentation, and error messages
adam@2179 24
adam@2170 25 ========
adam@2170 26 20150819
adam@2170 27 ========
adam@2170 28
adam@2170 29 - Allow mouse and key events for <body>
adam@2170 30 - Add HTML 'align' attribute
adam@2170 31 - Add onChange handler to radioOption
adam@2170 32 - New literal [_LOC_] that is replaced with textual information on location in source file
adam@2170 33 - Add a simple 'make test' target
adam@2170 34 - Bug fixes and documentation improvements
adam@2170 35
adam@2146 36 ========
adam@2146 37 20150520
adam@2146 38 ========
adam@2146 39
adam@2146 40 - Change default behavior of client-side GUI event handlers:
adam@2146 41 By default, events are now passed to handlers on parent DOM nodes as well,
adam@2146 42 just like in normal JavaScript.
adam@2146 43 Call [preventDefault] or [stopPropagation] to tweak that behavior.
adam@2146 44 WARNING: This change may break backward compatibility!
adam@2146 45 - URIs specified with 'file' .urp directive are implicitly allowed to be referenced.
adam@2146 46 - New HTML tags: <fieldset>, <legend>
adam@2146 47 - New urweb-mode Emacs command: 'urweb-close-matching-tag'
adam@2146 48 - Bug fixes
adam@2146 49
adam@2131 50 ========
adam@2131 51 20150412
adam@2131 52 ========
adam@2131 53
adam@2131 54 - Several new infix operators for function composition, etc.
adam@2131 55 - Hexadecimal integer literals
adam@2131 56 - New HTML events: 'oncontextmenu', 'onmouseenter', and 'onmouseleave'
adam@2131 57 - New HTML attributes: 'download'
adam@2131 58 - Bug fixes and optimization improvements
adam@2131 59
adam@2117 60 ========
adam@2117 61 20150214
adam@2117 62 ========
adam@2117 63
adam@2117 64 - Bug fixes and improvements to type inference and optimization
adam@2117 65
adam@2100 66 ========
adam@2100 67 20150103
adam@2100 68 ========
adam@2100 69
adam@2100 70 - New antiquote syntax for 'ORDER BY' clauses
adam@2100 71 - New standard library function: List.mem
adam@2100 72 - Bug fixes and improvements to type inference
adam@2100 73
adam@2088 74 ========
adam@2088 75 20141206
adam@2088 76 ========
adam@2088 77
adam@2088 78 - New HTML5 form widget tags and attributes
adam@2088 79 - New command-line option for HTTP servers: '-T', to set recv() timeout
adam@2088 80 - New C function uw_remoteSock() for use in FFI code
adam@2088 81 - Bug fixes and improvements to type inference and optimization
adam@2088 82
adam@2065 83 ========
adam@2065 84 20140830
adam@2065 85 ========
adam@2065 86
adam@2065 87 - New HTML attribute: 'role'
adam@2065 88 - Bug fixes
adam@2065 89
adam@2059 90 ========
adam@2059 91 20140819
adam@2059 92 ========
adam@2059 93
adam@2059 94 - Improvements to HTML model
adam@2059 95 - Bug fixes and optimization improvements
adam@2059 96
adam@2051 97 ========
adam@2051 98 20140807
adam@2051 99 ========
adam@2051 100
adam@2051 101 - New .urp directive: 'file'
adam@2051 102 - Support for 'aria-*' attributes in HTML
adam@2051 103 - Default value of 'jsFunc' for less-safe FFI
adam@2051 104 - Client-side implementation of Basis function 'strsindex'
adam@2051 105 - Bug fixes and improvements to type inference and documentation
adam@2051 106
adam@2036 107 ========
adam@2036 108 20140704
adam@2036 109 ========
adam@2036 110
adam@2036 111 - New syntactic shorthand for antiquoting subqueries
adam@2036 112 - New Top members: max and min
adam@2036 113 - 'sql_injectable_prim' instance for 'url'
adam@2036 114 - Bug fixes
adam@2036 115
adam@2027 116 ========
adam@2027 117 20140615
adam@2027 118 ========
adam@2027 119
adam@2027 120 - New syntactic sugar: 'let E where DS end' for 'let DS in E end'
adam@2027 121 - Add 'onChange' attributes to more tags.
adam@2027 122 - New standard library function: String.trim
adam@2027 123 - Start treating Ur/Web tag <button> as real HTML tag <button>,
adam@2027 124 with special handling of 'value' attribute as tag content.
adam@2027 125 - Bug fixes
adam@2027 126
adam@2018 127 ========
adam@2018 128 20140531
adam@2018 129 ========
adam@2018 130
adam@2018 131 - Parsing extension: monadic bind supports patterns, like "(x, y) <- a; b"
adam@2018 132 - New, optional less safe FFI
adam@2018 133 - New HTML tags: <tbody>, <tfoot>, <thead>
adam@2018 134 - HTML5 data-* attributes
adam@2018 135 - HTML5 semantic tags
adam@2018 136 - Syntactic sugar extension: allow parens grouping joins in FROM clauses
adam@2018 137 - Bug fixes and documentation improvements
adam@2018 138
adam@2003 139 ========
adam@2003 140 20140426
adam@2003 141 ========
adam@2003 142
adam@2003 143 - New Basis functions having to do with dates and times, wrapped nicely in new
adam@2003 144 Datetime module of standard library
adam@2003 145 - New .urp directives: 'html5', 'neverInline', 'noMangleSql'
adam@2003 146 - New command-line arguments: '-explainEmbed', '-stop'
adam@2003 147 - Changes to C FFI interface, especially for uw_register_transactional()
adam@2003 148 - 'Basis.getEnv' now always calls UNIX getenv() outside a page handler.
adam@2003 149 - Changed <active> to avoid generating an empty <span> for empty content.
adam@2003 150 - New HTML tag: <pre>
adam@2003 151 - Bug fixes and improvements to type inference, optimizations, and documentation
adam@2003 152
adam@1950 153 ========
adam@1950 154 20131231
adam@1950 155 ========
adam@1950 156
adam@1950 157 - Performance optimizations for Ur/Web's standalone HTTP servers
adam@1950 158 - New command-line options for those servers: '-k' and '-q'
adam@1950 159 - New HTML pseudo-tag: <script>
adam@1950 160 - Trying to recv() from a different client's channel now triggers a run-time
adam@1950 161 error.
adam@1950 162 - New compiler command-line argument: -print-cinclude
adam@1950 163 - Bug fixes and improvements to optimizations, error messages, and documentation
adam@1950 164
adam@1911 165 ========
adam@1911 166 20131124
adam@1911 167 ========
adam@1911 168
adam@1911 169 - Extend 'where con' to allow descending into submodule structure
adam@1911 170 - Type inference improvements
adam@1911 171 - Treat transactional FFI functions as effectful by default,
adam@1911 172 so that 'effectful'/'benignEffectful' .urp directives aren't necessary
adam@1911 173 - Interpret 'table' signature items more flexibly,
adam@1911 174 automatically adding (Ur) constraints to support
adam@1911 175 a kind of subtyping over (SQL) constraint sets
adam@1911 176 - New header file scheme to support FFI code in either of C or C++
adam@1911 177 - New command-line arguments: -ccompiler, -print-ccompiler
adam@1911 178 - More HTML tags: <dd>, <dl>, <dt>, <em>, and <strong>
adam@1911 179 - Add 'rel' attribute to <a>
adam@1911 180 - New type synonym 'xhead'
adam@1911 181 - Refactored the development Mercurial repository to remove autogenerated files
adam@1911 182 - More integration with Autotools distribution functionality
adam@1911 183 - Improvements to documentation and compiler error messages
adam@1911 184 - Bug fixes and optimization improvements
adam@1911 185
adam@1851 186 ========
adam@1851 187 20130421
adam@1851 188 ========
adam@1851 189
adam@1851 190 - Allow any FFI module to declare new HTML tags
adam@1851 191 - Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a
adam@1851 192 kind of simple dynamic typing (unsafe, of course)
adam@1851 193 - Add some name-mangling rules to allow XML attribute 'name' and attributes with
adam@1851 194 dashes
adam@1851 195 - New Basis members: pow and tryRpc
adam@1851 196 - Add 'placeholder' attribute for <password>
adam@1851 197 - New standard library functions: Option.unsafeGet
adam@1851 198 - Add ./configure MLTONARGS option for MLTON arguments
adam@1851 199 - Bug fixes and documentation improvements
adam@1851 200
adam@1826 201 ========
adam@1826 202 20120925
adam@1826 203 ========
adam@1826 204
adam@1826 205 - Changes to optimization/compilation strategy that can speed up compilation and
adam@1826 206 reduce code size dramatically
adam@1826 207 - New .urp directives: 'coreInline' and 'monoInline'
adam@1826 208 - 'show' instance for 'sql_query'
adam@1826 209 - Improvements to compiler error messages
adam@1826 210 - Bug fixes and optimization improvements
adam@1826 211
adam@1806 212 ========
adam@1806 213 20120807
adam@1806 214 ========
adam@1806 215
adam@1806 216 - Client-side mouse and keyboard event handlers are now functions over records.
adam@1806 217 - More flexibility in local type class instances
adam@1806 218 - Remove 'class' declaration; use 'con' instead now.
adam@1806 219 - SQL window functions
adam@1806 220 - New HTML pseudo-tag: <active>
adam@1806 221 - New Basis members: getenv (and associated functions), giveFocus
adam@1806 222 - New Top member: postFields (to process POST form data when called by some external script)
adam@1806 223 - HTTP daemons take '-a' option to set IP address to listen on
adam@1806 224 - More global mouse event hooks
adam@1806 225 - Bug fixes and performance improvements
adam@1806 226
adam@1771 227 ========
adam@1771 228 20120519
adam@1771 229 ========
adam@1771 230
adam@1771 231 - Compatibility fixes for new Automake and GCC versions
adam@1771 232 - Allow synchronous RPC's in 'onunload' code
adam@1771 233 - Start of special cases for parsing CSS class names: interpret "table" as identifier 'tabl'
adam@1771 234 (since 'table' is an Ur/Web keyword)
adam@1771 235 - Bug fixes and improvements to type inference and optimization
adam@1771 236
adam@1758 237 ========
adam@1758 238 20120512
adam@1758 239 ========
adam@1758 240
adam@1758 241 - New support for CSS style code embedded in Ur/Web programs.
adam@1758 242 Two recommended usage methods:
adam@1758 243 1. Use 'style' attributes with normal CSS syntax inside string literals.
adam@1758 244 2. Generate styles programmatically with the Style module of the Gui library
adam@1758 245 (distributed separately).
adam@1758 246 - 'dynStyle' attribute, which is to 'style' as 'dynClass' is to 'class'
adam@1758 247 - Parsing of standard syntax for 'class' attributes, via specially interpreted
adam@1758 248 string literals
adam@1758 249 - New optional suffix for 'rewrite' in .urp files: [-]
adam@1758 250 - Compiler error message improvements, including simplification of types
adam@1758 251 - New command line parameters: '-boot', '-dumpTypesOnError', '-unifyMore'
adam@1758 252 - New .urp directives: 'linker'
adam@1758 253 - Support for speeding up compilation by caching type inference results:
adam@1758 254 Run 'urweb daemon start' to spawn a background process,
adam@1758 255 'urweb daemon stop' to kill it.
adam@1758 256 - Enforcement of uniqueness of top-level module names across a project
adam@1758 257 - Adjust error message format to match Emacs compilation mode defaults
adam@1758 258 - More HTML attributes added
adam@1758 259 - New antiquote syntax for 'PRIMARY KEY'
adam@1758 260 - Bug fixes and improvements to type inference and platform compatibility
adam@1758 261
adam@1705 262 ========
adam@1705 263 20120329
adam@1705 264 ========
adam@1705 265
adam@1705 266 - New JavaScript FFI function: setInnerHTML
adam@1705 267 - Bug fixes
adam@1705 268 - Documentation improvements
adam@1705 269
adam@1693 270 ========
adam@1693 271 20120310
adam@1693 272 ========
adam@1693 273
adam@1693 274 - 'ORDER BY RANDOM'
adam@1693 275 - New Basis members: diffInMilliseconds, toMilliseconds
adam@1693 276 - <radio> widget now returns 'option string' instead of 'string'
adam@1693 277 - '-dumpSource' command-line flag
adam@1693 278 - Bug fixes and optimization improvements
adam@1693 279
adam@1669 280 ========
adam@1669 281 20120110
adam@1669 282 ========
adam@1669 283
adam@1669 284 - Improvements to type inference and error messages
adam@1669 285 - New 'dynClass' pseudo-attribute for most HTML tags
adam@1669 286 - New 't.*' notation for selecting all columns of a table
adam@1669 287 - New SQL functions: 'lower' and 'upper'
adam@1669 288 - 'timeFormat' .urp directive
adam@1669 289 - Client-side 'debug' and 'naughtyDebug' calls use a browser debug console, if available
adam@1669 290 - Allow 'source' values to be returned by RPCs
adam@1669 291 - Change the HTML context classification scheme in 'Basis'
adam@1669 292 - Rename 'Top.id' to 'ident' to avoid clash with 'Basis.id'
adam@1669 293 - More client-side function implementations
adam@1669 294 - Some expanded reference manual sections
adam@1669 295 - Tweak to linker command line argument order (to prevent issues with new Ubuntu versions)
adam@1669 296 - Bug fixes
adam@1669 297
adam@1616 298 ========
adam@1616 299 20111127
adam@1616 300 ========
adam@1616 301
adam@1616 302 - Improvements to type inference and error messages
adam@1616 303 - New Basis members: ceil, float, null, round, trunc
adam@1616 304 - New SQL expression forms: 'IF..THEN..ELSE', 'COALESCE', and 'LIKE'
adam@1616 305 - Support for the full set of HTML character entities
adam@1616 306 - Client-side versions of some time-related functions
adam@1616 307 - New URWEB_PG_CON environment variable
adam@1616 308 - Allow arguments for 'con' signature items, not just declarations
adam@1616 309 - Bug fixes and performance improvements
adam@1616 310 - Tweaks for idiosyncrasies of OS X (like deprecated OpenSSL)
adam@1616 311
adam@1509 312 ========
adam@1561 313 20110917
adam@1509 314 ========
adam@1509 315
adam@1509 316 - Start of official tutorial
adam@1509 317 - Compiler support for generating nice tutorial HTML from literate source files
adam@1509 318 - New protocol 'static' for generating static pages
adam@1561 319 - Replace GCCARGS 'configure' variable with CCARGS
adam@1561 320 - Better support for compilation with Clang (including on OS X)
adam@1561 321 - Fancier 'configure' script with versioning
adam@1523 322 - Applications consult URWEB_STACK_SIZE environment variable to determine thread
adam@1523 323 stack size
adam@1561 324 - HTML tag IDs now drawn from an abstract type
adam@1561 325 - New Basis functions: diffInSeconds, mkMonad, onClick, onDblclick, onKeydown,
adam@1561 326 onKeypress, onKeyup, onMousedown, onMouseup, preventDefault, stopPropagation,
adam@1561 327 toSeconds
adam@1561 328 - Add <image> tag
adam@1561 329 - Add 'target' attribute for <a>
adam@1561 330 - New compiler command-line option: -dumpTypes
adam@1561 331 - New syntactic sugar for computed ORDER BY clauses
adam@1561 332 - Bug fixes and optimization improvements
adam@1509 333
adam@1492 334 ========
adam@1492 335 20110715
adam@1492 336 ========
adam@1492 337
adam@1492 338 - Treat local variables the same as module-level variables, for the purpose of
adam@1492 339 implicit argument insertion
adam@1492 340 - New 'noXsrfProtection' directive for .urp files
adam@1492 341 - Non-debug builds omit source location information in error messages shown to
adam@1492 342 the user (but keep that information in log entries)
adam@1492 343 - Basis.getHeader and Basis.setHeader
adam@1492 344 - Basis.show_css_class
adam@1492 345 - Basis.currentUrlHasQueryString
adam@1492 346 - Make Basis.rand cryptographically secure
adam@1492 347 - Client-side versions of Basis.now and Basis.show_time
adam@1492 348 - Bug fixes
adam@1492 349 - Improvements to auto-configuration and build process (now builds with LLVM's
adam@1492 350 Clang!)
adam@1492 351 - Clarifications in the manual
adam@1492 352
adam@1458 353 ========
adam@1460 354 20110517
adam@1458 355 ========
adam@1458 356
adam@1458 357 - Cygwin compatibility
adam@1458 358 - Compatibility with Gentoo packaging process, including a .ebuild file
adam@1458 359 - Change typing of SQL subqueries, to indicate that they may always return NULL
adam@1458 360 (for no rows)
adam@1458 361 - Syntactic sugar for GROUP BY with variable numbers of columns
adam@1458 362 (using 'tab.{{c}}', where 'c :: {Type}')
adam@1458 363 - 'ALL' for SQL relational operators
adam@1458 364 - Add nullable types to the class for valid operands for SQL arithmetic
adam@1458 365 - 'alt' attribute for <img>
adam@1458 366 - <sup> and <sub> HTML tags
adam@1458 367 - Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert'
adam@1458 368 - Bug fixes and optimization improvements
adam@1458 369
adam@1400 370 ========
adam@1414 371 20110123
adam@1400 372 ========
adam@1400 373
adam@1400 374 - Changes to encoding of SQL aggregate functions: nullable types may be
adam@1400 375 aggregated, and non-COUNT aggregates return nullable results.
adam@1400 376 - SQL subqueries may apply aggregate functions to columns bound in enclosing
adam@1400 377 queries.
adam@1400 378 - Switch from libmhash to OpenSSL.
adam@1400 379 - 'cdataChar', for injecting arbitrary character codes into XML
adam@1400 380 - 'crypt', for access to the standard UNIX password encryption routine
adam@1400 381 - 'readUtc', for parsing time strings in the UTC time zone
adam@1400 382 - Built-in 'time' type now stores microseconds (which for now are only used in
adam@1400 383 connection with Postgres timestamps).
adam@1400 384 - Client-side URL blessing and redirection
adam@1400 385 - 'currentUrlHasPost' function
adam@1400 386 - Transactional 'free' functions now passed an argument indicating whether the
adam@1400 387 runtime system expects to retry the transaction.
adam@1400 388 - Change tasks to allow task kind-specific inputs
adam@1400 389 - Add 'clientLeaves' and 'periodic' task kinds
adam@1400 390 - Support for externally-callable pages, via the 'postBody' and 'queryString'
adam@1400 391 types and the 'effectfulUrl' function
adam@1400 392 - 'minHeap' and 'alwaysInline' .urp options
adam@1400 393 - '-prefix' command-line option
adam@1400 394 - Comments in .urp files (lines starting with '#')
adam@1400 395 - Miscellaneous additions to the standard library
adam@1400 396 - Bug fixes and improvements to type inference and optimization
adam@1400 397
adam@1287 398 ========
adam@1315 399 20101102
adam@1287 400 ========
adam@1287 401
adam@1287 402 - Polymorphic variants (see Basis.variant)
adam@1297 403 - New 'onError' directive for .urp files
adam@1287 404 - (* *) and <!-- --> comments in XML
adam@1297 405 - Basis.classes, Basis.confirm, and Basis.tryDml
adam@1309 406 - New notations ::_ and :::_, for constructor parameters of unknown kind
adam@1297 407 - Invocations like 'urweb foo' will compile foo.ur as a single-file project,
adam@1297 408 even if no foo.urp exists
adam@1309 409 - '-limit' command-line flag and 'limit' .urp directive
adam@1297 410 - Bug fixes and optimization improvements
adam@1287 411
adamc@1259 412 ========
adamc@1273 413 20100603
adamc@1259 414 ========
adamc@1259 415
adamc@1259 416 - Changed URL escaping convention, to avoid confusing proxies.
adamc@1259 417 The new convention is like the normal one, but with '.' instead of '%'.
adamc@1261 418 - Changed JavaScript compilation of recursive functions to use thunks.
adamc@1261 419 This change avoids most costs of functions not referenced on particular
adamc@1261 420 pages, reducing loading time dramatically.
adamc@1273 421 - Support HTTP caching of application-specific JavaScript code
adamc@1273 422 - Bug fixes
adamc@1259 423
adamc@1255 424 ========
adamc@1255 425 20100506
adamc@1255 426 ========
adamc@1255 427
adamc@1255 428 - New experimental checker for information flow and access control policies
adamc@1255 429 (See demo at http://www.impredicative.com/ur/scdv/)
adamc@1255 430
adamc@1197 431 ========
adamc@1197 432 20100401
adamc@1197 433 ========
adamc@1197 434
adamc@1197 435 - Subquery expressions and FROM items
adamc@1197 436 - Low-level support for SELECT with no FROM clause
adamc@1197 437 - Fixes for DBMS-portability of relational operators
adamc@1197 438
adamc@1183 439 ========
adamc@1190 440 20100325
adamc@1183 441 ========
adamc@1183 442
adamc@1188 443 - -verbose flag
adamc@1188 444 - COUNT(col) SQL aggregate function
adamc@1188 445 - 'benignEffectful' and 'safeGet' .urp commands
adamc@1188 446 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
adamc@1188 447 security
adamc@1190 448 - Rename Top.foldR*X to map*X
adamc@1188 449 - Bug fixes and optimization improvements
adamc@1183 450
adamc@1166 451 ========
adamc@1166 452 20100213
adamc@1166 453 ========
adamc@1166 454
adamc@1166 455 - Improvements to 'configure'; should now fail if any uncommon but required
adamc@1166 456 package is missing
adamc@1166 457 - Other fixes to configuration, build system, and C code portability
adamc@1166 458 - sigfile .urp directive & -sigfile command-line option
adamc@1166 459 - .urp files with no directives no longer need to begin with blank lines.
adamc@1166 460 - Other bug fixes
adamc@1166 461
adamc@1137 462 ========
adamc@1137 463 20100130
adamc@1137 464 ========
adamc@1137 465
adamc@1137 466 - Conversion to an Automake-based build system, for greater portability in
adamc@1137 467 building shared libraries
adamc@1137 468 - -path and -root command-line flags
adamc@1137 469 - Exported page handling functions (i.e., those page-generating functions
adamc@1137 470 appearing in the main module's signature) may now take any number of
adamc@1137 471 arguments, including 0.
adamc@1137 472
adamc@1123 473 ========
adamc@1123 474 20100112
adamc@1123 475 ========
adamc@1123 476
adamc@1123 477 - Basis.serialized type family, for storing more types in the database
adamc@1123 478 - Basis.textBlob, for building blobs from strings
adamc@1123 479 - Basis.debug function, for server-side debug printing
adamc@1123 480 - Bug fixes & optimization improvements
adamc@1123 481
adamc@1065 482 ========
adamc@1103 483 20091230
adamc@1065 484 ========
adamc@1065 485
adamc@1093 486 - Automatic insertion of implicit arguments in more positions
adamc@1065 487 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 488 - More syntactic sugar for SQL
adamc@1070 489 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 490 had none of their fields projected
adamc@1075 491 - Tasks
adamc@1095 492 - Dynamic linking of the runtime system
adamc@1077 493 - Optimization improvements
adamc@1103 494 - Bug fixes
adamc@1065 495
adamc@1050 496 ========
adamc@1056 497 20091203
adamc@1050 498 ========
adamc@1050 499
adamc@1050 500 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 501 - Bug fixes
adamc@1056 502 - Extended UTF-8 characters in HTML
adamc@1050 503
adamc@1043 504 ========
adamc@1043 505 20091124
adamc@1043 506 ========
adamc@1043 507
adamc@1043 508 - Improved Internet Explorer compatibility
adamc@1043 509
adamc@1020 510 ========
adamc@1033 511 20091108
adamc@1020 512 ========
adamc@1020 513
adamc@1020 514 - Bug fixes
adamc@1020 515 - Optimization improvements
adamc@1021 516 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 517 from compiling
adamc@1020 518
adamc@999 519 ========
adamc@999 520 20091012
adamc@999 521 ========
adamc@999 522
adamc@999 523 - Small bug fixes affecting MySQL and SQLite
adamc@999 524
adamc@988 525 ========
adamc@997 526 20091009
adamc@988 527 ========
adamc@988 528
adamc@988 529 - Bug fixes
adamc@988 530 - Improvement to choice of line number to cite in record unification error
adamc@988 531 messages
adamc@994 532 - SELECT DISTINCT
adamc@996 533 - New extra demos: orm1 and versioned1
adamc@988 534
adamc@985 535 ========
adamc@985 536 20090926
adamc@985 537 ========
adamc@985 538
adamc@985 539 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 540 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 541 optimization of tail calls and occasional bugs in closure handling.
adamc@985 542 - Bug fixes
adamc@985 543
adamc@968 544 ========
adamc@968 545 20090919
adamc@968 546 ========
adamc@968 547
adamc@968 548 - Bug fixes
adamc@968 549 - Optimization improvements
adamc@968 550 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 551 paging, selecting rows, aggregate row
adamc@968 552
adamc@929 553 ========
adamc@929 554 20090912
adamc@929 555 ========
adamc@929 556
adamc@929 557 - Bug fixes
adamc@929 558 - Optimization improvements
adamc@929 559 - New set of extra demos in demo/more
adamc@929 560
adamc@914 561 ========
adamc@914 562 20090825
adamc@914 563 ========
adamc@914 564
adamc@914 565 - Many bug fixes
adamc@914 566 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 567 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 568
adamc@897 569 ========
adamc@897 570 20090718
adamc@897 571 ========
adamc@897 572
adamc@897 573 - New application protocols: CGI and FastCGI
adamc@897 574 - New database backends: MySQL and SQLite
adamc@897 575 - More JavaScript events added to tags in standard library
adamc@897 576 - New manual section on using the foreign function interface (FFI)
adamc@897 577
adamc@852 578 ========
adamc@852 579 20090623
adamc@852 580 ========
adamc@852 581
adamc@852 582 - Many bug fixes
adamc@852 583 - Mutually-recursive datatypes
adamc@852 584 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 585 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 586 value-level functions, to support the previous change
adamc@852 587 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 588 - Start of some new standard library modules
adamc@852 589 - Some improvements to JavaScript runtime, including better error handling
adamc@852 590
adamc@716 591 ========
adamc@790 592 20090505
adamc@716 593 ========
adamc@716 594
adamc@716 595 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 596 - SQL table constraints
adamc@770 597 - URLs
adamc@736 598 - Client-side error handling callbacks
adamc@736 599 - CSS
adamc@736 600 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 601 - Blobs and HTTP file upload
adamc@752 602 - SQL outer joins
adamc@755 603 - SQL views
adamc@756 604 - Subforms
adamc@768 605 - C and JavaScript FFI
adamc@768 606 - Path rewriting
adamc@716 607
adamc@702 608 ========
adamc@702 609 20090405
adamc@702 610 ========
adamc@702 611
adamc@702 612 - Asynchronous message-passing and the associated server-side client
adamc@702 613 bookkeeping
adamc@702 614 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 615 - spawn and sleep
adamc@702 616 - Expand the constructor class instance rule format
adamc@702 617
adamc@663 618 ========
adamc@663 619 20090312
adamc@663 620 ========
adamc@663 621
adamc@663 622 - Replace type-level "fold" with "map"
adamc@663 623 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 624 supported by some special compiler inference
adamc@663 625 - Replace guarded constructors with guarded types, introduced only by
adamc@663 626 guarded expression abstraction, and with a new explicit application form
adamc@663 627 - Kind polymorphism
adamc@663 628 - Generalize type classes to constructor classes
adamc@663 629 - Initial compilation of client-side code to JavaScript
adamc@663 630 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 631 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 632
adamc@506 633 ========
adamc@561 634 20081209
adamc@506 635 ========
adamc@506 636
adamc@506 637 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 638 - Optimization of bottleneck compiler phases
adamc@561 639 - Reference manual
adamc@561 640 - SQL arithmetic operators
adamc@506 641
adamc@504 642 ========
adamc@504 643 20081120
adamc@504 644 ========
adamc@504 645
adamc@504 646 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 647 - Take advantage of nested functions in some demos
adamc@504 648 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 649 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 650 prose
adamc@504 651
adamc@467 652 ========
adamc@497 653 20081118
adamc@467 654 ========
adamc@467 655
adamc@467 656 - Nested function definitions
adamc@467 657 - Primitive "time" type
adamc@467 658 - Nullable SQL columns (via "option")
adamc@467 659 - Cookies
adamc@663 660 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 661 function type)
adamc@467 662
adamc@435 663 ========
adamc@435 664 20081028
adamc@435 665 ========
adamc@435 666
adamc@435 667 - Add GCCARGS configure option
adamc@435 668
adamc@433 669 ========
adamc@433 670 20081027
adamc@433 671 ========
adamc@433 672
adamc@433 673 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 674 - Remove need for "() <-" notation.
adamc@433 675
adamc@433 676 ========
adamc@433 677 20081026
adamc@433 678 ========
adamc@433 679
adamc@433 680 - Change 'sed' call to work on OSX.
adamc@433 681 - Avoid including or linking libpq files on apps that don't use SQL.