Re: Rules for class methods and Safe Haskell

Am Freitag, den 15.08.2014, 23:10 +0300 schrieb Wolfgang Jeltsch:

Hi,

the module Control.Arrow declares a set of rules for the Arrow class. It is marked “Trustworthy”, probably to allow these rules to actually fire.

Now these rules are only correct for class instances that actually satisfy the arrow laws. If the author of another module defines an instance of Arrow that does not respect the laws, this other module could still be considered “Safe” by GHC, although the rules from Control.Arrow are bogus now.

Is this considered a problem?

All the best, Wolfgang

Hi, could someone please answer this e-mail? This issue is important for me. All the best, Wolfgang