Sascha Rechenberger

Detection of generated code

3

Given the following example ```kotlin import kotlinx.serialization.Serializable @Serializable data class X(val a: Int) val foo = X.serializer() ``` VS Code can not resolve the reference `serializer`, although the compiler can...

Compilation error in task configuration

4

When configuring the `asciidoctor` task using the _Kotlin_ DSL as described [here](https://asciidoctor.github.io/asciidoctor-gradle-plugin/master/user-guide/#_defining_sources), i.e. ```kotlin // My build.gradle.kt file import org.asciidoctor.gradle.jvm.AsciidoctorTask plugins { id("org.asciidoctor.jvm.convert") version "2.3.0" } tasks { "asciidoctor"(AsciidoctorTask::class) {...

Simpagation rule matches to the same constraint twice

3

On SWI-Prolog 9.2.4 on Manjaro, with the program ```prolog :- use_module(library(chr)). :- chr_option(check_guard_bindings, on). :- chr_constraint split/2. split(R, A*X), split(R, B*X) var(X) | C is A+B, split(R, C*X). split(R, A*X)...