<@U0FFA2HMM> What does the generated `EitherHashIn...

# arrow-contributors

[raulraja]

@prat What does the generated EitherHashInstanceImplicits look like?

[prat]

one minute...looking

[prat]

object EitherHashInstanceImplicits {
  fun <L, R> instance(EQL: arrow.typeclasses.Eq<L>, HSL: arrow.typeclasses.Hash<L>, EQR: arrow.typeclasses.Eq<R>, HSR: arrow.typeclasses.Hash<R>): EitherHashInstance<L, R> =
    object : EitherHashInstance<L, R> {
      override fun EQL(): arrow.typeclasses.Eq<L> = EQL
      override fun HSL(): arrow.typeclasses.Hash<L> = HSL
      override fun EQR(): arrow.typeclasses.Eq<R> = EQR
      override fun HSR(): arrow.typeclasses.Hash<R> = HSR
    }
}


fun <L, R> arrow.core.Either.Companion.hash(EQL: arrow.typeclasses.Eq<L>, HSL: arrow.typeclasses.Hash<L>, EQR: arrow.typeclasses.Eq<R>, HSR: arrow.typeclasses.Hash<R>, @Suppress("UNUSED_PARAMETER") dummy: kotlin.Unit = kotlin.Unit): EitherHashInstance<L, R> =
  EitherHashInstanceImplicits.instance(EQL, HSL, EQR, HSR)



inline fun <reified L, reified R> arrow.core.Either.Companion.hash(EQL: arrow.typeclasses.Eq<L> = arrow.typeclasses.eq<L>(), HSL: arrow.typeclasses.Hash<L> = arrow.typeclasses.hash<L>(), EQR: arrow.typeclasses.Eq<R> = arrow.typeclasses.eq<R>(), HSR: arrow.typeclasses.Hash<R> = arrow.typeclasses.hash<R>()): EitherHashInstance<L, R> =
  EitherHashInstanceImplicits.instance(EQL, HSL, EQR, HSR)

[raulraja]

Looks correct which denotes a problem applying the arguments in the instance resolution step.

[prat]

i see. that makes sense

[raulraja]

Concretely here https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-annotations/src/main/java/arrow/TypeclassResolution.kt#L173-L195

[raulraja]

If you want to file an issue I can look into it when I get some time, unless you want to give it a shot at fixing it yourself

[prat]

sounds good. i will look into it. if i can't figure, will file a ticket

[raulraja]

thanks!

[raulraja]

For what is worth, what works best there is the debugger and look at the memory state of values etc.

[raulraja]

That is the only part of Arrow that is dynamic and hopefully we can trash when Keep 87 sees the light

[prat]

awesome. thanks for the pointer

[raulraja]

no problem, thanks for taking the time to look into it

[raulraja]

merged!

[prat]

🆒