[Ur] New release

A new release is available at:   https://github.com/urweb/urweb/releases/tag/20200209 CHANGELOG for this release: - New invocation mode 'urweb daemon restart' - Disallow wildcards in signatures - At compile time, start allowing "#" as a URL - New option '-u' for generated HTTP servers, to

[Ur] New release

A new release is available at: https://github.com/urweb/urweb/releases/tag/20190217 CHANGELOG for this release: - Update of standard-library string functions to handle non-ASCII UTF-8 properly - New command-line options: -endpoints - New .urp directive: safeGetDefault - New Basis

[Ur] New release

I'm trying out a new release method, based on the GitHub feature of the same name.  You can find this release at:     https://github.com/urweb/urweb/releases/tag/20180616 CHANGELOG for this release: - New feature to cache files stored in the database as blobs, via the   'filecache' .urp

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Allow qualified variable references in record literals - Add 'placeholder' attribute for textareas - Add more explicit build instructions to main demo - Bug fixes

Re: [Ur] New release soon; any last change requests?

Good idea. Added! On 01/01/2017 08:10 PM, f...@tuta.io wrote: Hi Adam, - [Trivial change in basis.urs, line 1095] Would it be possible to add "placeholder" attribute to ctextarea? Relevant documentation: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea 2. Jan 2017

Re: [Ur] New release soon; any last change requests?

Hi Adam, - [Trivial change in basis.urs, line 1095] Would it be possible to add "placeholder" attribute to ctextarea? Relevant documentation: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea 2. Jan 2017 05:30 by ad...@csail.mit.edu: > After being way too distracted with

[Ur] New release soon; any last change requests?

After being way too distracted with other stuff for the last few months, I've cleared the backlog of Ur/Web bug reports and pull requests. I'd like to put out a new release soon, probably this Thursday. Do you have any last bug reports or (modest) enhancement requests to throw into the queue

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Add Json module to standard library - Make HTML5 the default and add 'xhtml' .urp directive - Remove 'Value' attributes for AJAX-y UI widgets, because they should use 'Source' instead - Change compiler to

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Compatibility fixes for C compilers and OpenSSL - Starting to change SQL functions to return results in most natural order - Step 1: queryL - Bug fixes ___ Ur

Re: [Ur] New release

Great, thanks! Any advice on the right way to cite the Homebrew package on the Ur/Web home page, similarly to how other packages are cited now? On 06/22/2016 04:35 AM, Eran Meir wrote: Hi, The pull request for homebrew-core was merged, so there's no more need to use the experimental tap.

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Client-side: detect session timeout and ask the user to reload - New Basis math functions: abs, acos, asin, atan, atan2, cos, exp, floor, log, pow, sqrt, sin - Compatibility fixes for newer C and SML

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Support for HTML tags - Resource-integrity attributes for HTML - Bug fixes and optimization improvements ___ Ur mailing list Ur@impredicative.com

Re: [Ur] New release

Homebrew tap updated with new release. You can 'brew upgrade urweb' to get it on your mac. Regards, Eran. On Sun, Nov 22, 2015 at 5:28 PM, Adam Chlipala wrote: > Available as usual at: http://www.impredicative.com/ur/ > > CHANGELOG for this release: > > - Daemon mode now

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

Re: [Ur] New release

Homebrew tap updated with new release. You can 'brew upgrade urweb' to get it on your mac. Regards, Eran. On Sun, Oct 18, 2015 at 5:55 PM, Adam Chlipala wrote: > Available as usual at: http://www.impredicative.com/ur/ > > CHANGELOG for this release: > > - Applications now

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Applications now reconnect to database server automatically after losing connection. - Bug fixes and improvements to compatibility, documentation, and error messages

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - New antiquote syntax for 'ORDER BY' clauses - New standard library function: List.mem - Bug fixes and improvements to type inference ___ Ur mailing list

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - New HTML attribute: 'role' - Bug fixes ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Improvements to HTML model - Bug fixes and optimization improvements ___ Ur mailing list Ur@impredicative.com

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - New syntactic shorthand for antiquoting subqueries - New Top members: max and min - 'sql_injectable_prim' instance for 'url' - Bug fixes ___ Ur mailing list

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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' -

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - New JavaScript FFI function: setInnerHTML - Bug fixes - Documentation improvements ___ Ur mailing list Ur@impredicative.com

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - '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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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' -

Re: [Ur] New release

I've updated a 'brew' formula for homebrew users. Any OS X people who want it through brew can do: $ brew install https://raw.github.com/thoughtpolice/homebrew/urweb/Library/Formula/urweb.rb for the latest release. I removed the binary version because otherwise it wouldn't be accepted into

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - New experimental checker for information flow and access control policies (See demo at http://www.impredicative.com/ur/scdv/) ___ Ur mailing list

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - -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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - 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

[Ur] New release

Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Bug fixes - Improvement to choice of line number to cite in record unification error messages - SELECT DISTINCT - New extra demos: orm1 and versioned1 ___ Ur

Re: [Ur] New release

nitralime wrote: On Sun, Sep 20, 2009 at 1:38 PM, Adam Chlipala ad...@impredicative.com mailto:ad...@impredicative.com wrote: nitralime wrote: Just for your Info! On the page (http://www.impredicative.com/ur/more/) I got the following error message by clicking on Grid1: