[Issue] Potential Issue with Include

[chaojian-zhang]

Follow recent release , the implementation of Include may also need to deal with unsafe parsing to avoid potential issues with contexts.

Also, what happens if there is Parse within Parse or Include within Include? With current monolithic (non-stack-based) state it seems it's not going to work. If that's the case, we should point that out on the front page and highlight such limit of Pure.

[chaojian-zhang]

Actually Include might be fine because it's handled on the language level - it's not inside a parsing context on itself.

[chaojian-zhang]

At the moment as a limit to Include (due to limited understanding😂): we assume cannot include within include.
A solution is pre-parsing (parse through all includes and generate sections of code snippets belongs to each include source, then load them one by one from the top level) with automatic cyclic handling (which is handled trivially if we were to pre-parse and load all include text blocks).