add tests for guards + where

4 files changed, 87 insertions, 0 deletions

diff --git a/testdata/language-features/guard/guardWhere01.lc b/testdata/language-features/guard/guardWhere01.lc
new file mode 100644
index 00000000..537e8923
--- /dev/null
+++ b/testdata/language-features/guard/guardWhere01.lc
@@ -0,0 +1,4 @@
+main
+    | x = True
+  where
+    x = True
diff --git a/testdata/language-features/guard/guardWhere01.out b/testdata/language-features/guard/guardWhere01.out
new file mode 100644
index 00000000..f54041f6
--- /dev/null
+++ b/testdata/language-features/guard/guardWhere01.out
@@ -0,0 +1,21 @@
+main :: Bool
+main = True
+------------ desugared source code
+main
+  = _lhs
+    main
+    let a = True in case'Bool (\(_ :: _) -> _) (_rhs undefined) (_rhs True) a
+------------ core code
+main :: Bool
+main = _rhs True
+------------ tooltips
+1:1-1:5
+    Bool
+2:7-2:8
+    Bool
+2:7-2:15
+    Bool
+2:11-2:15
+    Bool
+4:9-4:13
+    Bool
\ No newline at end of file
diff --git a/testdata/language-features/guard/guardWhere02.lc b/testdata/language-features/guard/guardWhere02.lc
new file mode 100644
index 00000000..687a3368
--- /dev/null
+++ b/testdata/language-features/guard/guardWhere02.lc
@@ -0,0 +1,9 @@
+main
+    | f x = False
+    | f y = True
+  where
+    x = True
+    y = False
+    f True = False
+    f False = True
+
diff --git a/testdata/language-features/guard/guardWhere02.out b/testdata/language-features/guard/guardWhere02.out
new file mode 100644
index 00000000..6921da36
--- /dev/null
+++ b/testdata/language-features/guard/guardWhere02.out
@@ -0,0 +1,53 @@
+main :: Bool
+main = True
+------------ desugared source code
+main
+  = _lhs
+    main
+    let
+      a = True;
+      b = False;
+      c = _lhs f \(d :: _) -> case'Bool (\(_ :: _) -> _) (_rhs True) (_rhs False) d
+      in case'Bool
+      (\(_ :: _) -> _)
+      (case'Bool (\(_ :: _) -> _) (_rhs undefined) (_rhs True) (c b))
+      (_rhs False)
+      (c a)
+------------ core code
+main :: Bool
+main = _rhs True
+------------ tooltips
+1:1-1:5
+    Bool
+2:7-2:8
+    Bool -> Bool
+2:7-2:10
+    Bool
+2:7-3:17
+    Bool
+2:9-2:10
+    Bool
+2:13-2:18
+    Bool
+2:13-3:17
+    Bool -> Bool
+3:7-3:8
+    Bool -> Bool
+3:7-3:10
+    Bool
+3:7-3:17
+    Bool
+3:9-3:10
+    Bool
+3:13-3:17
+    Bool
+5:9-5:13
+    Bool
+6:9-6:14
+    Bool
+7:14-7:19
+    Bool
+7:14-8:19
+    Bool -> Bool
+8:15-8:19
+    Bool
\ No newline at end of file