Commit 8d711bf8 by nzy

Hello

parent c1c92d8f
......@@ -38,7 +38,7 @@ def syn_anpl(anpl: ANPL):
if newanpl.entry in anpl.funs:
if newanpl.entry != hole:
logger.log("system", "syn", "error: synthesis _hole with a used name")
system_info("[yellow]Warning[\yellow] 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?")
else:
logger.log("system", "syn", "error: chatgpt do not give a new function name")
continue
......
......@@ -73,7 +73,7 @@ def system_info(text):
print(sys_str + text)
def print_anpl(anpl, for_user=False):
print(Syntax(anpl.to_python(for_user=for_user), "python"))
print(Syntax(anpl.to_python(for_user=for_user), "python", line_numbers=True))
def print_text_IOExamples(ios: list[IOExample]):
for i, io in enumerate(ios):
......
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