朱东升 commited on
Commit
a215dc5
·
1 Parent(s): 6d17930
src/eval_adb.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from safe_subprocess import run
3
  from generic_eval import main
4
 
5
 
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
  from generic_eval import main
4
 
5
 
src/eval_dart.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from safe_subprocess import run
3
 
4
 
5
  def eval_script(path: Path):
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
 
4
 
5
  def eval_script(path: Path):
src/eval_dfy.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from safe_subprocess import run
3
 
4
  # 0 – success
5
  # 1 – invalid command-line arguments
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
 
4
  # 0 – success
5
  # 1 – invalid command-line arguments
src/eval_dlang.py CHANGED
@@ -1,7 +1,7 @@
1
  import os
2
  import subprocess
3
  from pathlib import Path
4
- from .safe_subprocess import run
5
  import sys
6
  import re
7
 
 
1
  import os
2
  import subprocess
3
  from pathlib import Path
4
+ from src.safe_subprocess import run
5
  import sys
6
  import re
7
 
src/eval_elixir.py CHANGED
@@ -2,7 +2,7 @@ import argparse
2
  from sys import exit
3
  import subprocess
4
  from pathlib import Path
5
- from .generic_eval import main as gmain
6
 
7
 
8
  def eval_script(path: Path):
 
2
  from sys import exit
3
  import subprocess
4
  from pathlib import Path
5
+ from generic_eval import main as gmain
6
 
7
 
8
  def eval_script(path: Path):
src/eval_fs.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from .safe_subprocess import run
3
 
4
  def eval_script(path: Path):
5
  r = run(["dotnet", "fsi", "-d:DEBUG", str(path)])
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
 
4
  def eval_script(path: Path):
5
  r = run(["dotnet", "fsi", "-d:DEBUG", str(path)])
src/eval_pl.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from safe_subprocess import run
3
 
4
  def eval_script(path: Path):
5
  r = run(["perl", path])
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
 
4
  def eval_script(path: Path):
5
  r = run(["perl", path])
src/eval_sh.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from safe_subprocess import run
3
 
4
  LANG_NAME = "bash"
5
  LANG_EXT = ".sh"
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
 
4
  LANG_NAME = "bash"
5
  LANG_EXT = ".sh"
src/eval_swift.py CHANGED
@@ -1,7 +1,7 @@
1
  import subprocess
2
  from pathlib import Path
3
  import os
4
- from safe_subprocess import run
5
 
6
  def eval_script(path: Path):
7
  basename = ".".join(str(path).split(".")[:-1])
 
1
  import subprocess
2
  from pathlib import Path
3
  import os
4
+ from src.safe_subprocess import run
5
 
6
  def eval_script(path: Path):
7
  basename = ".".join(str(path).split(".")[:-1])
src/eval_ts.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from safe_subprocess import run
3
 
4
 
5
  def eval_script(path: Path):
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
 
4
 
5
  def eval_script(path: Path):
src/eval_v.py CHANGED
@@ -1,5 +1,5 @@
1
  from pathlib import Path
2
- from .safe_subprocess import run
3
  import subprocess
4
 
5
  # return codes for coqc:
 
1
  from pathlib import Path
2
+ from src.safe_subprocess import run
3
  import subprocess
4
 
5
  # return codes for coqc: