Add typeExpression to type converter

1 files changed, 8 insertions, 3 deletions

diff --git a/TODO b/TODO
index 1dc182b..69b9730 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,9 @@
-# AST missing
+# Name analysis
 
-- Import
-- Record and Union initialization
+- Collect all global type and procedure definitions.
+  Give errors if:
+  - The type is already defined.
+  - Base type is not defined.
+  - Circular type reference.
+
+- Check definitions inside procedures.