Mercurial > urweb

annotate CHANGELOG @ 1486:7f8ddcf12b20

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