annotate CHANGELOG @ 996:6c5f79209db6

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