annotate CHANGELOG @ 1190:899875315bde

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