Added compare_to to True/False

CHANGELOG.md

@@ -63,6 +63,7 @@
 - [General improved Vector performance and new `Vector.each_with_index`,
   `Vector.fold_with_index` and `Vector.take` methods.][3236]
 - [Implemented new `Text.insert` method][3311]
+- [Implemented `Bool.compare_to` method][3317]
 
 [debug-shortcuts]:
   https://github.com/enso-org/enso/blob/develop/app/gui/docs/product/shortcuts.md#debug
@@ -99,6 +100,7 @@
 [3310]: https://github.com/enso-org/enso/pull/3310
 [3236]: https://github.com/enso-org/enso/pull/3236
 [3311]: https://github.com/enso-org/enso/pull/3311
+[3317]: https://github.com/enso-org/enso/pull/3317
 
 #### Enso Compiler
 

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/bool/CompareToNode.java

@@ -0,0 +1,43 @@
+package org.enso.interpreter.node.expression.builtin.bool;
+
+import com.oracle.truffle.api.CompilerDirectives;
+import com.oracle.truffle.api.dsl.Specialization;
+import com.oracle.truffle.api.nodes.Node;
+import org.enso.interpreter.dsl.BuiltinMethod;
+import org.enso.interpreter.runtime.Context;
+import org.enso.interpreter.runtime.builtin.Ordering;
+import org.enso.interpreter.runtime.callable.atom.Atom;
+import org.enso.interpreter.runtime.error.PanicException;
+
+@BuiltinMethod(
+        type = "Boolean",
+        name = "compare_to",
+        description = "Comparison for Booleans.")
+public abstract class CompareToNode extends Node {
+    static CompareToNode build() { return CompareToNodeGen.create(); }
+
+    abstract Atom execute(Boolean _this, Object that);
+
+    @Specialization
+    Atom doBoolean(
+            Boolean _this,
+            Boolean that) {
+        Ordering ordering = Context.get(this).getBuiltins().ordering();
+        if (_this == that) {
+            return ordering.newEqual();
+        } else if (_this) {
+            return ordering.newGreater();
+        } else {
+            return ordering.newLess();
+        }
+    }
+
+    @Specialization
+    Atom doOther(
+            Boolean _this, Object that) {
+        CompilerDirectives.transferToInterpreter();
+        var bool = Context.get(this).getBuiltins().bool().getBool().newInstance();
+        var typeError = Context.get(this).getBuiltins().error().makeTypeError(that, bool, "that");
+        throw new PanicException(typeError, this);
+    }
+}

engine/runtime/src/main/java/org/enso/interpreter/runtime/builtin/Bool.java

@@ -23,6 +23,7 @@ public Bool(Language language, ModuleScope scope) {
     scope.registerMethod(bool, "if_then_else", IfThenElseMethodGen.makeFunction(language));
     scope.registerMethod(bool, "if_then", IfThenMethodGen.makeFunction(language));
     scope.registerMethod(bool, "to_text", ToTextMethodGen.makeFunction(language));
+    scope.registerMethod(bool, "compare_to", CompareToMethodGen.makeFunction(language));
     scope.registerMethod(bool, "&&", AndMethodGen.makeFunction(language));
     scope.registerMethod(bool, "||", OrMethodGen.makeFunction(language));
     scope.registerMethod(bool, "==", EqualsMethodGen.makeFunction(language));

test/Tests/src/Data/Bool_Spec.enso

@@ -0,0 +1,18 @@
+from Standard.Base import all
+
+import Standard.Test
+from Standard.Base.Data.Ordering import Equal, Less, Greater
+
+spec =
+    Test.group "Booleans" <|
+        Test.specify "should allow converting Bools to Text values" <|
+            True.to_text . should_equal "True"
+            False.to_text . should_equal "False"
+
+        Test.specify "should allow for comparing Bools" <|
+            True.compare_to True . should_equal Equal
+            False.compare_to False . should_equal Equal
+            True.compare_to False . should_equal Greater
+            False.compare_to True . should_equal Less
+
+main = Test.Suite.run_main here.spec