Equality can be checked between unions, in all supported backends.

eg/struct-equality.castile

@@ -0,0 +1,7 @@
+fun main() {
+  a = 40 as string|integer
+  b = 40 as string|integer
+  if a == b {
+    print("it is")
+  }
+}

src/castile/backends/c.py

@@ -73,6 +73,11 @@
     return !strcmp(tag, tv->tag);
 }
 
+int equal_tagged_value(struct tagged_value *tv1, struct tagged_value *tv2)
+{
+    return is_tag(tv1->tag, tv2) && tv1->value == tv2->value;
+}
+
 """
 
 
@@ -262,6 +267,12 @@ def compile(self, ast):
                 self.write(', ')
                 self.compile(ast.children[1])
                 self.write(')')
+            elif ast.value == '==' and isinstance(ast.children[0].type, Union):
+                self.write('equal_tagged_value(')
+                self.compile(ast.children[0])
+                self.write(', ')
+                self.compile(ast.children[1])
+                self.write(')')
             else:
                 self.write('(')
                 self.compile(ast.children[0])

src/castile/builtins.py

@@ -11,6 +11,9 @@ def __init__(self, tag, value):
     def __repr__(self):
         return '(%r, %r)' % (self.tag, self.value)
 
+    def __eq__(self, other):
+        return self.tag == other.tag and self.value == other.value
+
 
 def builtin_len(s):
     return len(s)

tests/Castile.md

@@ -601,16 +601,16 @@ Equality cannot be checked between two values of different types.
     | }
     ? mismatch
 
-Equality can be checked between unions.  (TODO)
-
-    /| fun main() {
-    /|   a = 40 as string|integer
-    /|   b = 40 as string|integer
-    /|   if a == b {
-    /|     print("it is")
-    /|   }
-    /| }
-    /= ok
+Equality can be checked between unions.
+
+    | fun main() {
+    |   a = 40 as string|integer
+    |   b = 40 as string|integer
+    |   if a == b {
+    |     print("it is")
+    |   }
+    | }
+    = it is
 
     | fun main() {
     |   a = 40 as string|integer