Mercurial > urweb

annotate CHANGELOG @ 1795:d28adceef22a

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