Mercurial > urweb

annotate CHANGELOG @ 2116:ebfaab689570

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