Hello,
shouldn't the check go the other way? (i.e., if the RHSs unify, then the
LHS must be the same). Here is an example:
-- This function is not injective.
type instance F a = Int
type instance F b = Int
Still, Conal's example would not work if we just added support for injective
type
shouldn't the check go the other way? (i.e., if the RHSs unify, then the LHS
must be the same). Here is an example:
-- This function is not injective.
type instance F a = Int
type instance F b = Int
Yes, you’re right.
Still, Conal's example would not work if we just added support for
On 09/02/2011 09:25, Kazu Yamamoto (山本和彦) wrote:
Hello,
My stats look very different.
6 RuleFired
1 ++
2=#
1 foldr/app
1 unpack
1 unpack-list
Are your libraries compiled with -O2?
I don't know. How can I check?
I just installed ghc-7.0 by perl boot; configure;