balqui / prefscript

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

Repeated functions upon loading scripts #14

Closed balqui closed 1 month ago

balqui commented 1 year ago

When a known function name is found upon loading a script, the little complaint currently printed is not a very good reaction. It should be more sophisticate: if the new definition matches the existing one, it can be left silently pass as there is no inconsistency. If they do not, probably it would be best to stop the load and require that the user manages to avoid the inconsistency.

balqui commented 1 month ago

Doing something along these lines but after I complete the process with the .import statement things might run different. Also, I am now focused on using the interpreter from the command line but, at some point, I have to redo the whole handling from inside Python after importing a PReFScript.

balqui commented 1 month ago

Seems it works decently by now. Closing.