Treat WithWarnings via dedicated @specialization

enso-org · Jul 24, 2024 · e5def77 · e5def77
1 parent db669a6
commit e5def77
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Decimal.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Decimal.enso
@@ -764,8 +764,7 @@ type Decimal
              d = Decimal.new "2345.6"
              d.to_integer
              # => 2345
-    to_integer : Integer
-    to_integer self =
+    to_integer self -> Integer =
         as_biginteger = self.big_decimal.toBigInteger
         back_to_decimal = BigDecimal.new as_biginteger
         are_equal = (self.big_decimal.compareTo back_to_decimal) == 0

diff --git a/engine/runtime/src/main/java/org/enso/interpreter/runtime/library/dispatch/TypeOfNode.java b/engine/runtime/src/main/java/org/enso/interpreter/runtime/library/dispatch/TypeOfNode.java
@@ -74,7 +74,17 @@ Object doWarning(WithWarnings value) {
     return execute(value.getValue());
   }
 
-  @Specialization(guards = {"!types.hasType(value)"})
+  static boolean isWithoutType(Object value, TypesLibrary types) {
+    if (value instanceof EnsoObject) {
+      return false;
+    }
+    if (types.hasType(value)) {
+      return false;
+    }
+    return true;
+  }
+
+  @Specialization(guards = {"isWithoutType(value, types)"})
   Object withoutType(
       Object value,
       @Shared("interop") @CachedLibrary(limit = "3") InteropLibrary interop,