Notes on typecheck pass

1 files changed, 6 insertions, 0 deletions

diff --git a/src/main.cpp b/src/main.cpp
index ce1bd3e7..c84a6b3d 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -88,6 +88,12 @@ int main(int argc, char *argv[])
         //s << crate;

 

         // Typecheck / type propagate module (type annotations of all values)

+        // - Check all generic conditions (ensure referenced trait is valid)

+        //  > Also mark parameter with applicable traits

+        // - Check all generic parameters match required conditions

+        // - Typecheck statics and consts

+        // - Typecheck + propagate functions

+        //  > Forward pass first

 

         if( strcmp(emit_type, "ast") == 0 )

         {