Hi Adam, I just checkout out the specific revision of the app that was having this problem (sorry it took a little while; I had since made the thing a lot more complicated, and as such eliminated the problem), and can confirm that the changeset fixed the issue, as I experienced it. Thanks!
On Fri, Mar 15, 2013 at 4:10 PM, Adam Chlipala <[email protected]> wrote: > 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 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
