A modern programming language that makes developers happier.

kotlinlang

Hi everyone! Correct me if this question should be posted on github instead. Are there updates on `typed quotes` <https://github.com/arrow-kt/arrow-meta/pull/679|PR>? It's been around for a while now. Seems fully functional, but merge is blocked by conflicts.

Hi <@U017BR64PFC> , cc <@U4TNC7C4B>. It’s been in hold also because FIR will change all those APIs potentially after 1.5.

But if you want to pick it up <@U017BR64PFC> and make it ready for merge we can merge it in.

Hi! I'm having some problems that I can't focus my time, I've tried to merge but some tests started to fail, I need to resolve some personal things before continue coding, so sorry, if u wanna finish it, just merge and try to fix the tests, only missing that, so sorry again

no worries <@U4TNC7C4B>! hope all it’s good :pray:

<@U4TNC7C4B> Thank you for bringing `typed quotes` up! I feared that it wouldn't be possible to access information that descriptors provides on quotes level.

<@U4UGS5FC7> Hi! I'll look at tests, maybe could fix them.
Talking about changes. I've read about quote's Transform.replace here <https://kotlinlang.slack.com/archives/CJ699L62W/p1606300612089900?thread_ts=1606298499.088800&amp;cid=CJ699L62W>
So if i'm to perform some sort of transformation, best option is to follow proofs plugin approach and operate on IR level?

<@U017BR64PFC> it depends on what transformation you are trying to achieve. Do you have a small use case? Potentially IR may be better suited

<@U4UGS5FC7> Something like this `debug(a, b, c)` -&gt; `debug(v("a", a), v("b", b), v("c", c))`

yes, this would be much easier just in IR since you are basically just replacing a call for a different one

you could just intercept `irCall` or `irFunctionAccessExpression` and return the new IR tree whenever the call matches what you are looking after

The proof plugin inside the meta sources has several examples of rewriting IrCall and modifying things like its receiver etc.

Hi ! The pull request by <@U4TNC7C4B> has been merged after a previous change that fixed the checks :raised_hands: