view CHANGELOG @ 2195:18e6fb487880

Reduce: add reduction in some spots previously missed, associated with 'case' return types
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Nov 2015 18:48:17 -0500
parents 1d6e7e3405f6
children a7cc6c29d836
line wrap: on
line source
========
20151122
========

- Daemon mode now supports shared caching of libraries across projects.
- Change behavior of SQL equality to do the intuitive thing for nullable types.
- Basis.fromMilliseconds
- Bug fixes and improvements to type inference and error messages

========
20151018
========

- Applications now reconnect to database server automatically after losing connection.
- Bug fixes and improvements to compatibility, documentation, and error messages

========
20150819
========

- Allow mouse and key events for <body>
- Add HTML 'align' attribute
- Add onChange handler to radioOption
- New literal [_LOC_] that is replaced with textual information on location in source file
- Add a simple 'make test' target
- Bug fixes and documentation improvements

========
20150520
========

- Change default behavior of client-side GUI event handlers:
  By default, events are now passed to handlers on parent DOM nodes as well,
  just like in normal JavaScript.
  Call [preventDefault] or [stopPropagation] to tweak that behavior.
  WARNING: This change may break backward compatibility!
- URIs specified with 'file' .urp directive are implicitly allowed to be referenced.
- New HTML tags: <fieldset>, <legend>
- New urweb-mode Emacs command: 'urweb-close-matching-tag'
- Bug fixes

========
20150412
========

- Several new infix operators for function composition, etc.
- Hexadecimal integer literals
- New HTML events: 'oncontextmenu', 'onmouseenter', and 'onmouseleave'
- New HTML attributes: 'download'
- Bug fixes and optimization improvements

========
20150214
========

- Bug fixes and improvements to type inference and optimization

========
20150103
========

- New antiquote syntax for 'ORDER BY' clauses
- New standard library function: List.mem
- Bug fixes and improvements to type inference

========
20141206
========

- New HTML5 form widget tags and attributes
- New command-line option for HTTP servers: '-T', to set recv() timeout
- New C function uw_remoteSock() for use in FFI code
- Bug fixes and improvements to type inference and optimization

========
20140830
========

- New HTML attribute: 'role'
- Bug fixes

========
20140819
========

- Improvements to HTML model
- Bug fixes and optimization improvements

========
20140807
========

- New .urp directive: 'file'
- Support for 'aria-*' attributes in HTML
- Default value of 'jsFunc' for less-safe FFI
- Client-side implementation of Basis function 'strsindex'
- Bug fixes and improvements to type inference and documentation

========
20140704
========

- New syntactic shorthand for antiquoting subqueries
- New Top members: max and min
- 'sql_injectable_prim' instance for 'url'
- Bug fixes

========
20140615
========

- New syntactic sugar: 'let E where DS end' for 'let DS in E end'
- Add 'onChange' attributes to more tags.
- New standard library function: String.trim
- Start treating Ur/Web tag <button> as real HTML tag <button>,
  with special handling of 'value' attribute as tag content.
- Bug fixes

========
20140531
========

- Parsing extension: monadic bind supports patterns, like "(x, y) <- a; b"
- New, optional less safe FFI
- New HTML tags: <tbody>, <tfoot>, <thead>
- HTML5 data-* attributes
- HTML5 semantic tags
- Syntactic sugar extension: allow parens grouping joins in FROM clauses
- Bug fixes and documentation improvements

========
20140426
========

- New Basis functions having to do with dates and times, wrapped nicely in new
  Datetime module of standard library
- New .urp directives: 'html5', 'neverInline', 'noMangleSql'
- New command-line arguments: '-explainEmbed', '-stop'
- Changes to C FFI interface, especially for uw_register_transactional()
- 'Basis.getEnv' now always calls UNIX getenv() outside a page handler.
- Changed <active> to avoid generating an empty <span> for empty content.
- New HTML tag: <pre>
- Bug fixes and improvements to type inference, optimizations, and documentation

========
20131231
========

- Performance optimizations for Ur/Web's standalone HTTP servers
- New command-line options for those servers: '-k' and '-q'
- New HTML pseudo-tag: <script>
- Trying to recv() from a different client's channel now triggers a run-time
  error.
- New compiler command-line argument: -print-cinclude
- Bug fixes and improvements to optimizations, error messages, and documentation

========
20131124
========

- Extend 'where con' to allow descending into submodule structure
- Type inference improvements
- Treat transactional FFI functions as effectful by default,
  so that 'effectful'/'benignEffectful' .urp directives aren't necessary
- Interpret 'table' signature items more flexibly,
  automatically adding (Ur) constraints to support
  a kind of subtyping over (SQL) constraint sets
- New header file scheme to support FFI code in either of C or C++
- New command-line arguments: -ccompiler, -print-ccompiler
- More HTML tags: <dd>, <dl>, <dt>, <em>, and <strong>
- Add 'rel' attribute to <a>
- New type synonym 'xhead'
- Refactored the development Mercurial repository to remove autogenerated files
- More integration with Autotools distribution functionality
- Improvements to documentation and compiler error messages
- Bug fixes and optimization improvements

========
20130421
========

- Allow any FFI module to declare new HTML tags
- Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a
  kind of simple dynamic typing (unsafe, of course)
- Add some name-mangling rules to allow XML attribute 'name' and attributes with
  dashes
- New Basis members: pow and tryRpc
- Add 'placeholder' attribute for <password>
- New standard library functions: Option.unsafeGet
- Add ./configure MLTONARGS option for MLTON arguments
- Bug fixes and documentation improvements

========
20120925
========

- Changes to optimization/compilation strategy that can speed up compilation and
  reduce code size dramatically
- New .urp directives: 'coreInline' and 'monoInline'
- 'show' instance for 'sql_query'
- Improvements to compiler error messages
- Bug fixes and optimization improvements

========
20120807
========

- Client-side mouse and keyboard event handlers are now functions over records.
- More flexibility in local type class instances
- Remove 'class' declaration; use 'con' instead now.
- SQL window functions
- New HTML pseudo-tag: <active>
- New Basis members: getenv (and associated functions), giveFocus
- New Top member: postFields (to process POST form data when called by some external script)
- HTTP daemons take '-a' option to set IP address to listen on
- More global mouse event hooks
- Bug fixes and performance improvements

========
20120519
========

- Compatibility fixes for new Automake and GCC versions
- Allow synchronous RPC's in 'onunload' code
- Start of special cases for parsing CSS class names: interpret "table" as identifier 'tabl'
  (since 'table' is an Ur/Web keyword)
- Bug fixes and improvements to type inference and optimization

========
20120512
========

- New support for CSS style code embedded in Ur/Web programs.
  Two recommended usage methods:
  1. Use 'style' attributes with normal CSS syntax inside string literals.
  2. Generate styles programmatically with the Style module of the Gui library
     (distributed separately).
- 'dynStyle' attribute, which is to 'style' as 'dynClass' is to 'class'
- Parsing of standard syntax for 'class' attributes, via specially interpreted
  string literals
- New optional suffix for 'rewrite' in .urp files: [-]
- Compiler error message improvements, including simplification of types
- New command line parameters: '-boot', '-dumpTypesOnError', '-unifyMore'
- New .urp directives: 'linker'
- Support for speeding up compilation by caching type inference results:
  Run 'urweb daemon start' to spawn a background process,
  'urweb daemon stop' to kill it.
- Enforcement of uniqueness of top-level module names across a project
- Adjust error message format to match Emacs compilation mode defaults
- More HTML attributes added
- New antiquote syntax for 'PRIMARY KEY'
- Bug fixes and improvements to type inference and platform compatibility

========
20120329
========

- New JavaScript FFI function: setInnerHTML
- Bug fixes
- Documentation improvements

========
20120310
========

- 'ORDER BY RANDOM'
- New Basis members: diffInMilliseconds, toMilliseconds
- <radio> widget now returns 'option string' instead of 'string'
- '-dumpSource' command-line flag
- Bug fixes and optimization improvements

========
20120110
========

- Improvements to type inference and error messages
- New 'dynClass' pseudo-attribute for most HTML tags
- New 't.*' notation for selecting all columns of a table
- New SQL functions: 'lower' and 'upper'
- 'timeFormat' .urp directive
- Client-side 'debug' and 'naughtyDebug' calls use a browser debug console, if available
- Allow 'source' values to be returned by RPCs
- Change the HTML context classification scheme in 'Basis'
- Rename 'Top.id' to 'ident' to avoid clash with 'Basis.id'
- More client-side function implementations
- Some expanded reference manual sections
- Tweak to linker command line argument order (to prevent issues with new Ubuntu versions)
- Bug fixes

========
20111127
========

- Improvements to type inference and error messages
- New Basis members: ceil, float, null, round, trunc
- New SQL expression forms: 'IF..THEN..ELSE', 'COALESCE', and 'LIKE'
- Support for the full set of HTML character entities
- Client-side versions of some time-related functions
- New URWEB_PG_CON environment variable
- Allow arguments for 'con' signature items, not just declarations
- Bug fixes and performance improvements
- Tweaks for idiosyncrasies of OS X (like deprecated OpenSSL)

========
20110917
========

- Start of official tutorial
- Compiler support for generating nice tutorial HTML from literate source files
- New protocol 'static' for generating static pages
- Replace GCCARGS 'configure' variable with CCARGS
- Better support for compilation with Clang (including on OS X)
- Fancier 'configure' script with versioning
- Applications consult URWEB_STACK_SIZE environment variable to determine thread
  stack size
- HTML tag IDs now drawn from an abstract type
- New Basis functions: diffInSeconds, mkMonad, onClick, onDblclick, onKeydown,
  onKeypress, onKeyup, onMousedown, onMouseup, preventDefault, stopPropagation,
  toSeconds
- Add <image> tag
- Add 'target' attribute for <a>
- New compiler command-line option: -dumpTypes
- New syntactic sugar for computed ORDER BY clauses
- Bug fixes and optimization improvements

========
20110715
========

- Treat local variables the same as module-level variables, for the purpose of
  implicit argument insertion
- New 'noXsrfProtection' directive for .urp files
- Non-debug builds omit source location information in error messages shown to
  the user (but keep that information in log entries)
- Basis.getHeader and Basis.setHeader
- Basis.show_css_class
- Basis.currentUrlHasQueryString
- Make Basis.rand cryptographically secure
- Client-side versions of Basis.now and Basis.show_time
- Bug fixes
- Improvements to auto-configuration and build process (now builds with LLVM's
  Clang!)
- Clarifications in the manual

========
20110517
========

- Cygwin compatibility
- Compatibility with Gentoo packaging process, including a .ebuild file
- Change typing of SQL subqueries, to indicate that they may always return NULL
  (for no rows)
- Syntactic sugar for GROUP BY with variable numbers of columns
  (using 'tab.{{c}}', where 'c :: {Type}')
- 'ALL' for SQL relational operators
- Add nullable types to the class for valid operands for SQL arithmetic
- 'alt' attribute for <img>
- <sup> and <sub> HTML tags
- Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert'
- Bug fixes and optimization improvements

========
20110123
========

- Changes to encoding of SQL aggregate functions: nullable types may be
  aggregated, and non-COUNT aggregates return nullable results.
- SQL subqueries may apply aggregate functions to columns bound in enclosing
  queries.
- Switch from libmhash to OpenSSL.
- 'cdataChar', for injecting arbitrary character codes into XML
- 'crypt', for access to the standard UNIX password encryption routine
- 'readUtc', for parsing time strings in the UTC time zone
- Built-in 'time' type now stores microseconds (which for now are only used in
  connection with Postgres timestamps).
- Client-side URL blessing and redirection
- 'currentUrlHasPost' function
- Transactional 'free' functions now passed an argument indicating whether the
  runtime system expects to retry the transaction.
- Change tasks to allow task kind-specific inputs
- Add 'clientLeaves' and 'periodic' task kinds
- Support for externally-callable pages, via the 'postBody' and 'queryString'
  types and the 'effectfulUrl' function
- 'minHeap' and 'alwaysInline' .urp options
- '-prefix' command-line option
- Comments in .urp files (lines starting with '#')
- Miscellaneous additions to the standard library
- Bug fixes and improvements to type inference and optimization

========
20101102
========

- Polymorphic variants (see Basis.variant)
- New 'onError' directive for .urp files
- (* *) and <!-- --> comments in XML
- Basis.classes, Basis.confirm, and Basis.tryDml
- New notations ::_ and :::_, for constructor parameters of unknown kind
- Invocations like 'urweb foo' will compile foo.ur as a single-file project,
  even if no foo.urp exists
- '-limit' command-line flag and 'limit' .urp directive
- Bug fixes and optimization improvements

========
20100603
========

- Changed URL escaping convention, to avoid confusing proxies.
  The new convention is like the normal one, but with '.' instead of '%'.
- Changed JavaScript compilation of recursive functions to use thunks.
  This change avoids most costs of functions not referenced on particular
  pages, reducing loading time dramatically.
- Support HTTP caching of application-specific JavaScript code
- Bug fixes

========
20100506
========

- New experimental checker for information flow and access control policies
  (See demo at http://www.impredicative.com/ur/scdv/)

========
20100401
========

- Subquery expressions and FROM items
- Low-level support for SELECT with no FROM clause
- Fixes for DBMS-portability of relational operators

========
20100325
========

- -verbose flag
- COUNT(col) SQL aggregate function
- 'benignEffectful' and 'safeGet' .urp commands
- Remove Basis.getRequestHeader, since it can be used to circumvent cookie
  security
- Rename Top.foldR*X to map*X
- Bug fixes and optimization improvements

========
20100213
========

- Improvements to 'configure'; should now fail if any uncommon but required
  package is missing
- Other fixes to configuration, build system, and C code portability
- sigfile .urp directive & -sigfile command-line option
- .urp files with no directives no longer need to begin with blank lines.
- Other bug fixes

========
20100130
========

- Conversion to an Automake-based build system, for greater portability in
  building shared libraries
- -path and -root command-line flags
- Exported page handling functions (i.e., those page-generating functions
  appearing in the main module's signature) may now take any number of
  arguments, including 0.

========
20100112
========

- Basis.serialized type family, for storing more types in the database
- Basis.textBlob, for building blobs from strings
- Basis.debug function, for server-side debug printing
- Bug fixes & optimization improvements

========
20091230
========

- Automatic insertion of implicit arguments in more positions
- Reifying expressions as URLs and redirecting to them explicitly
- More syntactic sugar for SQL
- Typing of SQL queries no longer exposes which tables were used in joins but
  had none of their fields projected
- Tasks
- Dynamic linking of the runtime system
- Optimization improvements
- Bug fixes

========
20091203
========

- Extended cookie interface (breaks backward compatibility for 'setCookie')
- Bug fixes
- Extended UTF-8 characters in HTML

========
20091124
========

- Improved Internet Explorer compatibility

========
20091108
========

- Bug fixes
- Optimization improvements
- Removed a restriction that prevented some RPCs and calls to sleep or recv
  from compiling

========
20091012
========

- Small bug fixes affecting MySQL and SQLite

========
20091009
========

- Bug fixes
- Improvement to choice of line number to cite in record unification error
  messages
- SELECT DISTINCT
- New extra demos: orm1 and versioned1

========
20090926
========

- Reimplemented client-side code generation to use an interpreter, rather than
  compilation to JavaScript; this avoids common browser flaws: lack of
  optimization of tail calls and occasional bugs in closure handling.
- Bug fixes

========
20090919
========

- Bug fixes
- Optimization improvements
- Expanded grid demo in demo/more: optional columns, sorting, filtering,
  paging, selecting rows, aggregate row

========
20090912
========

- Bug fixes
- Optimization improvements
- New set of extra demos in demo/more

========
20090825
========

- Many bug fixes
- Remote procedure calls must be marked with the new 'rpc' function.
- Some tweaks to enable usage on OSX (suggested by Paul Snively)

========
20090718
========

- New application protocols: CGI and FastCGI
- New database backends: MySQL and SQLite
- More JavaScript events added to tags in standard library
- New manual section on using the foreign function interface (FFI)

========
20090623
========

- Many bug fixes
- Mutually-recursive datatypes
- SML-style pattern-matching syntax for "fun", "fn", and local "val"
- Backwards-incompatible change to syntax of formal constructor parameters to
  value-level functions, to support the previous change
- Path map support inspired by SML/NJ CM and MLton ML Basis
- Start of some new standard library modules
- Some improvements to JavaScript runtime, including better error handling

========
20090505
========

- Reimplement constructor class resolution to be more general and Prolog-like
- SQL table constraints
- URLs
- Client-side error handling callbacks
- CSS
- Signing cookie values cryptographically to thwart cross site request forgery
- Blobs and HTTP file upload
- SQL outer joins
- SQL views
- Subforms
- C and JavaScript FFI
- Path rewriting

========
20090405
========

- Asynchronous message-passing and the associated server-side client
  bookkeeping
- Reimplement parts of the client-side runtime system to avoid space leaks
- spawn and sleep
- Expand the constructor class instance rule format

========
20090312
========

- Replace type-level "fold" with "map"
- Replace expression-level "fold" with folders, defined in Top and
  supported by some special compiler inference
- Replace guarded constructors with guarded types, introduced only by
  guarded expression abstraction, and with a new explicit application form
- Kind polymorphism
- Generalize type classes to constructor classes
- Initial compilation of client-side code to JavaScript
- Initial support for mixed client- and server-side programming (i.e., "AJAX")
- src/coq: Coq formalization of a core Ur-like calculus

========
20081209
========

- Optimization: Fusing page writes with calls to recursive functions
- Optimization of bottleneck compiler phases
- Reference manual
- SQL arithmetic operators

========
20081120
========

- Fix bug that sometimes led to omission of initial "<html>" in pages
- Take advantage of nested functions in some demos
- "profile" option that may appear in .urp files, to enable gprof profiling
- "-guided-demo" option that works like "-demo" but uses less screen space for
  prose

========
20081118
========

- Nested function definitions
- Primitive "time" type
- Nullable SQL columns (via "option")
- Cookies
- Compiler: Specialization of functions to known arguments (especially of
  function type)

========
20081028
========

- Add GCCARGS configure option

========
20081027
========

- On missing inputs, print an error message, but don't exit the web server.
- Remove need for "() <-" notation.

========
20081026
========

- Change 'sed' call to work on OSX.
- Avoid including or linking libpq files on apps that don't use SQL.