From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001 From: Martial Simon Date: Mon, 15 Sep 2025 01:07:58 +0200 Subject: add: added projects --- tiger-compiler/data/local.am | 1 + tiger-compiler/data/prelude.tih | 18 ++++++++++++++++++ 2 files changed, 19 insertions(+) create mode 100644 tiger-compiler/data/local.am create mode 100644 tiger-compiler/data/prelude.tih (limited to 'tiger-compiler/data') 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 -- cgit v1.2.3