|
| 1 | +# This script translates problems from the OpenAI HumanEval dataset into Tcl. |
| 2 | +import re |
| 3 | +import ast |
| 4 | +from typing import List |
| 5 | + |
| 6 | + |
| 7 | +class Translator: |
| 8 | + |
| 9 | + stop = ["\nproc ", "\n#", "\n\n"] |
| 10 | + |
| 11 | + def file_ext(self): |
| 12 | + return "tcl" |
| 13 | + |
| 14 | + def translate_prompt(self, name: str, args: List[ast.arg], _returns, description: str): |
| 15 | + tcl_description = ( |
| 16 | + "# " + re.sub(r"\n(\s*)", "\n# ", description.strip()) + "\n" if description else "" |
| 17 | + ) |
| 18 | + arg_names = [arg.arg for arg in args] |
| 19 | + arg_list = " ".join(arg_names) |
| 20 | + return f"{tcl_description}proc {name} {{{arg_list}}} {{\n" |
| 21 | + |
| 22 | + def test_suite_prefix_lines(self, entry_point: str) -> List[str]: |
| 23 | + return [ |
| 24 | + "", |
| 25 | + "proc assert_equal {actual expected} {", |
| 26 | + " if {$actual ne $expected} {", |
| 27 | + " error \"Expected: $expected | Actual: $actual\"", |
| 28 | + " }", |
| 29 | + "}", |
| 30 | + "", |
| 31 | + f"interp alias {{}} candidate {{}} {entry_point}", |
| 32 | + "", |
| 33 | + ] |
| 34 | + |
| 35 | + def test_suite_suffix_lines(self) -> List[str]: |
| 36 | + return [] |
| 37 | + |
| 38 | + def deep_equality(self, left: str, right: str) -> str: |
| 39 | + return f"assert_equal {left} {right}" |
| 40 | + |
| 41 | + def gen_literal(self, c: bool | str | int | float | None): |
| 42 | + if type(c) == bool: |
| 43 | + return str(c).lower() |
| 44 | + elif type(c) == str: |
| 45 | + escaped = c.replace("\\", "\\\\").replace('"', '\\"').replace("$", "\\$").replace("[", "\\[").replace("\n", "\\n") |
| 46 | + return f'"{escaped}"' |
| 47 | + elif c is None: |
| 48 | + return '""' |
| 49 | + return repr(c) |
| 50 | + |
| 51 | + def gen_var(self, v: str): |
| 52 | + return v |
| 53 | + |
| 54 | + def gen_list(self, l: List[str]): |
| 55 | + return "[list " + " ".join(l) + "]" |
| 56 | + |
| 57 | + def gen_tuple(self, t: List[str]): |
| 58 | + return "[list " + " ".join(t) + "]" |
| 59 | + |
| 60 | + def gen_dict(self, keys: List[str], values: List[str]): |
| 61 | + pairs = " ".join(f"{k} {v}" for k, v in zip(keys, values)) |
| 62 | + return "[dict create " + pairs + "]" |
| 63 | + |
| 64 | + def gen_call(self, func: str, args: List[str]): |
| 65 | + return "[" + func + " " + " ".join(args) + "]" |
| 66 | + |
| 67 | + def no_completion_prompt_stub(self): |
| 68 | + return " return 0\n}\n" |
0 commit comments