12 files changed, 51 insertions, 0 deletions
diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out
index 5f08a0dc..6fde06b1 100644
--- a/testdata/language-features/guard/guard01.out
+++ b/testdata/language-features/guard/guard01.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+value = 'BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs HNil) True
 main is not found
 ------------ trace
 value :: [32m()[0m
diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out
index 7090e22b..7b176d9b 100644
--- a/testdata/language-features/guard/guard03.out
+++ b/testdata/language-features/guard/guard03.out
@@ -1,3 +1,10 @@
+------------ desugared source code
+value
+  = 'BoolCase
+    \_ -> _ :: _
+    ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
+    (_rhs "True")
+    True
 main is not found
 ------------ trace
 value :: [32mString[0m
diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out
index 3f34c61b..54ca2fb7 100644
--- a/testdata/language-features/guard/guard04.out
+++ b/testdata/language-features/guard/guard04.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+value = 'BoolCase \_ -> _ :: _ (_rhs "False") (_rhs "True") True
 main is not found
 ------------ trace
 value :: [32mString[0m
diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out
index 6a42d526..9e4d40a5 100644
--- a/testdata/language-features/guard/guard06.out
+++ b/testdata/language-features/guard/guard06.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+value = _rhs HNil
 main is not found
 ------------ trace
 value :: [32m()[0m
diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out
index 38e182d2..461efa43 100644
--- a/testdata/language-features/guard/guard07.out
+++ b/testdata/language-features/guard/guard07.out
@@ -1,3 +1,10 @@
+------------ desugared source code
+value
+  = 'BoolCase
+    \_ -> _ :: _
+    ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
+    (_rhs "True")
+    True
 main is not found
 ------------ trace
 value :: [32mString[0m
diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out
index 075a074b..4f273b1d 100644
--- a/testdata/language-features/guard/guard08.out
+++ b/testdata/language-features/guard/guard08.out
@@ -1,3 +1,10 @@
+------------ desugared source code
+value
+  = 'BoolCase
+    \_ -> _ :: _
+    ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
+    (_rhs "True")
+    True
 main is not found
 ------------ trace
 value :: [32mString[0m
diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out
index 694aaa0a..f7fe0f27 100644
--- a/testdata/language-features/guard/guard09.out
+++ b/testdata/language-features/guard/guard09.out
@@ -1,3 +1,10 @@
+------------ desugared source code
+value
+  = 'BoolCase
+    \_ -> _ :: _
+    ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
+    (_rhs "True")
+    True
 main is not found
 ------------ trace
 value :: [32mString[0m
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out
index 08498e54..ab4e408f 100644
--- a/testdata/language-features/guard/guard11.out
+++ b/testdata/language-features/guard/guard11.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+fun = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs "False") (_rhs "True") a
 main is not found
 ------------ trace
 fun :: [32mBool -> String[0m
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out
index 2ab6fd64..a39476bd 100644
--- a/testdata/language-features/guard/guard13.out
+++ b/testdata/language-features/guard/guard13.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+fun = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) a
 main is not found
 ------------ trace
 fun :: [32mBool -> ()[0m
diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out
index 6239a07f..67a9c499 100644
--- a/testdata/language-features/guard/guard14.out
+++ b/testdata/language-features/guard/guard14.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+value = _rhs \(a := 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil
 main is not found
 ------------ trace
 value :: [32m()[0m
diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out
index d29b7738..4293221c 100644
--- a/testdata/language-features/guard/guard15.out
+++ b/testdata/language-features/guard/guard15.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+value = _rhs \(a := 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil
 main is not found
 ------------ trace
 value :: [32m()[0m
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out
index 1c3bd27d..9886821b 100644
--- a/testdata/language-features/guard/guard16.out
+++ b/testdata/language-features/guard/guard16.out
@@ -1,3 +1,12 @@
+------------ desugared source code
+value
+  = _rhs
+    ((\(a :: _) -> 'BoolCase
+        \_ -> _ :: _
+        HNil
+        ('BoolCase \_ -> _ :: _ HNil HNil True)
+        (fromInt 1 == a))
+      (fromInt 1))
 main is not found
 ------------ trace
 value :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m

diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out index 5f08a0dc..6fde06b1 100644 --- a/testdata/language-features/guard/guard01.out +++ b/testdata/language-features/guard/guard01.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	value = 'BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs HNil) True
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	value :: [32m()[0m	5	value :: [32m()[0m


diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out index 7090e22b..7b176d9b 100644 --- a/testdata/language-features/guard/guard03.out +++ b/testdata/language-features/guard/guard03.out
@@ -1,3 +1,10 @@
		1	------------ desugared source code
		2	value
		3	= 'BoolCase
		4	\_ -> _ :: _
		5	('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
		6	(_rhs "True")
		7	True
1	main is not found	8	main is not found
2	------------ trace	9	------------ trace
3	value :: [32mString[0m	10	value :: [32mString[0m


diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out index 3f34c61b..54ca2fb7 100644 --- a/testdata/language-features/guard/guard04.out +++ b/testdata/language-features/guard/guard04.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	value = 'BoolCase \_ -> _ :: _ (_rhs "False") (_rhs "True") True
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	value :: [32mString[0m	5	value :: [32mString[0m


diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out index 6a42d526..9e4d40a5 100644 --- a/testdata/language-features/guard/guard06.out +++ b/testdata/language-features/guard/guard06.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	value = _rhs HNil
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	value :: [32m()[0m	5	value :: [32m()[0m


diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out index 38e182d2..461efa43 100644 --- a/testdata/language-features/guard/guard07.out +++ b/testdata/language-features/guard/guard07.out
@@ -1,3 +1,10 @@
		1	------------ desugared source code
		2	value
		3	= 'BoolCase
		4	\_ -> _ :: _
		5	('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
		6	(_rhs "True")
		7	True
1	main is not found	8	main is not found
2	------------ trace	9	------------ trace
3	value :: [32mString[0m	10	value :: [32mString[0m


diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out index 075a074b..4f273b1d 100644 --- a/testdata/language-features/guard/guard08.out +++ b/testdata/language-features/guard/guard08.out
@@ -1,3 +1,10 @@
		1	------------ desugared source code
		2	value
		3	= 'BoolCase
		4	\_ -> _ :: _
		5	('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
		6	(_rhs "True")
		7	True
1	main is not found	8	main is not found
2	------------ trace	9	------------ trace
3	value :: [32mString[0m	10	value :: [32mString[0m


diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out index 694aaa0a..f7fe0f27 100644 --- a/testdata/language-features/guard/guard09.out +++ b/testdata/language-features/guard/guard09.out
@@ -1,3 +1,10 @@
		1	------------ desugared source code
		2	value
		3	= 'BoolCase
		4	\_ -> _ :: _
		5	('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False)
		6	(_rhs "True")
		7	True
1	main is not found	8	main is not found
2	------------ trace	9	------------ trace
3	value :: [32mString[0m	10	value :: [32mString[0m


diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out index 08498e54..ab4e408f 100644 --- a/testdata/language-features/guard/guard11.out +++ b/testdata/language-features/guard/guard11.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	fun = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs "False") (_rhs "True") a
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	fun :: [32mBool -> String[0m	5	fun :: [32mBool -> String[0m


diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out index 2ab6fd64..a39476bd 100644 --- a/testdata/language-features/guard/guard13.out +++ b/testdata/language-features/guard/guard13.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	fun = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) a
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	fun :: [32mBool -> ()[0m	5	fun :: [32mBool -> ()[0m


diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out index 6239a07f..67a9c499 100644 --- a/testdata/language-features/guard/guard14.out +++ b/testdata/language-features/guard/guard14.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	value = _rhs \(a := 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	value :: [32m()[0m	5	value :: [32m()[0m


diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out index d29b7738..4293221c 100644 --- a/testdata/language-features/guard/guard15.out +++ b/testdata/language-features/guard/guard15.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	value = _rhs \(a := 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	value :: [32m()[0m	5	value :: [32m()[0m


diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out index 1c3bd27d..9886821b 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out
@@ -1,3 +1,12 @@
		1	------------ desugared source code
		2	value
		3	= _rhs
		4	((\(a :: _) -> 'BoolCase
		5	\_ -> _ :: _
		6	HNil
		7	('BoolCase \_ -> _ :: _ HNil HNil True)
		8	(fromInt 1 == a))
		9	(fromInt 1))
1	main is not found	10	main is not found
2	------------ trace	11	------------ trace
3	value :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m	12	value :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m