[Ur] regression in string.ur

[Adam Chlipala]

That's a tricky one.  Apparently the function I added is the first to 
need the Char module, as well. This just means that '$/char' must be 
included in every .urp that also includes '$/string', and I think I'm OK 
with that.

On 06/11/2014 02:24 AM, Sergey Mironov wrote:
> Hi! Looks, like there is a regression which is a result of the latest commit
>
> o  changeset:   2035:2da693675de9
> |  tag:         tip
> |  user:        Adam Chlipala <adam at chlipala.net>
> |  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