https://kotlinlang.org logo
m

Miłosz Korman

03/23/2022, 10:29 PM
Hello again 😄 I’ve been experimenting a little bit with arrow-analysis and I’m wondering whether I could change something in this example for the
v1 > v2 => Positive(v1) > Positive(v2)
and
Positive(v1) > Positive(v2) => Positive(v1).value > Positive(v2).value
implications to hold
a

Alejandro Serrano Mena

03/24/2022, 8:18 AM
mmm, I think the analysis is not tracking correctly that if you have
pv1 = Positive(v1
, then
pv1.value = pv1
🤔
could you open an issue?
m

Miłosz Korman

03/24/2022, 9:05 AM
sure thing 😄
7 Views