disallow recursive module dependencies

1 files changed, 2 insertions, 30 deletions

diff --git a/doc/manual/modules.txt b/doc/manual/modules.txt
index 9cb6a11af..8a9f5ff65 100644
--- a/doc/manual/modules.txt
+++ b/doc/manual/modules.txt
@@ -9,36 +9,8 @@ subtle. Only top-level symbols that are marked with an asterisk (``*``) are
 exported. A valid module name can only be a valid Nim identifier (and thus its
 filename is ``identifier.nim``).
 
-The algorithm for compiling modules is:
-
-- compile the whole module as usual, following import statements recursively
-
-- if there is a cycle only import the already parsed symbols (that are
-  exported); if an unknown identifier occurs then abort
-
-This is best illustrated by an example:
-
-.. code-block:: nim
-  # Module A
-  type
-    T1* = int  # Module A exports the type ``T1``
-  import B     # the compiler starts parsing B
-
-  proc main() =
-    var i = p(3) # works because B has been parsed completely here
-
-  main()
-
-
-.. code-block:: nim
-  # Module B
-  import A  # A is not parsed here! Only the already known symbols
-            # of A are imported.
-
-  proc p*(x: A.T1): A.T1 =
-    # this works because the compiler has already
-    # added T1 to A's interface symbol table
-    result = x + 1
+Recursive module dependencies are not allowed. This restriction might be mitigated
+or removed in later versions of the language.
 
 
 Import statement