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; ma
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 injectiv
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 functio