<div dir="ltr">I think this is a name conflict between the [a] representing the transaction for the onclick handler and the [a] for the anchor tag. Curious that this used to not be a problem (I think it's always been a problem for me and assumed it was just the way Ur/Web was). Try renaming the transaction [a] to see if that works. At the same time, it seems like this code would ideally be okay as is.<div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Aug 1, 2015 at 5:05 PM, Stefan Scott Alexander <span dir="ltr"><<a href="mailto:stefanscottalexx@gmail.com" target="_blank">stefanscottalexx@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Searching for an example of a DatePicker, I also found this code, last updated 3 years ago:<div><br></div><div><a href="https://github.com/urweb/gui/blob/master/examples/datebox.urp" target="_blank">https://github.com/urweb/gui/blob/master/examples/datebox.urp</a><br></div><div><br></div><div>I tried compiling this, but got some "unification failure" errors (shown at the end of this message).</div><div><br></div><div>I assume this example may be slightly out-of-date, but I'm unsure how to update it to get it to work.</div><div><br></div><div>Thanks for any help!</div><div><br></div><div>=== BEGIN COMPILER OUTPUT ===</div><div><br></div><div><div>gui/examples$ urweb datebox</div><div><br></div><div>gui/remotePager.ur:16:78: (to 16:80) Unification failure</div><div>Expression:  a</div><div>  Have con:  transaction {}</div><div>  Need con:  <UNIF:U43::Type> -> <UNIF:U44::Type></div><div>Incompatible constructors</div><div>Have:  transaction {}</div><div>Need:  <UNIF:U43::Type> -> <UNIF:U44::Type></div><div><br></div><div>gui/remotePager.ur:23:71: (to 23:73) Unification failure</div><div>Expression:  a</div><div>  Have con:  transaction {}</div><div>  Need con:  <UNIF:U129::Type> -> <UNIF:U130::Type></div><div>Incompatible constructors</div><div>Have:  transaction {}</div><div>Need:  <UNIF:U129::Type> -> <UNIF:U130::Type></div><div><br></div><div>gui/remotePager.ur:24:85: (to 24:87) Unification failure</div><div>Expression:  a</div><div>  Have con:  transaction {}</div><div>  Need con:  <UNIF:U204::Type> -> <UNIF:U205::Type></div><div>Incompatible constructors</div><div>Have:  transaction {}</div><div>Need:  <UNIF:U204::Type> -> <UNIF:U205::Type></div><div><br></div><div>gui/examples$ </div></div><div><br></div><div><div>=== END COMPILER OUTPUT ===</div></div><div><br></div><div>###</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div></div>
<br>_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div><br></div>