Mercurial > urweb

annotate CHANGELOG @ 713:baaae037e7f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Retry failed record summary unifications at the end, in hopes that more has been learned
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 14:59:29 -0400
parents 5b8617b73540
children a6941960f459
rev   line source
adamc@702 1 ========
adamc@702 2 20090405
adamc@702 3 ========
adamc@702 4
adamc@702 5 - Asynchronous message-passing and the associated server-side client
adamc@702 6 bookkeeping
adamc@702 7 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 8 - spawn and sleep
adamc@702 9 - Expand the constructor class instance rule format
adamc@702 10
adamc@663 11 ========
adamc@663 12 20090312
adamc@663 13 ========
adamc@663 14
adamc@663 15 - Replace type-level "fold" with "map"
adamc@663 16 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 17 supported by some special compiler inference
adamc@663 18 - Replace guarded constructors with guarded types, introduced only by
adamc@663 19 guarded expression abstraction, and with a new explicit application form
adamc@663 20 - Kind polymorphism
adamc@663 21 - Generalize type classes to constructor classes
adamc@663 22 - Initial compilation of client-side code to JavaScript
adamc@663 23 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 24 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 25
adamc@506 26 ========
adamc@561 27 20081209
adamc@506 28 ========
adamc@506 29
adamc@506 30 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 31 - Optimization of bottleneck compiler phases
adamc@561 32 - Reference manual
adamc@561 33 - SQL arithmetic operators
adamc@506 34
adamc@504 35 ========
adamc@504 36 20081120
adamc@504 37 ========
adamc@504 38
adamc@504 39 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 40 - Take advantage of nested functions in some demos
adamc@504 41 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 42 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 43 prose
adamc@504 44
adamc@467 45 ========
adamc@497 46 20081118
adamc@467 47 ========
adamc@467 48
adamc@467 49 - Nested function definitions
adamc@467 50 - Primitive "time" type
adamc@467 51 - Nullable SQL columns (via "option")
adamc@467 52 - Cookies
adamc@663 53 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 54 function type)
adamc@467 55
adamc@435 56 ========
adamc@435 57 20081028
adamc@435 58 ========
adamc@435 59
adamc@435 60 - Add GCCARGS configure option
adamc@435 61
adamc@433 62 ========
adamc@433 63 20081027
adamc@433 64 ========
adamc@433 65
adamc@433 66 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 67 - Remove need for "() <-" notation.
adamc@433 68
adamc@433 69 ========
adamc@433 70 20081026
adamc@433 71 ========
adamc@433 72
adamc@433 73 - Change 'sed' call to work on OSX.
adamc@433 74 - Avoid including or linking libpq files on apps that don't use SQL.