[Ur] New release

Adam Chlipala adamc at impredicative.com
Sat May 19 12:05:12 EDT 2012


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



More information about the Ur mailing list