[Ur] Invalid Action expression

[Adam Chlipala]

I suggest looking at the main Ur/Web demo 
<http://www.impredicative.com/ur/demo/>, particularly the named demos 
from Alert to Batch.  There's a good chance the code there will clear up 
all your questions.

On 08/08/2014 01:08 PM, Sergey Mironov wrote:
>> Presumably the display of inputs includes several widgets associated with
>> different [source]s.  That is, you must allocate new [source]s for each new
>> row in the GUI.  The [onclick] code of the button would use [get] to read
>> the values of these sources and combine them properly.
>>
>> Is this answer at a good level of detail?
> Almost. I've looked into the basis.urs and find that cformTags widgets
> may take sources as arguments and are actually designed to be used
> without forms. So probably I should use them instead of formTags
> equivalent, correct?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140808/eac78660/attachment.html>