Scala.js: Implement the primitive js.special.strictEquals.

Author: sjrd

compiler/src/dotty/tools/backend/sjs/JSCodeGen.scala

@@ -2812,6 +2812,11 @@ class JSCodeGen()(using genCtx: Context) {
         val arg = genArgs1
         genAsInstanceOf(js.JSUnaryOp(js.JSUnaryOp.typeof, arg), defn.StringType)
 
+      case STRICT_EQ =>
+        // js.special.strictEquals(arg1, arg2)
+        val (arg1, arg2) = genArgs2
+        js.JSBinaryOp(js.JSBinaryOp.===, arg1, arg2)
+
       case IN =>
         // js.special.in(arg1, arg2)
         val (arg1, arg2) = genArgs2

compiler/src/dotty/tools/backend/sjs/JSDefinitions.scala

@@ -154,6 +154,8 @@ final class JSDefinitions()(using Context) {
     def Special_in(using Context) = Special_inR.symbol
     @threadUnsafe lazy val Special_instanceofR = SpecialPackageClass.requiredMethodRef("instanceof")
     def Special_instanceof(using Context) = Special_instanceofR.symbol
+    @threadUnsafe lazy val Special_strictEqualsR = SpecialPackageClass.requiredMethodRef("strictEquals")
+    def Special_strictEquals(using Context) = Special_strictEqualsR.symbol
 
   @threadUnsafe lazy val WrappedArrayType: TypeRef = requiredClassRef("scala.scalajs.js.WrappedArray")
   def WrappedArrayClass(using Context) = WrappedArrayType.symbol.asClass

compiler/src/dotty/tools/backend/sjs/JSPrimitives.scala

@@ -32,11 +32,12 @@ object JSPrimitives {
   final val WITH_CONTEXTUAL_JS_CLASS_VALUE = CREATE_LOCAL_JS_CLASS + 1 // runtime.withContextualJSClassValue
   final val LINKING_INFO = WITH_CONTEXTUAL_JS_CLASS_VALUE + 1          // runtime.linkingInfo
 
-  final val IN = LINKING_INFO + 1   // js.special.in
-  final val INSTANCEOF = IN + 1     // js.special.instanceof
-  final val DELETE = INSTANCEOF + 1 // js.special.delete
-  final val FORIN = DELETE + 1      // js.special.forin
-  final val DEBUGGER = FORIN + 1    // js.special.debugger
+  final val STRICT_EQ = LINKING_INFO + 1 // js.special.strictEquals
+  final val IN = STRICT_EQ + 1           // js.special.in
+  final val INSTANCEOF = IN + 1          // js.special.instanceof
+  final val DELETE = INSTANCEOF + 1      // js.special.delete
+  final val FORIN = DELETE + 1           // js.special.forin
+  final val DEBUGGER = FORIN + 1         // js.special.debugger
 
   final val THROW = DEBUGGER + 1
 
@@ -107,6 +108,7 @@ class JSPrimitives(ictx: Context) extends DottyPrimitives(ictx) {
     addPrimitive(jsdefn.Runtime_withContextualJSClassValue, WITH_CONTEXTUAL_JS_CLASS_VALUE)*/
     addPrimitive(jsdefn.Runtime_linkingInfo, LINKING_INFO)
 
+    addPrimitive(jsdefn.Special_strictEquals, STRICT_EQ)
     addPrimitive(jsdefn.Special_in, IN)
     addPrimitive(jsdefn.Special_instanceof, INSTANCEOF)
     addPrimitive(jsdefn.Special_delete, DELETE)

project/Build.scala

@@ -1075,7 +1075,7 @@ object Build {
           ++ (dir / "js/src/test/scala/org/scalajs/testsuite/javalib" ** (("*.scala": FileFilter)
             -- "FormatterJSTest.scala" // compile error with the f"" interpolator
             -- "ObjectJSTest.scala" // non-native JS classes
-            -- "ThrowableJSTest.scala" // test fails ("java.lang.Error: stub")
+            -- "ThrowableJSTest.scala" // test fails ("java.lang.Error: stub") because it uses js.constructorOf
             )).get
 
           ++ (dir / "js/src/test/scala/org/scalajs/testsuite/jsinterop" ** (("*.scala": FileFilter)
@@ -1092,7 +1092,7 @@ object Build {
             -- "NestedJSClassTest.scala" // non-native JS classes
             -- "NonNativeJSTypeTest.scala" // non-native JS classes
             -- "PromiseMock.scala" // non-native JS classes
-            -- "SpecialTest.scala" // not yet implemented JS-specific primitive
+            -- "SpecialTest.scala" // test fails ("java.lang.Error: stub") because it uses js.constructorOf
             )).get
 
           ++ (dir / "js/src/test/scala/org/scalajs/testsuite/junit" ** (("*.scala": FileFilter)