diff options
| author | Cliff Click <cliffc@acm.org> | 2023-09-18 16:31:20 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2023-09-18 16:31:20 -0700 |
| commit | 8dc463eafb2ae9443675b062995d600b9d26f7b9 (patch) | |
| tree | 5ba18b283a7597137d191ef068564d06743754b6 | |
| parent | 1372c413329221aca0837134747d7ba45ac0501b (diff) | |
| download | Simple-8dc463eafb2ae9443675b062995d600b9d26f7b9.tar.gz Simple-8dc463eafb2ae9443675b062995d600b9d26f7b9.zip | |
Make every effort to move the language level to 20 with preview
For pattern-match switch statements. Much nicer looking code.
Also IDEAJ gave me huge grief, so I might have hit this with a larger hammer than needed.
| -rw-r--r-- | .github/workflows/maven.yml | 4 | ||||
| -rw-r--r-- | language/pom.xml | 4 | ||||
| -rw-r--r-- | pom.xml | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 48ad1d91..7f25a193 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -9,10 +9,10 @@ jobs: steps: - uses: actions/checkout@v3 - - name: Set up JDK 17 + - name: Set up JDK 20 uses: actions/setup-java@v3 with: - java-version: '17' + java-version: '20' distribution: 'temurin' - name: Build with Maven run: mvn --batch-mode --update-snapshots verify
\ No newline at end of file diff --git a/language/pom.xml b/language/pom.xml index 7d748aa1..9073598f 100644 --- a/language/pom.xml +++ b/language/pom.xml @@ -11,8 +11,8 @@ <name>SeaOfNodes Demo Simple Language Grammar</name> <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> - <maven.compiler.target>17</maven.compiler.target> - <maven.compiler.source>17</maven.compiler.source> + <maven.compiler.target>20</maven.compiler.target> + <maven.compiler.source>20</maven.compiler.source> <antlr4test-maven-plugin.version>1.22</antlr4test-maven-plugin.version> <antlr.version>4.11.1</antlr.version> <antlr4test-maven-plugin.version>1.21</antlr4test-maven-plugin.version> @@ -24,8 +24,8 @@ </modules> <properties> - <maven.compiler.source>17</maven.compiler.source> - <maven.compiler.target>17</maven.compiler.target> + <maven.compiler.source>20</maven.compiler.source> + <maven.compiler.target>20</maven.compiler.target> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> <junit.version>4.13.2</junit.version> </properties> |