annotate CHANGELOG @ 1107:52571ca9b777

Eta-expand bodies of transaction functions in Monoization, to enable later optimization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 18:07:53 -0500
parents 2f42c61b8d0a
children 81ddb010751e
rev   line source
adamc@1065 1 ========
adamc@1103 2 20091230
adamc@1065 3 ========
adamc@1065 4
adamc@1093 5 - Automatic insertion of implicit arguments in more positions
adamc@1065 6 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 7 - More syntactic sugar for SQL
adamc@1070 8 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 9 had none of their fields projected
adamc@1075 10 - Tasks
adamc@1095 11 - Dynamic linking of the runtime system
adamc@1077 12 - Optimization improvements
adamc@1103 13 - Bug fixes
adamc@1065 14
adamc@1050 15 ========
adamc@1056 16 20091203
adamc@1050 17 ========
adamc@1050 18
adamc@1050 19 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 20 - Bug fixes
adamc@1056 21 - Extended UTF-8 characters in HTML
adamc@1050 22
adamc@1043 23 ========
adamc@1043 24 20091124
adamc@1043 25 ========
adamc@1043 26
adamc@1043 27 - Improved Internet Explorer compatibility
adamc@1043 28
adamc@1020 29 ========
adamc@1033 30 20091108
adamc@1020 31 ========
adamc@1020 32
adamc@1020 33 - Bug fixes
adamc@1020 34 - Optimization improvements
adamc@1021 35 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 36 from compiling
adamc@1020 37
adamc@999 38 ========
adamc@999 39 20091012
adamc@999 40 ========
adamc@999 41
adamc@999 42 - Small bug fixes affecting MySQL and SQLite
adamc@999 43
adamc@988 44 ========
adamc@997 45 20091009
adamc@988 46 ========
adamc@988 47
adamc@988 48 - Bug fixes
adamc@988 49 - Improvement to choice of line number to cite in record unification error
adamc@988 50 messages
adamc@994 51 - SELECT DISTINCT
adamc@996 52 - New extra demos: orm1 and versioned1
adamc@988 53
adamc@985 54 ========
adamc@985 55 20090926
adamc@985 56 ========
adamc@985 57
adamc@985 58 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 59 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 60 optimization of tail calls and occasional bugs in closure handling.
adamc@985 61 - Bug fixes
adamc@985 62
adamc@968 63 ========
adamc@968 64 20090919
adamc@968 65 ========
adamc@968 66
adamc@968 67 - Bug fixes
adamc@968 68 - Optimization improvements
adamc@968 69 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 70 paging, selecting rows, aggregate row
adamc@968 71
adamc@929 72 ========
adamc@929 73 20090912
adamc@929 74 ========
adamc@929 75
adamc@929 76 - Bug fixes
adamc@929 77 - Optimization improvements
adamc@929 78 - New set of extra demos in demo/more
adamc@929 79
adamc@914 80 ========
adamc@914 81 20090825
adamc@914 82 ========
adamc@914 83
adamc@914 84 - Many bug fixes
adamc@914 85 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 86 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 87
adamc@897 88 ========
adamc@897 89 20090718
adamc@897 90 ========
adamc@897 91
adamc@897 92 - New application protocols: CGI and FastCGI
adamc@897 93 - New database backends: MySQL and SQLite
adamc@897 94 - More JavaScript events added to tags in standard library
adamc@897 95 - New manual section on using the foreign function interface (FFI)
adamc@897 96
adamc@852 97 ========
adamc@852 98 20090623
adamc@852 99 ========
adamc@852 100
adamc@852 101 - Many bug fixes
adamc@852 102 - Mutually-recursive datatypes
adamc@852 103 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 104 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 105 value-level functions, to support the previous change
adamc@852 106 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 107 - Start of some new standard library modules
adamc@852 108 - Some improvements to JavaScript runtime, including better error handling
adamc@852 109
adamc@716 110 ========
adamc@790 111 20090505
adamc@716 112 ========
adamc@716 113
adamc@716 114 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 115 - SQL table constraints
adamc@770 116 - URLs
adamc@736 117 - Client-side error handling callbacks
adamc@736 118 - CSS
adamc@736 119 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 120 - Blobs and HTTP file upload
adamc@752 121 - SQL outer joins
adamc@755 122 - SQL views
adamc@756 123 - Subforms
adamc@768 124 - C and JavaScript FFI
adamc@768 125 - Path rewriting
adamc@716 126
adamc@702 127 ========
adamc@702 128 20090405
adamc@702 129 ========
adamc@702 130
adamc@702 131 - Asynchronous message-passing and the associated server-side client
adamc@702 132 bookkeeping
adamc@702 133 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 134 - spawn and sleep
adamc@702 135 - Expand the constructor class instance rule format
adamc@702 136
adamc@663 137 ========
adamc@663 138 20090312
adamc@663 139 ========
adamc@663 140
adamc@663 141 - Replace type-level "fold" with "map"
adamc@663 142 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 143 supported by some special compiler inference
adamc@663 144 - Replace guarded constructors with guarded types, introduced only by
adamc@663 145 guarded expression abstraction, and with a new explicit application form
adamc@663 146 - Kind polymorphism
adamc@663 147 - Generalize type classes to constructor classes
adamc@663 148 - Initial compilation of client-side code to JavaScript
adamc@663 149 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 150 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 151
adamc@506 152 ========
adamc@561 153 20081209
adamc@506 154 ========
adamc@506 155
adamc@506 156 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 157 - Optimization of bottleneck compiler phases
adamc@561 158 - Reference manual
adamc@561 159 - SQL arithmetic operators
adamc@506 160
adamc@504 161 ========
adamc@504 162 20081120
adamc@504 163 ========
adamc@504 164
adamc@504 165 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 166 - Take advantage of nested functions in some demos
adamc@504 167 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 168 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 169 prose
adamc@504 170
adamc@467 171 ========
adamc@497 172 20081118
adamc@467 173 ========
adamc@467 174
adamc@467 175 - Nested function definitions
adamc@467 176 - Primitive "time" type
adamc@467 177 - Nullable SQL columns (via "option")
adamc@467 178 - Cookies
adamc@663 179 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 180 function type)
adamc@467 181
adamc@435 182 ========
adamc@435 183 20081028
adamc@435 184 ========
adamc@435 185
adamc@435 186 - Add GCCARGS configure option
adamc@435 187
adamc@433 188 ========
adamc@433 189 20081027
adamc@433 190 ========
adamc@433 191
adamc@433 192 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 193 - Remove need for "() <-" notation.
adamc@433 194
adamc@433 195 ========
adamc@433 196 20081026
adamc@433 197 ========
adamc@433 198
adamc@433 199 - Change 'sed' call to work on OSX.
adamc@433 200 - Avoid including or linking libpq files on apps that don't use SQL.