From 84062cb137c2bc0f18eadcfbcc85a5ca10c81d2b Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Mon, 2 Nov 2026 18:45:11 +0000 Subject: Add note on not needing to explicitly check for non-empty fields --- .../java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/main/java') 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(); -- cgit v1.2.3