1 files changed, 18 insertions, 0 deletions
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