annotate CHANGELOG @ 942:280f81731426

Escape character constants; lift indices properly in Reduce 'case' simplification
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 12:41:54 -0400
parents 095df8f710e0
children b8048f6e25ef
rev   line source
adamc@929 1 ========
adamc@929 2 20090912
adamc@929 3 ========
adamc@929 4
adamc@929 5 - Bug fixes
adamc@929 6 - Optimization improvements
adamc@929 7 - New set of extra demos in demo/more
adamc@929 8
adamc@914 9 ========
adamc@914 10 20090825
adamc@914 11 ========
adamc@914 12
adamc@914 13 - Many bug fixes
adamc@914 14 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 15 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 16
adamc@897 17 ========
adamc@897 18 20090718
adamc@897 19 ========
adamc@897 20
adamc@897 21 - New application protocols: CGI and FastCGI
adamc@897 22 - New database backends: MySQL and SQLite
adamc@897 23 - More JavaScript events added to tags in standard library
adamc@897 24 - New manual section on using the foreign function interface (FFI)
adamc@897 25
adamc@852 26 ========
adamc@852 27 20090623
adamc@852 28 ========
adamc@852 29
adamc@852 30 - Many bug fixes
adamc@852 31 - Mutually-recursive datatypes
adamc@852 32 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 33 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 34 value-level functions, to support the previous change
adamc@852 35 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 36 - Start of some new standard library modules
adamc@852 37 - Some improvements to JavaScript runtime, including better error handling
adamc@852 38
adamc@716 39 ========
adamc@790 40 20090505
adamc@716 41 ========
adamc@716 42
adamc@716 43 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 44 - SQL table constraints
adamc@770 45 - URLs
adamc@736 46 - Client-side error handling callbacks
adamc@736 47 - CSS
adamc@736 48 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 49 - Blobs and HTTP file upload
adamc@752 50 - SQL outer joins
adamc@755 51 - SQL views
adamc@756 52 - Subforms
adamc@768 53 - C and JavaScript FFI
adamc@768 54 - Path rewriting
adamc@716 55
adamc@702 56 ========
adamc@702 57 20090405
adamc@702 58 ========
adamc@702 59
adamc@702 60 - Asynchronous message-passing and the associated server-side client
adamc@702 61 bookkeeping
adamc@702 62 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 63 - spawn and sleep
adamc@702 64 - Expand the constructor class instance rule format
adamc@702 65
adamc@663 66 ========
adamc@663 67 20090312
adamc@663 68 ========
adamc@663 69
adamc@663 70 - Replace type-level "fold" with "map"
adamc@663 71 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 72 supported by some special compiler inference
adamc@663 73 - Replace guarded constructors with guarded types, introduced only by
adamc@663 74 guarded expression abstraction, and with a new explicit application form
adamc@663 75 - Kind polymorphism
adamc@663 76 - Generalize type classes to constructor classes
adamc@663 77 - Initial compilation of client-side code to JavaScript
adamc@663 78 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 79 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 80
adamc@506 81 ========
adamc@561 82 20081209
adamc@506 83 ========
adamc@506 84
adamc@506 85 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 86 - Optimization of bottleneck compiler phases
adamc@561 87 - Reference manual
adamc@561 88 - SQL arithmetic operators
adamc@506 89
adamc@504 90 ========
adamc@504 91 20081120
adamc@504 92 ========
adamc@504 93
adamc@504 94 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 95 - Take advantage of nested functions in some demos
adamc@504 96 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 97 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 98 prose
adamc@504 99
adamc@467 100 ========
adamc@497 101 20081118
adamc@467 102 ========
adamc@467 103
adamc@467 104 - Nested function definitions
adamc@467 105 - Primitive "time" type
adamc@467 106 - Nullable SQL columns (via "option")
adamc@467 107 - Cookies
adamc@663 108 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 109 function type)
adamc@467 110
adamc@435 111 ========
adamc@435 112 20081028
adamc@435 113 ========
adamc@435 114
adamc@435 115 - Add GCCARGS configure option
adamc@435 116
adamc@433 117 ========
adamc@433 118 20081027
adamc@433 119 ========
adamc@433 120
adamc@433 121 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 122 - Remove need for "() <-" notation.
adamc@433 123
adamc@433 124 ========
adamc@433 125 20081026
adamc@433 126 ========
adamc@433 127
adamc@433 128 - Change 'sed' call to work on OSX.
adamc@433 129 - Avoid including or linking libpq files on apps that don't use SQL.