[Ur] regression in string.ur

[Adam Chlipala]

Actually, there was a small change I could make to avoid this new 
dependency, so I went for it.  It shouldn't be necessary after all to 
add '$/char' in various places.  Thanks for the catch.

On 06/11/2014 08:19 AM, Adam Chlipala wrote:
> 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