From b87a88b68c4348b833c452d93f0ba96100b398d6 Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Wed, 30 Dec 2020 15:35:49 +0800
Subject: [PATCH] added todo

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

diff --git a/todo.txt b/todo.txt
new file mode 100644
index 00000000..3ee039ee
--- /dev/null
+++ b/todo.txt
@@ -0,0 +1,21 @@
+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
+
+GlobalContext:
+- Separate from typedefs
+- Primitive Type Instance List
+- Symbol Table (readable, ever defined)
+- TypeVar definition stack
+- Provide subst, inv_subst, blablabla
+- Cache type var method lookup (dropped when related assumptions are changed)
+