I'm writing a DSL with a complex DSL based on type parameters. Is there a simple way I can have a te...

# compiler

[CLOVIS]

I'm writing a DSL with a complex DSL based on type parameters. Is there a simple way I can have a test that some code doesn't compile? I'd like to be sure that illegal cases are indeed caught by the compiler going forward.

[hfhbd]

You could use the compiler test framework

[hfhbd]

It requires some kind of setup but it is small

[CLOVIS]

Do you have a very small example of what it would look like? Even just a screenshot of an existing similar test would be useful

[dmitriy.novozhilov]

It would be something like this

fun f(x: Any) = x <!UNCHECKED_CAST!>as Array<String><!>

[dmitriy.novozhilov]

So the test itself is a pair of .kt files with the code you want to test and generated method with @Test annotation.
When you run the test, the framework runs the compiler over .kt file and renders all reported warnings/errors directly inside this .kt file in <!DIAGNOSTIC_NAME!>...code on which error is reported...<!> format

[hfhbd]

I use this code: https://github.com/hfhbd/validation/tree/main/kotlin-plugin see the test fixtures folder. It is the official kotlin compiler test framework only with more Gradle standard setup (instead using the JPMS folder style). The tests are in the resources folder.

[hfhbd]

box tests requires a fun main: String returning „OK“, diagnostic tests are usable for, well, diagnostic, like failed compilations.

[hfhbd]

This is the sample you are looking for: https://github.com/hfhbd/validation/blob/main/kotlin-plugin/src/testFixtures/resources/testData/diagnostics/wrongType.kt