annotate CHANGELOG @ 2086:3d22f761a4b7

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