Use Core to get types and improve performance

Author: mmhelloworld

.github/linters/.yaml-lint.yml

@@ -0,0 +1,3 @@
+rules:
+  line-length: disable
+  document-start: disable

.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:

.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

.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: |

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,