[Ur] Problem generating database for Gian's urblog application

Adam Chlipala adamc at impredicative.com
Mon May 9 09:32:09 EDT 2011


David Snider wrote:
> Here's the errors I'm getting
>    

My guess is you're using the latest Ur/Web compiler release instead of 
the latest version from the public Mercurial repo, which has bug fixes 
a-plenty.  I should make a new release soon; I'm not really sure what 
the criteria are for deciding when to make releases, but, based on my 
schedule, I can't do the work of putting out the release for at least 
another few days.



More information about the Ur mailing list