[Ur] java-script calls are optimised out

[Adam Chlipala]

On 10/03/2013 04:48 PM, Adam Chlipala wrote:
> On 10/03/2013 01:40 PM, Sergey Mironov wrote:
>> Oh, yes, Thanks! I should have read the manual more carefully.
>> benignEffectful helped me. Still, the contract looks unusual (after IO
>> of Haskell). Did you think about including part of the contract in the
>> type signatures? I mean that we probably could have transaction monad
>> parametrized with some type indicating 'effectfulness'.
>
> I've thought about deducing such information automatically from FFI 
> signatures, considering any [transaction]-typed function to be 
> effectful.  It would still be important to think about each function 
> and whether its effect is "benign" (page-local) or not, but I'll plan 
> to experiment with adding [transaction]al functions as non-benign 
> effectful by default.

OK, this change is pushed now.  [transaction]al FFI functions are 
treated as 'effectful' by default.