annotate CHANGELOG @ 2191:849404a3af27

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