annotate CHANGELOG @ 2049:459ccbf8cd08

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