Don't add unnecessary abstract classes to dispatch

aardappel · Jul 4, 2023 · fe74229 · fe74229
1 parent 8c2f068
commit fe74229
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/dev/src/lobster/typecheck.h b/dev/src/lobster/typecheck.h
@@ -806,6 +806,12 @@ struct TypeChecker {
                     break;
                 }
             }
+            if (udt.g.is_abstract) {
+                // Only necessary to add itself, but not to superclasses.
+                // FIXME: if we could separate the concept of dispatch_root and subudts,
+                // we wouldn't even need to add the root.
+                break;
+            }
         }
         if (!udt.ComputeSizes()) {
             Error(errn, cat("struct ", Q(udt.name), " cannot be self-referential"));