Use Core to get types and improve performance

mmhelloworld · Aug 12, 2024 · a6bcc86 · a6bcc86
1 parent 4da5129
commit a6bcc86
Show file tree

Hide file tree

Showing 14 changed files with 3,424 additions and 3,124 deletions.
diff --git a/.github/linters/.yaml-lint.yml b/.github/linters/.yaml-lint.yml
@@ -0,0 +1,3 @@
+rules:
+  line-length: disable
+  document-start: disable
diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml
@@ -12,7 +12,7 @@ on:
 env:
   IDRIS2_TESTS_CG: jvm
   ACTIONS_ALLOW_UNSECURE_COMMANDS: true
-  PREVIOUS_VERSION: 0.6.0.11
+  PREVIOUS_VERSION: 0.7.0
 
 jobs:
   ubuntu-build:

diff --git a/.github/workflows/pre-release.yml b/.github/workflows/pre-release.yml
@@ -8,7 +8,7 @@ on:
 env:
   IDRIS2_TESTS_CG: jvm
   ACTIONS_ALLOW_UNSECURE_COMMANDS: true
-  PREVIOUS_VERSION: 0.6.0.11
+  PREVIOUS_VERSION: 0.7.0
 
 jobs:
   pre-release:
@@ -41,7 +41,7 @@ jobs:
         run: |
           mvn dependency:copy "-Dartifact=io.github.mmhelloworld:idris-jvm-compiler:$PREVIOUS_VERSION:zip" -DoutputDirectory=. -U
           unzip idris-jvm-compiler-*.zip -d "$HOME/bin"
-          echo "::add-path::$HOME/bin/idris2-$PREVIOUS_VERSION/exec"
+          echo "$HOME/bin/idris2-$PREVIOUS_VERSION/exec" >> "$GITHUB_PATH"
 
       - name: Publish to Maven Central
         run: mvn -B -Prelease deploy

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -14,7 +14,7 @@ on:
 env:
   IDRIS2_TESTS_CG: jvm
   ACTIONS_ALLOW_UNSECURE_COMMANDS: true
-  PREVIOUS_VERSION: 0.6.0.11
+  PREVIOUS_VERSION: 0.7.0
 
 jobs:
   release:
@@ -47,7 +47,7 @@ jobs:
         run: |
           mvn dependency:copy "-Dartifact=io.github.mmhelloworld:idris-jvm-compiler:$PREVIOUS_VERSION:zip" -DoutputDirectory=. -U
           unzip idris-jvm-compiler-*.zip -d "$HOME/bin"
-          echo "::add-path::$HOME/bin/idris2-$PREVIOUS_VERSION/exec"
+          echo "$HOME/bin/idris2-$PREVIOUS_VERSION/exec" >> "$GITHUB_PATH"
 
       - name: Configure Git user
         run: |

diff --git a/idris-jvm-assembler/src/main/java/io/github/mmhelloworld/idrisjvm/assembler/Assembler.java b/idris-jvm-assembler/src/main/java/io/github/mmhelloworld/idrisjvm/assembler/Assembler.java
@@ -475,7 +475,9 @@ public void castore() {
     }
 
     public void checkcast(String desc) {
-        mv.visitTypeInsn(CHECKCAST, desc);
+        if (!desc.equals("java/lang/Object")) {
+            mv.visitTypeInsn(CHECKCAST, desc);
+        }
     }
 
     public void classCodeStart(int version,