Thanks! Works fine. Now the only difference between public UrWeb repo
and my local one is the 'show id' patch (attached). It is required by
one JavaScript control (it wants code like i <- fresh; return
<xml> <img src={r.Url} alt="" title={"#"^(show i)}/> </xml> ). Will
you accept it?Sergey 2013/12/10 Adam Chlipala <[email protected]>: > I made an aesthetic decision to rename your <activeHead> to <script>, and it > should be working now. Let me know if not. > > On 12/06/2013 06:22 AM, Sergey Mironov wrote: >> >> 2013/11/22 Adam Chlipala<[email protected]>: >> >> >>> >>> It's possible that the<active> pseudotag already does what you need >>> here. >>> E.g., you can write: >>> <active code={alert "MUAHAHA!"; return<xml>hi!</xml>}/> >>> which will pop up the alert and then fill in "hi!" (or something like >>> that; >>> it's been a while since I thought about this guy). >>> >>> Does this cover the use cases that matter to you? >>> >> >> It is close. There is a problem, however.<active> is designed to >> execute arbitrary code (of type [transaction xbody]) and add the >> resulting xml inplace. For my task It is not necessary to alter the >> page, but the call should live in head, not in body. I've tried to >> hack UrWeb and add support for [activeHead] pseudo-tag. I was able to >> compile UrWeb and the demo, but, unfortunately, my code is not >> executed. Quick xml source review as well as JS console show no >> errors, so I suggest the problem is somewhere in evalD or underlying >> eval calls. Do you have any ideas of what is wrong? >> >> The patches is in attach. I've put the test into urscript library sources >> https://github.com/grwlf/urscript/blob/master/Test2.ur >> >> Regards, >> Sergey >> > >
6_of_7_Add_show_instance_for__id__type.patch
Description: Binary data
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
