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 committed Nov 21, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 6d990d4
   • Browse repository at this point

   Copy the full SHA

   6d990d4 View commit details

   Browse the repository at this point in the history