annotate CHANGELOG @ 2237:e79ef5792c8b

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