Thanks! Sergey 2013/10/11 Adam Chlipala <[email protected]>: > 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.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
