compiler: fix incorrect emitted Javascript for type switch

myitcv · myitcv · commit 43d3c42207c5 · 2017-08-23T09:23:00.000+01:00
This brings the code emitted for a type switch with a *js.Object case in line with the runtime $assertType function. In the case of a *js.Object value, we have to dereference via .$val.object. Fixes #682
diff --git a/compiler/statements.go b/compiler/statements.go
@@ -126,6 +126,9 @@ func (c *funcContext) translateStmt(stmt ast.Stmt, label *types.Label) {
 				if _, isInterface := implicit.Type().Underlying().(*types.Interface); !isInterface {
 					value += ".$val"
 				}
+				if typesutil.IsJsObject(implicit.Type().Underlying()) {
+					value += ".object"
+				}
 				bodyPrefix = []ast.Stmt{&ast.AssignStmt{
 					Lhs: []ast.Expr{c.newIdent(c.objectName(implicit), implicit.Type())},
 					Tok: token.DEFINE,
diff --git a/js/js_test.go b/js/js_test.go
@@ -571,3 +571,28 @@ func TestUint8Array(t *testing.T) {
 		t.Errorf("Non-empty byte array is not externalized as a Uint8Array")
 	}
 }
+
+func TestTypeSwitchJsObject(t *testing.T) {
+	obj := js.Global.Get("Object").New()
+	obj.Set("foo", "bar")
+
+	exp := "bar"
+
+	if act := obj.Get("foo").String(); act != exp {
+		t.Fatalf("Direct access to *js.Object field gave %q; expected %q", act, exp)
+	}
+
+	var x interface{} = obj
+	switch x := x.(type) {
+	case *js.Object:
+		if act := x.Get("foo").String(); act != exp {
+			t.Fatalf("Value passed through interface and type switch gave %q; expected %q", act, exp)
+		}
+	}
+
+	if y, ok := x.(*js.Object); ok {
+		if act := y.Get("foo").String(); act != exp {
+			t.Fatalf("Value passed through interface and type assert gave %q; expected %q", act, exp)
+		}
+	}
+}
