annotate CHANGELOG @ 909:1d3f60e74ec7

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