Mercurial > urweb

annotate CHANGELOG @ 665:910bf013da4a

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