Mercurial > urweb

annotate CHANGELOG @ 1346:faad7d01b200

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