< Imran Malic> < danieeh> < aballano> < Joachim Ansorg> The kotlinlang #arrow-meta

<@UEU1NDQCD> <@UMZG4CNJG> <@U0DHVHB5W> <@UNBJFU477...

r

raulraja

03/30/2020, 1:58 PM

@Imran/Malic @danieeh @aballano @Joachim Ansorg The deadlock is resolved when I move initializations of proofs outside to each place where a new resolution facade is created: No need to worry about that now. https://github.com/arrow-kt/arrow-meta/blob/591a5eedfb8594d89b3a9048a8627084b78f23e3/idea-plugin/src/main/kotlin/arrow/meta/ide/plugins/proofs/resolve/ProofsKotlinCacheService.kt#L27

🙌 5

d

danieeh

03/30/2020, 1:59 PM

nice! good catch!