[Ur] java-script calls are optimised out

[Adam Chlipala]

On 10/02/2013 09:45 AM, Sergey Mironov wrote:
> I've encountered another problem, this time it looks bigger one.
>
> I have two FFIed javascript functions like
>
> val init1 : css_class ->  transaction unit
> val init2 : css_class ->  transaction unit
>
> When I try to call both of them from onload, but only one is called
> (the second one)
>    

Have you marked them both as 'effectful' or 'benignEffectful' in your 
.urp file?  If not, the contract with the compiler is that calls may be 
"optimized" out.