Mercurial > urweb

annotate CHANGELOG @ 805:e2780d2f4afc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Elaborate
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:14:17 -0400
parents 39bb3a830e90
children 4d4c62d95b9c
rev   line source
adamc@716 1 ========
adamc@790 2 20090505
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@770 7 - URLs
adamc@736 8 - Client-side error handling callbacks
adamc@736 9 - CSS
adamc@736 10 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 11 - Blobs and HTTP file upload
adamc@752 12 - SQL outer joins
adamc@755 13 - SQL views
adamc@756 14 - Subforms
adamc@768 15 - C and JavaScript FFI
adamc@768 16 - Path rewriting
adamc@716 17
adamc@702 18 ========
adamc@702 19 20090405
adamc@702 20 ========
adamc@702 21
adamc@702 22 - Asynchronous message-passing and the associated server-side client
adamc@702 23 bookkeeping
adamc@702 24 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 25 - spawn and sleep
adamc@702 26 - Expand the constructor class instance rule format
adamc@702 27
adamc@663 28 ========
adamc@663 29 20090312
adamc@663 30 ========
adamc@663 31
adamc@663 32 - Replace type-level "fold" with "map"
adamc@663 33 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 34 supported by some special compiler inference
adamc@663 35 - Replace guarded constructors with guarded types, introduced only by
adamc@663 36 guarded expression abstraction, and with a new explicit application form
adamc@663 37 - Kind polymorphism
adamc@663 38 - Generalize type classes to constructor classes
adamc@663 39 - Initial compilation of client-side code to JavaScript
adamc@663 40 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 41 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 42
adamc@506 43 ========
adamc@561 44 20081209
adamc@506 45 ========
adamc@506 46
adamc@506 47 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 48 - Optimization of bottleneck compiler phases
adamc@561 49 - Reference manual
adamc@561 50 - SQL arithmetic operators
adamc@506 51
adamc@504 52 ========
adamc@504 53 20081120
adamc@504 54 ========
adamc@504 55
adamc@504 56 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 57 - Take advantage of nested functions in some demos
adamc@504 58 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 59 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 60 prose
adamc@504 61
adamc@467 62 ========
adamc@497 63 20081118
adamc@467 64 ========
adamc@467 65
adamc@467 66 - Nested function definitions
adamc@467 67 - Primitive "time" type
adamc@467 68 - Nullable SQL columns (via "option")
adamc@467 69 - Cookies
adamc@663 70 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 71 function type)
adamc@467 72
adamc@435 73 ========
adamc@435 74 20081028
adamc@435 75 ========
adamc@435 76
adamc@435 77 - Add GCCARGS configure option
adamc@435 78
adamc@433 79 ========
adamc@433 80 20081027
adamc@433 81 ========
adamc@433 82
adamc@433 83 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 84 - Remove need for "() <-" notation.
adamc@433 85
adamc@433 86 ========
adamc@433 87 20081026
adamc@433 88 ========
adamc@433 89
adamc@433 90 - Change 'sed' call to work on OSX.
adamc@433 91 - Avoid including or linking libpq files on apps that don't use SQL.