added todo

This commit is contained in:
pca006132 2021-01-08 17:16:25 +08:00
parent 3ecf57a588
commit 779288d685
1 changed files with 23 additions and 0 deletions

23
todo.txt Normal file
View File

@ -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.