annotate CHANGELOG @ 985:28bf725de7f3

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