Searching for an example of a DatePicker, I also found this code, last updated 3 years ago:
https://github.com/urweb/gui/blob/master/examples/datebox.urp I tried compiling this, but got some "unification failure" errors (shown at the end of this message). I assume this example may be slightly out-of-date, but I'm unsure how to update it to get it to work. Thanks for any help! === BEGIN COMPILER OUTPUT === gui/examples$ urweb datebox gui/remotePager.ur:16:78: (to 16:80) Unification failure Expression: a Have con: transaction {} Need con: <UNIF:U43::Type> -> <UNIF:U44::Type> Incompatible constructors Have: transaction {} Need: <UNIF:U43::Type> -> <UNIF:U44::Type> gui/remotePager.ur:23:71: (to 23:73) Unification failure Expression: a Have con: transaction {} Need con: <UNIF:U129::Type> -> <UNIF:U130::Type> Incompatible constructors Have: transaction {} Need: <UNIF:U129::Type> -> <UNIF:U130::Type> gui/remotePager.ur:24:85: (to 24:87) Unification failure Expression: a Have con: transaction {} Need con: <UNIF:U204::Type> -> <UNIF:U205::Type> Incompatible constructors Have: transaction {} Need: <UNIF:U204::Type> -> <UNIF:U205::Type> gui/examples$ === END COMPILER OUTPUT === ###
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
