add: added projectsHEADmain

19 files changed, 55 insertions, 0 deletions

diff --git a/tiger-compiler/tests/assert/bind/assert-bad-let.tig b/tiger-compiler/tests/assert/bind/assert-bad-let.tig
new file mode 100644
index 0000000..92653f2
--- /dev/null
+++ b/tiger-compiler/tests/assert/bind/assert-bad-let.tig
@@ -0,0 +1,5 @@
+assert let
+  var value := 5
+  in
+  result
+end = 10
diff --git a/tiger-compiler/tests/assert/bind/assert-nonexistant-attribute.tig b/tiger-compiler/tests/assert/bind/assert-nonexistant-attribute.tig
new file mode 100644
index 0000000..cea4ff8
--- /dev/null
+++ b/tiger-compiler/tests/assert/bind/assert-nonexistant-attribute.tig
@@ -0,0 +1 @@
+assert value = 10
diff --git a/tiger-compiler/tests/assert/bind/assert-nonexistant-function.tig b/tiger-compiler/tests/assert/bind/assert-nonexistant-function.tig
new file mode 100644
index 0000000..bfa58cb
--- /dev/null
+++ b/tiger-compiler/tests/assert/bind/assert-nonexistant-function.tig
@@ -0,0 +1 @@
+assert return_5() = 10
diff --git a/tiger-compiler/tests/assert/good/assert-1.tig b/tiger-compiler/tests/assert/good/assert-1.tig
new file mode 100644
index 0000000..1580ecf
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-1.tig
@@ -0,0 +1 @@
+assert 1
diff --git a/tiger-compiler/tests/assert/good/assert-call.tig b/tiger-compiler/tests/assert/good/assert-call.tig
new file mode 100644
index 0000000..86586fc
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-call.tig
@@ -0,0 +1,5 @@
+let
+  function return_5(): int = 5
+  in
+  assert return_5() = 5
+end
diff --git a/tiger-compiler/tests/assert/good/assert-escaped.tig b/tiger-compiler/tests/assert/good/assert-escaped.tig
new file mode 100644
index 0000000..cd64444
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-escaped.tig
@@ -0,0 +1,6 @@
+let
+  var x := 10
+  function assert_eq_x(k : int) = assert k = x
+  in
+  assert_eq_x(10)
+end
diff --git a/tiger-compiler/tests/assert/good/assert-false.tig b/tiger-compiler/tests/assert/good/assert-false.tig
new file mode 100644
index 0000000..8f24362
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-false.tig
@@ -0,0 +1 @@
+assert 1 = 0
\ No newline at end of file
diff --git a/tiger-compiler/tests/assert/good/assert-let.tig b/tiger-compiler/tests/assert/good/assert-let.tig
new file mode 100644
index 0000000..316dcfc
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-let.tig
@@ -0,0 +1,7 @@
+// very cursed but technically correct xd
+
+assert let
+  var value := 5
+  in
+  value
+end = 5
diff --git a/tiger-compiler/tests/assert/good/assert-seq-let.tig b/tiger-compiler/tests/assert/good/assert-seq-let.tig
new file mode 100644
index 0000000..0baaa0a
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-seq-let.tig
@@ -0,0 +1,5 @@
+assert (let
+          var value := 5
+          in
+          value
+        end) = 0
diff --git a/tiger-compiler/tests/assert/good/assert-seq_ints.tig b/tiger-compiler/tests/assert/good/assert-seq_ints.tig
new file mode 100644
index 0000000..2e1db67
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-seq_ints.tig
@@ -0,0 +1 @@
+assert (1; 2; 3; 4; 5) = 5
diff --git a/tiger-compiler/tests/assert/good/assert-strcmp.tig b/tiger-compiler/tests/assert/good/assert-strcmp.tig
new file mode 100644
index 0000000..e13dc6f
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-strcmp.tig
@@ -0,0 +1 @@
+assert strcmp("abc", "abc") = 0
diff --git a/tiger-compiler/tests/assert/good/assert-true.tig b/tiger-compiler/tests/assert/good/assert-true.tig
new file mode 100644
index 0000000..be57802
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-true.tig
@@ -0,0 +1 @@
+assert 1 = 1
\ No newline at end of file
diff --git a/tiger-compiler/tests/assert/good/assert-var.tig b/tiger-compiler/tests/assert/good/assert-var.tig
new file mode 100644
index 0000000..9812ddf
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/assert-var.tig
@@ -0,0 +1,5 @@
+let
+  var value := 10
+  in
+  assert value = 10
+end
diff --git a/tiger-compiler/tests/assert/good/simple_unit_test.tig b/tiger-compiler/tests/assert/good/simple_unit_test.tig
new file mode 100644
index 0000000..288898c
--- /dev/null
+++ b/tiger-compiler/tests/assert/good/simple_unit_test.tig
@@ -0,0 +1,10 @@
+let
+  function test_return_10() =
+    let
+      function get_x(x : int): int = x
+    in
+      assert get_x(10) = 10
+    end
+  in
+  test_return_10()
+end
diff --git a/tiger-compiler/tests/assert/parse/assert-function-dec.tig b/tiger-compiler/tests/assert/parse/assert-function-dec.tig
new file mode 100644
index 0000000..e7d8796
--- /dev/null
+++ b/tiger-compiler/tests/assert/parse/assert-function-dec.tig
@@ -0,0 +1 @@
+assert function yippee(): int = 10
diff --git a/tiger-compiler/tests/assert/parse/assert-seq-function-dec.tig b/tiger-compiler/tests/assert/parse/assert-seq-function-dec.tig
new file mode 100644
index 0000000..e31b2ba
--- /dev/null
+++ b/tiger-compiler/tests/assert/parse/assert-seq-function-dec.tig
@@ -0,0 +1 @@
+assert (function yippee(): int = 10)
diff --git a/tiger-compiler/tests/assert/type/assert-empty-seq.tig b/tiger-compiler/tests/assert/type/assert-empty-seq.tig
new file mode 100644
index 0000000..f00ed35
--- /dev/null
+++ b/tiger-compiler/tests/assert/type/assert-empty-seq.tig
@@ -0,0 +1 @@
+assert ()
diff --git a/tiger-compiler/tests/assert/type/assert-print.tig b/tiger-compiler/tests/assert/type/assert-print.tig
new file mode 100644
index 0000000..a7d94bd
--- /dev/null
+++ b/tiger-compiler/tests/assert/type/assert-print.tig
@@ -0,0 +1 @@
+assert print("wow!")
diff --git a/tiger-compiler/tests/assert/type/assert-string.tig b/tiger-compiler/tests/assert/type/assert-string.tig
new file mode 100644
index 0000000..c6b6e1a
--- /dev/null
+++ b/tiger-compiler/tests/assert/type/assert-string.tig
@@ -0,0 +1 @@
+assert "wow!"