annotate CHANGELOG @ 2160:72fe1cc704c5

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