From 4bf0bacb0f369962144f51ad4491ac58875532a0 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 31 Jul 2026 12:19:45 +0100
Subject: Add TODO

---
 .../java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java    | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/java/org')

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 f03f979..e8fc633 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -355,6 +355,8 @@ public class TypeChecker {
             .map(untypedArg -> typeCheckMetaType(untypedArg, context).value())
             .toList();
 
+        // TODO: check number of args
+
         var constructedType = new ConstructedNativeType(receiver, args);
 
         return new TypedConstructedTypeNode(
-- 
cgit v1.2.3