Mercurial > urweb

annotate CHANGELOG @ 2191:849404a3af27

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