Mercurial > urweb

annotate CHANGELOG @ 716:a6941960f459

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