search

balqui / prefscript

PReFScript: A Partial Recursive Functions Lab
MIT License
0 stars 0 forks source link

Consider adding a dependency graph #13

Open balqui opened 1 year ago

balqui commented 1 year ago

If the dependencies among the defined functions are maintained, one could conceivable offer a "delete function" mechanism.

balqui commented 1 month ago

As of mid Thermidor 2024, only the connected component of the function named in .pragma main is checked for having been correctly defined. It runs a depth-first search on the how-def arcs. An old local text file wished for "handle functions that depend on as-yet-undefined functions" which is possible now as long as the main call will not need them. I am likely to consider the current solutions sufficient and to close this issue soon.

balqui commented 1 month ago

Stable for 1.0 and 1.1 but I believe I can get that working more smoothly if the pycode dict is filled up along the returning recursions of check_names instead of upon reading the function. But, then, I have to pay extra care to the case of list() with w_code = 2.