Mercurial > urweb

annotate CHANGELOG @ 1591:20f898c29525

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweaks to choices of source positions to use in error messages, including for subSgn
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 13:12:07 -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.