From 9167b044c2f91ebdea2bfc01f18d655256b83bfa Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Wed, 2 Jul 2025 20:33:43 +0200
Subject: Add TODO

---
 source/Syntax/Internal.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/Syntax/Internal.hs b/source/Syntax/Internal.hs
index c098380..6a53aa6 100644
--- a/source/Syntax/Internal.hs
+++ b/source/Syntax/Internal.hs
@@ -158,6 +158,7 @@ annotateWith = go
         go :: (Ord a) => Set a -> HashMap StructSymbol a -> ExprOf a -> ExprOf a
         go labels ops = \case
             TermSymbolStruct symb Nothing ->
+                -- TODO error if symbol is not instantiated, but only in theorems?
                 TermSymbolStruct symb (TermVar <$> HM.lookup symb ops)
             e@TermSymbolStruct{} ->
                 e
-- 
cgit v1.2.3