From 779288d6853a281ad8d81d34c9690fba32d20c26 Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Fri, 8 Jan 2021 17:16:25 +0800
Subject: [PATCH] added todo

---
 todo.txt | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 todo.txt

diff --git a/todo.txt b/todo.txt
new file mode 100644
index 0000000000..8d1a2964b1
--- /dev/null
+++ b/todo.txt
@@ -0,0 +1,23 @@
+Errors:
+- Not supported
+- Only * is supported
+- Expected * in *, but got *
+- Divergent type in (construct), (location 1), (location 2)
+- Unknown field
+- Unbounded variable
+- Different variable
+- Different domain
+- * is not subclass of *
+- Type not equal
+- Incorrect number of parameters
+
+Symbol Resolution:
+- Find class references, load them all in TopLevelContext.
+- Find unbounded identifiers/functions in functions.
+- `inspect.getmodule(x)` every unknown `x` if not primitive/list of primitives,
+  check their files recursively by getting their file path, cache with
+  (normalized) path as key.
+
+TopLevelContext/InferenceContext:
+- Restrict visibility by user defined function.
+