-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathsetup_haskell.py
More file actions
62 lines (50 loc) · 1.62 KB
/
setup_haskell.py
File metadata and controls
62 lines (50 loc) · 1.62 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
"""
setup for the tests of the module string_to_haskell
"""
import general_utilities as gu
from string_to_code import to_haskell
def get_haskell_compiler():
"""returns the name of the haskell compiler"""
return "ghc"
def _get_source_code_file_extension():
return "hs"
def compile_haskell_code(in_code, tmp_folder):
"""
Compiles the haslekk in_code and returns the filename of the output.
The output file is located in tmp_folder
"""
source_filename = gu.get_unique_filename(
tmp_folder, _get_source_code_file_extension()
)
executable_filename = gu.get_unique_filename(tmp_folder, "out")
gu.save_str_to_file(tmp_folder / source_filename, in_code)
gu.subprocess_run_with_check(
[
get_haskell_compiler(),
source_filename,
"-Werror",
"-Wall",
"-Wextra",
"-W",
"-o",
executable_filename,
],
cwd=str(tmp_folder),
)
return executable_filename
def run_haskell_code(in_code, tmp_folder):
"""
Compiles and executes the haskell code in_code.
Returns the output of the program.
"""
return gu.run_executable(compile_haskell_code(in_code, tmp_folder), tmp_folder)
def get_test_data():
"""returns test data for the module string_to_haskell"""
return gu.Language(
tool_names=[get_haskell_compiler()],
string_to_code=to_haskell.proc,
printer_program_to_code=to_haskell.proc_printer_program,
run_code=run_haskell_code,
id="haskell",
source_code_file_extension=_get_source_code_file_extension(),
)