TypeChecking

- Added a TODO
2023-07-08 11:46:09 +02:00 · 2023-07-08 11:46:09 +02:00 · 78cf4d2459
parent d60094f307
commit 78cf4d2459
2 changed files with 13 additions and 1 deletions
--- a/docs/implementation/35-typechecking.md
+++ b/docs/implementation/35-typechecking.md
@ -101,3 +101,9 @@ the other being a `FuncCall` instruction):
 This would result in a situation where we have the following production

 ![](/projects/tlang/graphs/pandocplot12139419864099887541.svg)
+
+------------------------------------------------------------------------
+
+### Type checking, coercion and enforcement
+
+TODO: Document this now
--- a/docs_src/implementation/35-typechecking.md
+++ b/docs_src/implementation/35-typechecking.md
@ -205,4 +205,10 @@ digraph CodequeueProcess {
        ]
        Codequeue5:ss1 -> cl3_value
 }
-```
+```
+
+---
+
+### Type checking, coercion and enforcement
+
+TODO: Document this now