[Ur] java-script calls are optimised out

[Sergey Mironov]

Thanks!
Sergey

2013/10/11 Adam Chlipala <adamc at csail.mit.edu>:
> 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.