Are we able to use

@extensions

on independent functions now in Arrow?

I'm looking into #56, can someone explain what

LineMarkerDescription.slowLM

is?

LineMarkerDescription.lineMarker

seems fairly intuitive, but

slowLM

seems to only ever be empty.

After more general studies about compilers for statically-typed languages, I'd say that arrow-meta largely resides hooking into the front/middle end of the compiler. I hope I can share an infographic on how I mean in a bit

Arrow-meta has the ability to hook into the front-end and the intermediate code-optimizer

@raulraja we can keep tweaking this over time, I know this isn't quite right. I didn't put in FIR because it's not complete

Really this stuff should be part of the Kotlin docs. Swift has so much better documentation on the compiler

I'm itching to try out what you put in for testing cleanup for your Union work @raulraja - although when I was looking at the code this morning, I saw that you are still including the

annotations

dependency in your testing when I didn't see any annotations being marked in the source code. Perhaps I'm not understanding how this should work?

Hey, as I know arrow-meta have quasi quotes dsl, but it requires user to be in the compiler context already. I was thinking that it is possible to add user created macros to the language similar to how scala or rust do it, without going through troubles of gradle/compiler plugins. I experimented with applying those in a similar way to quasi quotes implementation: client code: https://github.com/ShikaSD/kotlin-compiler-di/blob/macro-experiment/src/main/kotlin/AnotherThing.kt compiler code: https://github.com/ShikaSD/kotlin-compiler-di/blob/macro-experiment/buildSrc/compiler-plugin/kotlin-plugin/src/main/java/me/shika/di/TestMacroAnalysisExtension.kt Of course, I used regex for poc (:D), but it can be defined with proper grammar, which is parsed in the compiler plugin (for example using antlr or similar parsers).

afaik it's a "soft no" but there are ways to do it with messing Kotlin compiler, at least. What are you trying to do with IntelliJ? Are you writing an idea plugin at the moment?

When you import the Kotlin project into IntelliJ, there's a run configuration for launching an IntelliJ instance with the modified Kotlin Plugin/Compiler Re-running that every time seems just like there should be a better solution that allows me to just recompile my changes in the Compiler and "inject" them into the running IntelliJ instance

we run some tests on it so we can do debugging and also test aspects of our compiler plugins

@jossiwolf If you wish to run it from the IDE, another idea could be to simply run a CLI version and execute the the Kotlin script and render the result of that?

@jossiwolf There is no chance AFAIK since that is based on the plugin layout but I heard IDEA now works with hots reloading for plugin when they get updates in some cases

Hi guys, one question, the typeclass compiler plugin extension in arrow meta allows me to implement typeclasses like Keep 87 proposes?

what's happening with the

quoteOutputMatches

? Why are there repetitive code in the source strings between both the code snippet and whatever is in

quoteOutputMatches(...)

? i.e. HigherTestPlugins.kt

Hi, regarding arrow-meta as a "sdk" for building other compiler plugins, do you have any plans to publish it separately? As I can see right now, DSL and plugins themselves are in a single module, so that's why I am asking 🙂 Also it is one of those "when" questions, as I would love to stop setting up those things myself.

Hi all, it's an arrow setup and probably a newbie question (sorry about that, starting now with arrow 😅), I'm trying to use arrow

0.10.3-SNAPSHOT

features ( more specific typeclass

given

meta feature ), but I'm aways getting:

error: @instance is only allowed on `interface` extending another interface of at least one type argument (type class) as first declaration in the instance list

and if I change that to an interface I cannot find the reference of the extension function I believe that is expected in a context that there's no compiler plugin working on that, then probably I'm missing something in arrow dependencies import I've setup my project like this:

apply plugin: 'kotlin-kapt'

def arrow_version = "0.10.3-SNAPSHOT"
dependencies {
    implementation "io.arrow-kt:arrow-fx:$arrow_version"
    implementation "io.arrow-kt:arrow-optics:$arrow_version"
    implementation "io.arrow-kt:arrow-syntax:$arrow_version"
    kapt    "io.arrow-kt:arrow-meta:$arrow_version"
}

What am I missing?

We have to unshadow it on the way back for the idea plugin to be able to reuse code on the idea plugin from the compiler plugin

I was working on compiler plugin for optics

Today at 7pm (GMT+1) I’ll be showing @bloder and others the internals of Arrow Meta looking at the code. Anyone interested is welcome to join for an internals walkthrough. This is meant to be for people that want to understand the inner parts of meta for other contributions they are working on. ZOOM : https://zoom.us/j/878707806 GCal : https://calendar.google.com/event?action=TEMPLATE&tmeid=MWZqZ2FkaXFnc2loZHZtazQ1aDhnc2swb3QgcmF1bEA0N2RlZy5jb20&tmsrc=raul%4047deg.com

What if we did something like this:

val getValOrVarKeyword: Scoped<PsiElement> = Scoped(value.getValOrVarKeyword)

A good first issue https://github.com/arrow-kt/arrow-meta/issues/107

yay, zoom is not receiving any audio packets for me... video works fine, audio in general works, but no received data for audio in the statistics 😕 Is joining and rejoining a problem or does it trigger sounds etc? If so I'll just leave it and try fix it later...

So I was wondering if you can generate Lenses for external classes

@raulraja @bloder I ran into some weirdness attempting to create a default element scope for

KtNullableType

and thought it would be good to also bring it here: https://github.com/arrow-kt/arrow-meta/pull/108#discussion_r345906518

which repository provides

io.arrow-kt:arrow-meta-compiler-plugin:1.3.70-SNAPSHOT

? I'm trying to setup a simple project using arrow-meta by using https://plugins.gradle.org/plugin/io.arrow-kt.arrow, the gradle plugin requires the dependency above

Hey folks - @bloder and myself will be having a hangout session to talk about the AST scope and quote system and to also share some knowledge about AST in relation to the compiler in 40 minutes (2PM CDT) https://meet.google.com/zsq-umfa-dpv