Runtime check of ascribed types

distribution/lib/Standard/Base/0.0.0-dev/src/Data/Interval.enso

@@ -87,7 +87,7 @@ type Interval
        Arguments:
        - start: The start of the interval.
        - end: The end of the interval.
-    Between (start : Bound.Bound) (end : Bound.Bound)
+    Between (start : Bound) (end : Bound)
 
     ## Checks if the interval contains `that`.
 

distribution/lib/Standard/Base/0.0.0-dev/src/Data/Text/Regex/Pattern.enso

@@ -378,10 +378,10 @@ type Match_Iterator
 ## PRIVATE
 type Match_Iterator_Value
     ## PRIVATE
-    Next (filler : Span) (match : Match) (next_iterator : Match_Iterator)
+    Next (filler : Utf_16_Span) (match : Match) (next_iterator : Match_Iterator)
 
     ## PRIVATE
-    Last (filler : Span)
+    Last (filler : Utf_16_Span)
 
 ## PRIVATE
    Convert the polyglot map to a Map.

distribution/lib/Standard/Database/0.0.0-dev/src/Data/Table.enso

@@ -63,7 +63,7 @@ type Table
        - connection: The connection with which the table is associated.
        - internal_columns: The internal representation of the table columns.
        - context: The context associated with this table.
-    Value name:Text connection:Connection (internal_columns:(Vector Internal_Column)) context:IR.Context
+    Value name:Text connection:Connection (internal_columns:(Vector Internal_Column)) context:Context
 
     ## PRIVATE
        ADVANCED

engine/runtime-with-polyglot/src/test/java/org/enso/interpreter/test/MetaIsAPolyglotTest.java

@@ -0,0 +1,13 @@
+package org.enso.interpreter.test;
+
+import org.enso.interpreter.test.ValuesGenerator.Language;
+import org.graalvm.polyglot.Context;
+
+public final class MetaIsAPolyglotTest extends MetaIsATest {
+  public MetaIsAPolyglotTest() {}
+
+  @Override
+  protected ValuesGenerator createGenerator(Context ctx) {
+    return ValuesGenerator.create(ctx, Language.values());
+  }
+}

engine/runtime-with-polyglot/src/test/java/org/enso/interpreter/test/MetaObjectPolyglotTest.java

@@ -0,0 +1,13 @@
+package org.enso.interpreter.test;
+
+import org.enso.interpreter.test.ValuesGenerator.Language;
+import org.graalvm.polyglot.Context;
+
+public final class MetaObjectPolyglotTest extends MetaObjectTest {
+  public MetaObjectPolyglotTest() {}
+
+  @Override
+  protected ValuesGenerator createGenerator(Context ctx) {
+    return ValuesGenerator.create(ctx, Language.values());
+  }
+}

engine/runtime/src/main/java/org/enso/interpreter/node/callable/argument/ReadArgumentNode.java

@@ -1,10 +1,16 @@
 package org.enso.interpreter.node.callable.argument;
 
+import org.enso.interpreter.node.ExpressionNode;
+import org.enso.interpreter.node.expression.builtin.meta.IsValueOfTypeNode;
+import org.enso.interpreter.runtime.EnsoContext;
+import org.enso.interpreter.runtime.callable.function.Function;
+import org.enso.interpreter.runtime.data.Type;
+import org.enso.interpreter.runtime.error.PanicException;
+
+import com.oracle.truffle.api.CompilerDirectives;
 import com.oracle.truffle.api.frame.VirtualFrame;
 import com.oracle.truffle.api.nodes.NodeInfo;
 import com.oracle.truffle.api.profiles.ConditionProfile;
-import org.enso.interpreter.node.ExpressionNode;
-import org.enso.interpreter.runtime.callable.function.Function;
 
 /**
  * Reads and evaluates the expression provided as a function argument. It handles the case where
@@ -14,22 +20,31 @@
 public class ReadArgumentNode extends ExpressionNode {
   private final int index;
   @Child ExpressionNode defaultValue;
+  @Child IsValueOfTypeNode checkType;
   private final ConditionProfile defaultingProfile = ConditionProfile.createCountingProfile();
+  // XXX: Type in a Node is wrong!!!!!
+  private final Type expectedType;
 
-  private ReadArgumentNode(int position, ExpressionNode defaultValue) {
+  private ReadArgumentNode(int position, ExpressionNode defaultValue, Type expectedType) {
     this.index = position;
     this.defaultValue = defaultValue;
+    this.expectedType = expectedType;
+    if (expectedType != null) {
+      checkType = IsValueOfTypeNode.build();
+    }
   }
 
   /**
    * Creates an instance of this node.
    *
    * @param position the argument's position at the definition site
    * @param defaultValue the default value provided for that argument
+   * @param expectedType {@code null} or expected type to check input for
    * @return a node representing the argument at position {@code idx}
    */
-  public static ReadArgumentNode build(int position, ExpressionNode defaultValue) {
-    return new ReadArgumentNode(position, defaultValue);
+  public static ReadArgumentNode build(
+      int position, ExpressionNode defaultValue, Type expectedType) {
+    return new ReadArgumentNode(position, defaultValue, expectedType);
   }
 
   /**
@@ -47,15 +62,24 @@ public static ReadArgumentNode build(int position, ExpressionNode defaultValue)
   public Object executeGeneric(VirtualFrame frame) {
     Object arguments[] = Function.ArgumentsHelper.getPositionalArguments(frame.getArguments());
 
+    Object v;
     if (defaultValue == null) {
-      return arguments[index];
+      v = arguments[index];
+    } else {
+      // Note [Handling Argument Defaults]
+      if (defaultingProfile.profile(arguments.length <= index || arguments[index] == null)) {
+        v = defaultValue.executeGeneric(frame);
+      } else {
+        v = arguments[index];
+      }
     }
-
-    // Note [Handling Argument Defaults]
-    if (defaultingProfile.profile(arguments.length <= index || arguments[index] == null)) {
-      return defaultValue.executeGeneric(frame);
+    if (checkType != null && !checkType.execute(expectedType, v)) {
+      CompilerDirectives.transferToInterpreter();
+      var ctx = EnsoContext.get(this);
+      var err = ctx.getBuiltins().error().makeTypeError(expectedType, v, "" + v);
+      throw new PanicException(err, this);
     } else {
-      return arguments[index];
+      return v;
     }
   }