Use Core to get types and improve performance

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

Hide file tree

Showing 14 changed files with 3,422 additions and 3,122 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:

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:

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,