Mercurial > urweb

annotate CHANGELOG @ 1640:dc986eb6113c

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