diff options
| author | Martial Simon <msimon_fr@hotmail.com> | 2025-09-15 01:07:58 +0200 |
|---|---|---|
| committer | Martial Simon <msimon_fr@hotmail.com> | 2025-09-15 01:07:58 +0200 |
| commit | 967be9e750221ab2ab783f95df79bb26d290a45e (patch) | |
| tree | 6802900a5e975f9f68b169f0f503f040056d6952 /tiger-compiler/data | |
Diffstat (limited to 'tiger-compiler/data')
| -rw-r--r-- | tiger-compiler/data/local.am | 1 | ||||
| -rw-r--r-- | tiger-compiler/data/prelude.tih | 18 |
2 files changed, 19 insertions, 0 deletions
diff --git a/tiger-compiler/data/local.am b/tiger-compiler/data/local.am new file mode 100644 index 0000000..5da53ba --- /dev/null +++ b/tiger-compiler/data/local.am @@ -0,0 +1 @@ +dist_noinst_DATA += data/prelude.tih diff --git a/tiger-compiler/data/prelude.tih b/tiger-compiler/data/prelude.tih new file mode 100644 index 0000000..f4d99c0 --- /dev/null +++ b/tiger-compiler/data/prelude.tih @@ -0,0 +1,18 @@ +primitive print(string : string) +primitive print_err(string : string) +primitive print_int(int : int) +primitive flush() +primitive getchar() : string +primitive ord(string : string) : int +primitive chr(code : int) : string +primitive size(string : string) : int +primitive streq(s1 : string, s2 : string) : int +primitive strcmp(s1 : string, s2 : string) : int +primitive substring(string : string, start : int, length : int) : string +primitive concat(fst : string, snd : string) : string +primitive not(boolean : int) : int +primitive exit(status : int) +primitive assertion(condition : int, instruction_str : string, filename : string) +primitive fork(): int +primitive wait_pid(pid: int): int +primitive get_exit_code(status_code: int): int |
