Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

KE2: Use the right language version #18064

Open
wants to merge 1 commit into
base: ke2
Choose a base branch
from
Open

KE2: Use the right language version #18064

wants to merge 1 commit into from
+5 −0

Commits on Nov 21, 2024

  1. KE2: Use the right language version 

    With this, if I make the testsuite driver use 1.7, then the test code

sealed interface ReadResult
data class Number(val number: Int) : ReadResult
data class Text(val text: String) : ReadResult
data object EndOfFile : ReadResult

makes the extractor print

=== Diagnostics
--- Diagnostic:
WRONG_MODIFIER_TARGET
ERROR
Modifier 'data' is not applicable to 'standalone object'.
Location(startLine=5, startColumn=1, endLine=5, endColumn=4)
--- End diagnostics
    @igfoo
    igfoo committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    6d990d4 View commit details
    Browse the repository at this point in the history