Commit 0b6ec595 by nzy

Fix

parent 45f08b32
...@@ -38,7 +38,7 @@ def syn_anpl(anpl: ANPL): ...@@ -38,7 +38,7 @@ def syn_anpl(anpl: ANPL):
if newanpl.entry in anpl.funs: if newanpl.entry in anpl.funs:
if newanpl.entry != hole: if newanpl.entry != hole:
logger.log("system", "syn", "error: synthesis _hole with a used name") logger.log("system", "syn", "error: synthesis _hole with a used name")
system_info("[yellow]Warning Generated Function has the same name with some function before. Perhaps you have very similar sentences?") system_info("[yellow]Warning Generated Function has the same name with some function before. Perhaps you have very similar sentences? It can also be caused by chatgpt generating wrong code")
else: else:
logger.log("system", "syn", "error: chatgpt do not give a new function name") logger.log("system", "syn", "error: chatgpt do not give a new function name")
continue continue
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment