Add note on not needing to explicitly check for non-empty fieldsmain

1 files changed, 3 insertions, 0 deletions

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
index d7fb222..68e078c 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -543,7 +543,10 @@ public class TypeChecker {
             );
         }
 
+        // In principle, we should check that fields is non-empty. In practice,
+        // we implicitly check this by requiring a primary key.
         var fields = context.fieldsOf(rowType).orElse(List.of());
+
         var primaryKeyField = fields.stream()
             .filter(field -> field.name().equals(untyped.primaryKey().name()))
             .findFirst();