[Ur] datebox.urp - compiler errors: "unification failure"

[Adam Chlipala]

Oh, I see; you're using the GitHub repositories, which have never been 
official, and which I have never been able to vouch for in terms of 
being up-to-date.  Indeed, you were working with an old version, while 
the latest versions in Mercurial already worked correctly at the time 
when you posted your question.

(Per another ongoing thread here, I do plan to switch to GitHub as the 
main home of Ur/Web soon, which will help get around the current "Google 
bug" of listing the out-of-date urweb GitHub organization high in search 
results.  Until further notice on this list, though, I advise that 
everyone pretend that that GitHub organization doesn't exist.  Maybe I 
should even delete all its repos now.)

On 08/01/2015 10:34 PM, Stefan Scott Alexander wrote:
> Thanks Ziv, your suggestion worked!
>
> I changed 6 occurrences of 'a' to 'aa' on lines 16, 23 and 24:
>
> https://github.com/urweb/gui/blob/master/remotePager.ur
>
> I also removed lines 2, 3, 4 here:
>
> https://github.com/urweb/gui/blob/master/examples/datebox.urp
>
> in order to be able to view the page here:
>
> http://localhost:8080/DateboxMain/main
>
> ###
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150806/4497b561/attachment-0001.html>