1 files changed, 2 insertions, 7 deletions
diff --git a/TODO b/TODO
index ff1687a..b88eefb 100644
--- a/TODO
+++ b/TODO
@@ -1,9 +1,4 @@
 # Name analysis
 
-- Collect all global type and procedure definitions.
-  Give errors if:
-  - The type is already defined.
-  - Base type is not defined.
-  - Replace equivalent type with its base type.
-
-- Check definitions inside procedures.
+- Ensure type, procedure, variable and parameter names are unique.
+- Check symbols used in procedures are defined.