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 <[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
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
