Mercurial > urweb

annotate CHANGELOG @ 2139:8c81cd351c1a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow URIs specified in file directives implicitly It seems to me that, by specifying that one wants to serve a given file at a specified URI, one is implying that this URI should be allowed.
author Julian Squires <julian@cipht.net>
date Fri, 24 Apr 2015 16:21:55 -0400
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.