Mercurial > urweb

annotate CHANGELOG @ 2262:34ad83d9b729

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