Mercurial > urweb

annotate CHANGELOG @ 705:e6706a1df013

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Track uniqueness sets in table types
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 14:11:32 -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.