Hi! Looks, like there is a regression which is a result of the latest commit

o  changeset:   2035:2da693675de9
|  tag:         tip
|  user:        Adam Chlipala <[email protected]>
|  date:        Tue Jun 10 10:58:22 2014 -0400
|  summary:     String.trim; add OnChange to more tags


The errors are in string.ur


urweb -dbms postgres ./demo/Demo
/home/grwlf/local/lib/urweb/ur/string.ur:95:26: (to 95:38) Unbound
structure Char
/home/grwlf/local/lib/urweb/ur/string.ur:101:25: (to 101:37) Unbound
structure Char


The previous commit is fine.
Regards,
Sergey

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to