Mercurial > urweb

annotate CHANGELOG @ 2160:72fe1cc704c5

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