Ian Lynagh bfd0a19d85 Kotlin: Define DiagnosticTrapWriter, for type safety ...

In some cases, we were writing diagnostics to TRAP files where they
shouldn't be written. Such TRAP files don't define #compilation, so TRAP
import gave errors.

Now we use DiagnosticTrapWriter to get the type system to check that we
are writing diagnostics to the right place.

2023-06-21 18:38:27 +01:00

..

src/main

Kotlin: Define DiagnosticTrapWriter, for type safety

2023-06-21 18:38:27 +01:00

.gitignore

Add gitignore

2022-05-10 18:45:56 +01:00

build.gradle

Kotlin: 1.8.0 changes

2023-01-10 14:41:30 +00:00

build.py

Kotlin: Use @files for compiler arguments

2023-05-31 19:43:45 +01:00

generate_dbscheme.py

Kotlin: Add AnyDbType

2022-08-25 16:40:27 +01:00

gradle.properties

Kotlin: bump default CI version to 1.7.20

2022-11-25 10:19:26 +00:00

kotlin_plugin_versions.py

Kotlin: Relax version requirements

2023-06-06 14:09:55 +01:00

settings.gradle

Kotlin: Add kotlin-extractor

2022-05-10 18:45:51 +01:00