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
