annotate CHANGELOG @ 1585:d5fb78321cca

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