annotate CHANGELOG @ 2110:9e9c915f554c

A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Feb 2015 12:29:14 -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.