add: added projectsHEADmain

1 files changed, 13 insertions, 0 deletions

diff --git a/tiger-compiler/tests/good/fun-vs-var.tig b/tiger-compiler/tests/good/fun-vs-var.tig
new file mode 100644
index 0000000..66d1872
--- /dev/null
+++ b/tiger-compiler/tests/good/fun-vs-var.tig
@@ -0,0 +1,13 @@
+/*-------------------------------------------------------------------.
+| Types, variables and functions do not share the same environment.  |
+| In addition, there can be different nesting levels.  Below there   |
+| are four different `a's.                                           |
+`-------------------------------------------------------------------*/
+
+let
+   type a = int
+   var a : a := 2
+   function a(a : a) : a = a
+in
+   a(a + a)
+end