I've pushed a changeset which may fix this problem. Is it working now
for folks who saw problems before?
On 03/11/2013 10:48 AM, Adam Chlipala wrote:
Sorry to hear that the same bug bit someone else! For now, I'll wait
for someone to produce a minimized test case, but I'll probably jump
in and try it myself eventually.
On 03/11/2013 10:16 AM, Daniel Patterson wrote:
On the current public mercurial version, I've experienced the same
problem.
To work around it, I created a single source that I never used; this
caused the script tags to be included. Note that this was
particularly odd given that I had "script" declarations in my .urp
file, and they were also not included - maybe I'm not understanding
how script declarations are supposed to work, but it surprised me.
I haven't minimized it, but the project is online, and the particular
lines / workaround are at:
http://hub.darcs.net/dbp/dnplayer/browse/dn.ur#142
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
