Even less builtin types

build.sbt

@@ -2839,6 +2839,10 @@ lazy val `runtime-integration-tests` =
         "-Dtck.language=enso",
         "-Dtck.inlineVerifierInstrument=false",
         "-Dpolyglot.engine.AllowExperimentalOptions=true",
+        "-Dpolyglot.enso.languageHomeOverride=" + new File(
+          engineDistributionRoot.value,
+          "component"
+        ).getCanonicalPath,
         "-XX:+HeapDumpOnOutOfMemoryError",
         "-XX:HeapDumpPath=" + (Compile / packageBin).value.getParentFile
       ),

distribution/lib/Standard/Base/0.0.0-dev/docs/api/Data/Time/Duration.md

@@ -1,8 +1,8 @@
 ## Enso Signatures 1.0
 ## module Standard.Base.Data.Time.Duration
 - type Duration
-    - + self that:Standard.Base.Any.Any -> Standard.Base.Any.Any
-    - - self that:Standard.Base.Any.Any -> Standard.Base.Any.Any
+    - + self that:Standard.Base.Data.Time.Duration.Duration -> Standard.Base.Data.Time.Duration.Duration!Standard.Base.Errors.Time_Error.Time_Error
+    - - self that:Standard.Base.Data.Time.Duration.Duration -> Standard.Base.Data.Time.Duration.Duration!Standard.Base.Errors.Time_Error.Time_Error
     - < self that:Standard.Base.Any.Any -> Standard.Base.Any.Any
     - <= self that:Standard.Base.Any.Any -> Standard.Base.Any.Any
     - > self that:Standard.Base.Any.Any -> Standard.Base.Any.Any

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

@@ -91,7 +91,6 @@ from project.Internal.Ordering_Helpers import all
        By defining the `Rational_Ordering` and making it available via
        `Comparable.from (that:Rational)` method, all parts of the Enso system will use
        the custom comparator whenever equality or hash code is needed.
-@Builtin_Type
 type Comparable
     ## ---
        private: true
@@ -256,7 +255,6 @@ type Comparable
 Comparable.from (that:Any) = Comparable.new that Default_Comparator
 
 ## Types representing the ordering of values.
-@Builtin_Type
 type Ordering
     ## A representation that the first value orders as less than the second.
     Less

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

@@ -179,8 +179,7 @@ type Duration
 
              example_add = (Duration.new minutes=30) + (Duration.new hours=12)
        ```
-    + : Duration -> Duration ! Time_Error
-    + self that =
+    + self that:Duration -> Duration ! Time_Error =
         ensure_duration that <|
             Panic.catch ArithmeticException (self.plus_builtin that) err->
                 Error.throw (Time_Error.Error err.payload.getMessage)
@@ -203,8 +202,7 @@ type Duration
 
              example_subtract = (Duration.new hours=6) - (Duration.new minutes=30)
        ```
-    - : Duration -> Duration ! Time_Error
-    - self that =
+    - self that:Duration -> Duration ! Time_Error =
         ensure_duration that <|
             Panic.catch ArithmeticException (self.minus_builtin that) err->
                 Error.throw (Time_Error.Error err.payload.getMessage)

distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Ordering_Helpers.enso

@@ -18,7 +18,6 @@ from project.Error import all
    private: true
    ---
    Default implementation of a _comparator_.
-@Builtin_Type
 type Default_Comparator
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/Meta/Enso_Project.enso

@@ -6,7 +6,6 @@ from project.Data.Json import JS_Object
 from project.Errors.Common import Module_Not_In_Package_Error
 
 ## Functionality for inspecting the current project.
-@Builtin_Type
 type Project_Description
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/Polyglot.enso

@@ -15,7 +15,6 @@ import project.Runtime.Source_Location.Source_Location
    private: true
    ---
    Utilities for working with Polyglot objects.
-@Builtin_Type
 type Polyglot
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/Runtime.enso

@@ -166,7 +166,6 @@ type Stack_Trace_Element
    advanced: true
    ---
    Type indicating allowed execution context.
-@Builtin_Type
 type Context
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/System.enso

@@ -79,7 +79,6 @@ default_line_separator = Java_System.lineSeparator
    private: true
    ---
    The type representing the result of a process.
-@Builtin_Type
 type System_Process_Result
     ## ---
        private: true

docs/types/dynamic-dispatch.md

@@ -201,9 +201,9 @@ primarily as a _container for module (static) methods_.
 - **associated type** of a module `My_Module` is a type for the module
   - It is basically an eigen type for a module.
 - **builtin type** is a type annotated with `@Builtin_Type`.
-  - Builtin type cannot be defined outside standard libraries.
+  - Builtin type cannot be defined outside `Standard.Base` library.
   - Builtin types are usually implemented in the engine, and not with pure Enso
-    code.
+    Atom mechanism.
 - **parent type** of a type `My_Type` is a type that `My_Type` "extends", i.e.
   `My_Type` inherits all the methods defined on its parent type.
   - Every type has exactly one parent type, except for `Any` type.

engine/runtime-integration-tests/src/test/java/org/enso/interpreter/test/interop/TypeMembersTest.java

@@ -86,6 +86,8 @@ public void ensureNonBuiltinMembersArePresent() throws Exception {
         Source.newBuilder(
                 "enso",
                 """
+                from Standard.Base import all
+
                 type Compile_Error
                     Error message
 
@@ -101,7 +103,14 @@ public void ensureNonBuiltinMembersArePresent() throws Exception {
     var compileError = module.invokeMember("eval_expression", "v");
     assertEquals(
         "all members",
-        Set.of(ConstantsNames.TO_DISPLAY_TEXT, "message", ConstantsNames.TO_TEXT, "==", "pretty"),
+        Set.of(
+            ConstantsNames.TO_DISPLAY_TEXT,
+            "message",
+            ConstantsNames.TO_TEXT,
+            "to",
+            "==",
+            "!=",
+            "pretty"),
         compileError.getMemberKeys());
   }
 

engine/runtime-integration-tests/src/test/scala/org/enso/interpreter/test/instrument/RuntimeVisualizationsTest.scala

@@ -1478,7 +1478,9 @@ class RuntimeVisualizationsTest extends AnyFlatSpec with Matchers {
           )
         )
       )
-      context.receiveN(2) should contain theSameElementsAs Seq(
+      context.receiveNIgnoreExpressionUpdates(
+        2
+      ) should contain theSameElementsAs Seq(
         Api.Response(requestId, Api.VisualizationAttached()),
         Api.Response(
           Api.ExecutionFailed(

engine/runtime-test-instruments/src/main/java/org/enso/interpreter/test/instruments/tck/EnsoTckLanguageProvider.java

@@ -42,16 +42,16 @@ public Collection<? extends Snippet> createExpressions(Context context) {
             .eval(
                 "enso",
                 """
-                plus a b = a + b
+                from Standard.Base import all
+
+                plus a:Text|Number b:Text|Number = a + b
                 """)
             .invokeMember("eval_expression", "plus");
 
     return List.of(
-        /* disabled until + is defined on Numbers again
         Snippet.newBuilder("plus:Number", plus, TypeDescriptor.NUMBER)
-          .parameterTypes(TypeDescriptor.NUMBER, TypeDescriptor.NUMBER)
-          .build(),
-          */
+            .parameterTypes(TypeDescriptor.NUMBER, TypeDescriptor.NUMBER)
+            .build(),
         Snippet.newBuilder("plus:Text", plus, TypeDescriptor.STRING)
             .parameterTypes(TypeDescriptor.STRING, TypeDescriptor.STRING)
             .build());

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/meta/EnsoProjectNode.java

@@ -95,12 +95,14 @@ private static Package<TruffleFile> getMainProjectFromCtx(EnsoContext ctx) {
     return null;
   }
 
+  @TruffleBoundary
   private static Atom createProjectDescriptionAtom(EnsoContext ctx, Package<TruffleFile> pkg) {
     var rootPath = pkg.root().normalize().getAbsoluteFile().getPath();
     var namespace = pkg.getConfig().namespace();
     var name = pkg.getConfig().name();
-    var cons = ctx.getBuiltins().getProjectDescription().getUniqueConstructor();
-
+    var ensoProject = ctx.getTopScope().getModule("Standard.Base.Meta.Enso_Project").get();
+    var projectDescription = ensoProject.getScope().getType("Project_Description", true);
+    var cons = projectDescription.getSingleConstructor();
     return AtomNewInstanceNode.getUncached().newInstance(cons, rootPath, namespace, name);
   }
 

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/meta/EqualsNode.java

@@ -125,9 +125,10 @@ private static Object convertor(EnsoContext ctx, Function convFn, Object value)
               argSchema, DefaultsExecutionMode.EXECUTE, ArgumentsExecutionMode.EXECUTE);
       var state = ctx.currentState();
       var by =
-          node.execute(convFn, null, state, new Object[] {ctx.getBuiltins().comparable(), value});
+          node.execute(
+              convFn, null, state, new Object[] {ctx.getBuiltins().comparableType(), value});
       if (by instanceof Atom atom
-          && atom.getConstructor() == ctx.getBuiltins().comparable().getBy()) {
+          && atom.getConstructor() == ctx.getBuiltins().comparableType().getSingleConstructor()) {
         var structs = StructsLibrary.getUncached();
         return structs.getField(atom, 1);
       } else {
@@ -158,7 +159,7 @@ Boolean findConversions(Type selfType, Type thatType, Object self, Object that)
     private static boolean findConversionImpl(
         EnsoContext ctx, Type selfType, Type thatType, Object self, Object that) {
       var selfScope = selfType.getDefinitionScope();
-      var comparableType = ctx.getBuiltins().comparable().getType();
+      var comparableType = ctx.getBuiltins().comparableType();
 
       var fromSelfType =
           UnresolvedConversion.build(selfScope).resolveFor(ctx, comparableType, selfType);

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/ordering/CustomComparatorNode.java

@@ -46,15 +46,15 @@ Type hasCustomComparatorCached(
           InvokeConversionNode convertNode,
       @Cached(value = "createConversion()", allowUncached = true) UnresolvedConversion conversion) {
     var ctx = EnsoContext.get(this);
-    var comparableType = ctx.getBuiltins().comparable().getType();
+    var comparableType = ctx.getBuiltins().comparableType();
     var state = ctx.currentState();
     Object rawRes =
         convertNode.execute(
             null, state, conversion, comparableType, atom, new Object[] {comparableType, atom});
     if (rawRes instanceof Atom res
-        && res.getConstructor() == ctx.getBuiltins().comparable().getBy()) {
+        && res.getConstructor() == ctx.getBuiltins().comparableType().getSingleConstructor()) {
       if (structs.getField(res, 1) instanceof Type result) {
-        if (result != ctx.getBuiltins().defaultComparator().getType()) {
+        if (result != ctx.getBuiltins().defaultComparatorType()) {
           return result;
         }
       }
@@ -65,7 +65,7 @@ Type hasCustomComparatorCached(
   @NeverDefault
   UnresolvedConversion createConversion() {
     var ctx = EnsoContext.get(this);
-    var comparableType = ctx.getBuiltins().comparable().getType();
+    var comparableType = ctx.getBuiltins().comparableType();
     return UnresolvedConversion.build(comparableType.getDefinitionScope());
   }
 

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/ordering/HashCallbackNode.java

@@ -51,8 +51,8 @@ long hashCallbackCached(
           InvokeFunctionNode hashCallbackInvokeNode,
       @CachedLibrary(limit = "5") InteropLibrary interop) {
     var ctx = EnsoContext.get(this);
-    var comparableType = ctx.getBuiltins().comparable().getType();
-    var defCompType = ctx.getBuiltins().defaultComparator().getType();
+    var comparableType = ctx.getBuiltins().comparableType();
+    var defCompType = ctx.getBuiltins().defaultComparatorType();
     Object res =
         hashCallbackInvokeNode.execute(
             hashCallbackFunc,
@@ -80,7 +80,7 @@ static InvokeFunctionNode buildInvokeNodeWithAtomArgument() {
   @NeverDefault
   @TruffleBoundary
   Function getHashCallbackFunction() {
-    var defCompType = EnsoContext.get(this).getBuiltins().defaultComparator().getType();
+    var defCompType = EnsoContext.get(this).getBuiltins().defaultComparatorType();
     var fn = defCompType.getDefinitionScope().getMethodForType(defCompType, "hash_callback");
     assert fn != null : "Default_Comparator.hash_callback function must exist";
     return fn;

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/ordering/SortVectorNode.java

@@ -381,8 +381,7 @@ private Object attachDifferentComparatorsWarning(Object vector, List<Group> grou
   private String getDefaultComparatorQualifiedName() {
     return EnsoContext.get(this)
         .getBuiltins()
-        .defaultComparator()
-        .getType()
+        .defaultComparatorType()
         .getQualifiedName()
         .toString();
   }
@@ -493,7 +492,7 @@ boolean areAllDefaultComparators(
   }
 
   boolean isDefaultComparator(Object object, EnsoContext ctx) {
-    return ctx.getBuiltins().defaultComparator().getType() == object;
+    return ctx.getBuiltins().defaultComparatorType() == object;
   }
 
   private boolean isNan(Object object) {