[Ur] New release

[Adam Chlipala]

There's a new Ur/Web release up at
http://www.impredicative.com/ur/

This one mainly adds asynchronous message-passing for inter-client 
communication.

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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



___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

This is the first release that I'm calling "beta."  I intend for it to 
be usable for Real Work.  If some missing feature is important to you, 
please either e-mail me or post to this mailing list about it, as 
appropriate.  I might veto some suggestions that don't match my vision 
of the right abstractions to be providing, but I try to be reasonable. =)

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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)


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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)

P.S.: I'm giving a presentation on Ur/Web at DEFUN 
(http://www.defun2009.info/) on September 5 in Edinburgh, Scotland.  I 
hope to see some of you there!

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- Improved Internet Explorer compatibility

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 improvements


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 map*X
- Bug fixes and optimization improvements


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

I'm still looking for people interested in building real applications, 
commercial or not, with Ur/Web.  I'm willing to devote substantial time 
(e.g., building domain-specific libraries) to specific projects that can 
help put Ur/Web through its paces.  Please contact me if you're 
interested.  I think of this as an opportunity to crush the competition 
in web development, thanks to Ur/Web's advantages in programmer 
productivity, performance, and security. :)


CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 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 
-  and  HTML tags
- Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 
'alert'

- Bug fixes and optimization improvements


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 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  tag
- Add 'target' attribute for 
- New compiler command-line option: -dumpTypes
- New syntactic sugar for computed ORDER BY clauses
- Bug fixes and optimization improvements


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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)

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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'
- '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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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: 
- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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'
- Improvements to compiler error messages
- Bug fixes and optimization improvements


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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 
- New standard library functions: Option.unsafeGet
- Add ./configure MLTONARGS option for MLTON arguments
- Bug fixes and documentation improvements


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 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: , , , , and 
- Add 'rel' attribute to 
- 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

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- Performance optimizations for Ur/Web's standalone HTTP servers
- New command-line options for those servers: '-k' and '-q'
- New HTML pseudo-tag: 

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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  to avoid generating an empty  for empty content.
- New HTML tag: 
- Bug fixes and improvements to type inference, optimizations, and 
documentation


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

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

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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  as real HTML tag ,
  with special handling of 'value' attribute as tag content.
- Bug fixes

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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

[Adam Chlipala]

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 inference and optimization

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- Bug fixes and improvements to type inference and optimization


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 [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: , 
- New urweb-mode Emacs command: 'urweb-close-matching-tag'
- Bug fixes


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- Allow mouse and key events for 
- 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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 type inference and error messages

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- New .urp directive: 'jsFile'
- Merged an experimental automatic caching optimization, triggered with 
'-sqlcache'

- Bug fixes


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- .urp 'library' directive: only process a given library the first time 
it is referenced
- For maintenance of Ur/Web project source code, switched from Mercurial 
to Git

- Added Travis integration
- Bug fixes and improvements to type inference and compatibility


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- Allow '\r' in string and character literals
- New standard library functions: List.span and List.groupBy
- Bug fixes


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 compilers
- Bug fixes


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 support reproducible builds, via replacement of 
timestamp

  calculation with different methods or use of content hashes
- IPv6 support in HTTP-server binaries, via '-A' command-line option
- New Top function: mapUX_rev
- Bug fixes and documentation improvements


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- New .urp directive: 'jsModule'
- New compiler command-line option: '-js'
- New HTML attribute for : 'disabled'
- Allow inexhaustive patterns for lefthand sides of top-level 'val' 
declarations

- New standard-library functions: 'List.appi' and 'Option.app'
- Support for Emacs bg-build mode
- Bug fixes and improvements to error messages


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 directive
- New .urp directives: 'mimeTypes' and 'file' (new long form)
- New HTML pseudo-tag: 
- New HTML tag attributes: 'oninput', 'onscroll', 'title', 'size'
- New standard-library functions: 'List.findM' and 'List.existsM'
- New '-help' command-line option for compiler
- Remove insecure function 'Basis.crypt' (which didn't seem to have any 
users)

- Selenium-based automatic testing
- Bug fixes and improvements to documentation and error messages

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 functions: textOfBlob, unsafeSerialized[To|From]String
- New Top functions: mapX4, foldR4
- New List functions: allM, assocAddSorted, mapConcat, mapConcatM, 
mapMi, searchM

- New ListPair functions: mapM, unzip
- New Option function: mapM
- Flycheck integration
- Bug fixes and improvements to type inference, documentation, error 
messages, and compatibility



___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release

[Adam Chlipala]

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 use UNIX sockets
- New HTML tag attribute: 'step' (for )
- New SQL function: 'similar' (via pg_trgm)
- New List function: foldli
- New Json functions: json_record_withOptional, json_time, rfc3339_in, 
rfc3339_out

- New Datetime member: ord_month
- New JavaScript FFI function 'listen'
- Experimental support for the Language Server Protocol (helpful for IDEs)
- Bug fixes and improvements to documentation, error messages, 
performance, and compatibility



___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[emmanuel.delaborde]

cool bananas !

Thanks Adam

On 18 Jul 2009, at 20:33, Adam Chlipala wrote:


This is the first release that I'm calling "beta."  I intend for it to
be usable for Real Work.  If some missing feature is important to you,
please either e-mail me or post to this mailing list about it, as
appropriate.  I might veto some suggestions that don't match my vision
of the right abstractions to be providing, but I try to be  
reasonable. =)


Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- 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)


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


--
Emmanuel Delaborde
Web Technologist
Cimex
53-55 Scrutton Street, London UK, EC2A 4PJ
T: +44 (0)20 7324 7780
F: +44 (0)20 7324 7781
http://www.cimex.com


---

This e-mail (and any attachments) is confidential and may contain 
personal views which are not the views of Cimex Media Ltd and 
any affiliated companies, unless specifically stated. It is intended 
for the use of the individual or group to whom it is addressed. If 
you have received it in error, please delete it from your system, 
do not use, copy or disclose the information in any way nor act in 
reliance on it and please notify postmas...@cimex.com


A company registered in England  Wales. Company Number 03765711
Registered Office : The Olde Bakehouse, 156 Watling Street East, Towcester,
Northants NN12 6DB

This email was scanned by Postini, the leading provider in Managed Email 
Security.
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[nitralime]

Just for your Info!
On the page (http://www.impredicative.com/ur/more/)
I got the following error message by clicking on "Grid1":
-
Fail: ReferenceError: _16 is not defined
-
After clicking 13 times on "OK" the popup window disappreared!


On Sat, Sep 19, 2009 at 10:38 PM, Adam Chlipala wrote:

> Available as usual at: http://www.impredicative.com/ur/
>
> CHANGELOG for this release:
>
> - Bug fixes
> - Optimization improvements
> - Expanded grid demo in demo/more: optional columns, sorting, filtering,
>  paging, selecting rows, aggregate row
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[nitralime]

I get the same error in Firefox 3.5.3 on (Arch)Linux and Windows XP!

IE 8.0 on WinXP works. There is also an error message
-
line: 397
character: 3
code: 0
URI: http://www.impredicative.com/ur/more/More/app.js
-

Welcome to the messy world of JavaScript and Browsers!

On Sun, Sep 20, 2009 at 2:29 PM, nitralime  wrote:

> Firefox 3.5.3 on Mac OS X (10.5.8, Intel)!
>
> I didn't get this error in Safari 4.0.3.
> However, the borders around the grid elemets
> are missing!
>
> There are also two messages in error console:
>
> /ur/more/More/Grid1/main:12  XML self-closing tag syntax used on . The
> tag will not be closed.
> /ur/more/More/Grid1/main:89  XML self-closing tag syntax used on . The
> tag will not be closed.
>
>
>
> On Sun, Sep 20, 2009 at 1:38 PM, Adam Chlipala 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":
>>> -
>>> Fail: ReferenceError: _16 is not defined
>>> -
>>>
>>
>> Which browser are you using?
>>
>
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Adam Chlipala]

nitralime wrote:
On Sun, Sep 20, 2009 at 1:38 PM, Adam Chlipala 
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":
-
Fail: ReferenceError: _16 is not defined
-


Which browser are you using?
Firefox 3.5.3 on Mac OS X (10.5.8, Intel)!


OK, the new Ur/Web release works for me in the latest Firefox.  I'm 
pretty confident that it's a Firefox bug that caused the trouble, but 
I've changed the compiler so that that sort of bug shouldn't cause 
trouble in the future.



I didn't get this error in Safari 4.0.3.
However, the borders around the grid elemets
are missing!


I have no idea how to deal with this, and it's infeasible for me to test 
anything on a Mac, so I'll ignore this for now.



There are also two messages in error console:

/ur/more/More/Grid1/main:12  XML self-closing tag syntax used on . 
The tag will not be closed.
/ur/more/More/Grid1/main:89  XML self-closing tag syntax used on . 
The tag will not be closed.


Thanks.  I've changed the compiler to avoid self-closing tags that 
weren't traditionally self-closing in HTML.



IE 8.0 on WinXP works. There is also an error message


I'm going to ignore IE for now, since I want to prioritize developing 
case studies that demonstrate why metaprogramming is nifty in Ur.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[nitralime]

Hi!

Now Firefox works fine!
Safari also works without errors (up to the reported display anomaly).

Just as a side info!

The behaviour of IE 8.0 is very strange (no update and
delete buttons and table body is also distorted!)
--
Line: 454
Character: 3
Code: 0
URI: http://www.impredicative.com/ur/more/More/app.js
--

Regards
Nik


On Sat, Sep 26, 2009 at 7:16 PM, Adam Chlipala wrote:

> nitralime wrote:
>
>> On Sun, Sep 20, 2009 at 1:38 PM, Adam Chlipala 
>> > 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":
>>-
>>Fail: ReferenceError: _16 is not defined
>>-
>>
>>
>> Which browser are you using?
>> Firefox 3.5.3 on Mac OS X (10.5.8, Intel)!
>>
>
> OK, the new Ur/Web release works for me in the latest Firefox.  I'm pretty
> confident that it's a Firefox bug that caused the trouble, but I've changed
> the compiler so that that sort of bug shouldn't cause trouble in the future.
>
>  I didn't get this error in Safari 4.0.3.
>> However, the borders around the grid elemets
>> are missing!
>>
>
> I have no idea how to deal with this, and it's infeasible for me to test
> anything on a Mac, so I'll ignore this for now.
>
>  There are also two messages in error console:
>>
>> /ur/more/More/Grid1/main:12  XML self-closing tag syntax used on . The
>> tag will not be closed.
>> /ur/more/More/Grid1/main:89  XML self-closing tag syntax used on . The
>> tag will not be closed.
>>
>
> Thanks.  I've changed the compiler to avoid self-closing tags that weren't
> traditionally self-closing in HTML.
>
>  IE 8.0 on WinXP works. There is also an error message
>>
>
> I'm going to ignore IE for now, since I want to prioritize developing case
> studies that demonstrate why metaprogramming is nifty in Ur.
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Darin Morrison]

On Sat, Sep 26, 2009 at 6:16 PM, Adam Chlipala  wrote:
> nitralime wrote:
>>
>> I didn't get this error in Safari 4.0.3.
>> However, the borders around the grid elemets
>> are missing!
>
> I have no idea how to deal with this, and it's infeasible for me to test
> anything on a Mac, so I'll ignore this for now.

There are Linux browsers available that use webkit.  I think you can
also just use webkit itself on Linux as an extremely barebones
browser.  That should be a good approximation of using Safari on a
Mac.

-- 
Darin

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Kirill Zaborski]

Adam,
Thanks for your work.
And I wanted to ask a simple question: why don't you create a repository
with Ur sorcecode e.g. on github?

Kind regards,
Kirill Zaborsky

2009/10/9 Adam Chlipala 

> 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 mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Adam Chlipala]

Kirill Zaborski wrote:
And I wanted to ask a simple question: why don't you create a 
repository with Ur sorcecode e.g. on github?


I develop Ur with Mercurial, so GitHub probably wouldn't work well.  
What would be the preferred way to export a repo?


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Kirill Zaborski]

For Hg you can use http://bitbucket.org/ or
http://code.google.com/projecthosting/

Kind regards,
Kirill Zaborsky

2009/10/9 Adam Chlipala 

> Kirill Zaborski wrote:
>
>> And I wanted to ask a simple question: why don't you create a repository
>> with Ur sorcecode e.g. on github?
>>
>
> I develop Ur with Mercurial, so GitHub probably wouldn't work well.  What
> would be the preferred way to export a repo?
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Adam Chlipala]

A read-only Mercurial repo is now linked from the main Ur page:
   http://hg.impredicative.com/urweb


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Adam Chlipala]

I've updated the release tarball to incorporate the build system fixes 
discussed on this list throughout today.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Marc Weber]

Excerpts from Adam Chlipala's message of Tue Nov 02 16:12:36 +0100 2010:
> Available as usual at: http://www.impredicative.com/ur/
> 
> I'm still looking for people interested in building real applications, 
> commercial or not, with Ur/Web.  I'm willing to devote substantial time 
> (e.g., building domain-specific libraries) to specific projects that can 
> help put Ur/Web through its paces.  Please contact me if you're 
> interested.  I think of this as an opportunity to crush the competition 
> in web development, thanks to Ur/Web's advantages in programmer 
> productivity, performance, and security. :)

You're right. Many companies or individuals want companies as
partners - because they don't want a single point of failure.

Is there someone on the mailinglist who would like to be part of a team
for that reason as well ?

Marc Weber

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[austin seipp]

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 their repository (only they are allowed
to make binaries.) It should hopefully be in mainline soon, so you
won't have to use an out-of-band URL.

On Sat, Sep 17, 2011 at 12:08 PM, Adam Chlipala  wrote:
> 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 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  tag
> - Add 'target' attribute for 
> - New compiler command-line option: -dumpTypes
> - New syntactic sugar for computed ORDER BY clauses
> - Bug fixes and optimization improvements
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>



-- 
Regards,
Austin

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Eran Meir]

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 reconnect to database server automatically after losing
> connection.
> - Bug fixes and improvements to compatibility, documentation, and error
> messages
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Eran Meir]

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 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
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Eran Meir]

Hi,

The pull request for homebrew-core was merged, so there's no more need to
use the experimental tap.

I updated to the latest release just before they merged.

Best regards,
Eran.


On Tue, Jun 21, 2016 at 6:07 PM, Adam Chlipala  wrote:

> 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 compilers
> - Bug fixes
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release

[Adam Chlipala]

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.


I updated to the latest release just before they merged.

Best regards,
Eran.


On Tue, Jun 21, 2016 at 6:07 PM, Adam Chlipala > wrote:


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 compilers
- Bug fixes

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release, with AJAX support

[Adam Chlipala]

There's a new Ur/Web release, available at the usual place.
http://www.impredicative.com/ur/

This one adds some first support for the "AJAX" style of mixed 
client-server programming.  I've added some new demos to illustrate, at 
the usual place:
http://www.impredicative.com/ur/demo/
The demos starting from "Alert" involve client-side programming.

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Ur] New release - problem running urblog

[Manu]

Adam Chlipala wrote:

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 mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur



Hi Adam, I don't know if I am missing something simple, but I tried 
compiling Gian urblog with the latest release
I compiled the project with mysql as dbms. I created the urblog database 
and imported urblog.sql

but when I run urblog.exe I get the following errors :
Fatal initialization error: Error preparing statement: Unknown column 
'T_uw_id' in 'where clause'

It worked well with the release before last...

When I run the executable compiled for PostgreSQL,
I get the following:

Database connection initialized.
Listener socket bind failed

Any ideas ?

Thanks


Manu




___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Re: [Ur] New release - problem running urblog

[Adam Chlipala]

Manu wrote:

I tried compiling Gian urblog with the latest release
I compiled the project with mysql as dbms. I created the urblog 
database and imported urblog.sql

but when I run urblog.exe I get the following errors :
Fatal initialization error: Error preparing statement: Unknown column 
'T_uw_id' in 'where clause'


Thanks.  I didn't test the previous bug fix with MySQL.  I've made a new 
release that seems to correct the problem.



When I run the executable compiled for PostgreSQL,
I get the following:

Database connection initialized.
Listener socket bind failed


You're probably trying to listen on a port that some other process is 
already listening on.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

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

[Adam Chlipala]

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 before then?



___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

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

[fold]

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 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 before then?
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

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

[Adam Chlipala]

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 05:30 by ad...@csail.mit.edu :

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 before then?

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur