Fix missing ListKW global instance

arrow-kt / ank

ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)

https://github.com/arrow-kt/arrow/tree/master/modules/ank

Apache License 2.0

53 stars 3 forks source link

Fix missing ListKW global instance #10

Closed Guardiola31337 closed 6 years ago

Guardiola31337 commented 6 years ago

Fixes missing ListKW Kategory global instance passing ListKW.traverse() explicitly as parameter of sequence
Bumps Kategory annotations version to 0.3.7

👀 @raulraja @pakoito

pakoito commented 6 years ago

When I checked on kategory ListKW didn't implement GlobalInstance, Maybe that's the subjacent cause. I don't know what the state of codegen w/ GlobalInstance is at the moment, what's the trigger for it to get added.

raulraja commented 6 years ago

it gets added when you invoke one of the instances, I'm not sure this fixes the issue. I'll do some more investigation

raulraja commented 6 years ago

Addressed here https://github.com/kategory/ank/pull/12 but no need to init on top, though this approach is also valid