15 files changed, 24 insertions, 24 deletions
diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out
index 013da5d2..5f08a0dc 100644
--- a/testdata/language-features/guard/guard01.out
+++ b/testdata/language-features/guard/guard01.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m()[39m[K
+value :: [32m()[0m
 ------------ tooltips
 testdata/language-features/guard/guard01.lc 1:1-1:6  ()
 testdata/language-features/guard/guard01.lc 1:9-1:13  Bool
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out
index d06c5b7e..3cff76bd 100644
--- a/testdata/language-features/guard/guard02.reject.out
+++ b/testdata/language-features/guard/guard02.reject.out
@@ -1,7 +1,7 @@
 type error: can not unify
-[32m'String[m
+[32m'String[0m
 with
-[32m()[m
+[32m()[0m
 in testdata/language-features/guard/guard02.reject.lc:2:12:
  | True = ()
@@ -9,9 +9,9 @@ in testdata/language-features/guard/guard02.reject.lc:2:12:
 ------------ trace
 !type error: can not unify
-[32m'String[m
+[32m'String[0m
 with
-[32m()[m
+[32m()[0m
 in testdata/language-features/guard/guard02.reject.lc:2:12:
  | True = ()
diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out
index 3f240c28..60e74282 100644
--- a/testdata/language-features/guard/guard03.out
+++ b/testdata/language-features/guard/guard03.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m'String[39m[K
+value :: [32m'String[0m
 ------------ tooltips
 testdata/language-features/guard/guard03.lc 1:1-1:6  String
 testdata/language-features/guard/guard03.lc 2:5-2:9  Bool
diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out
index 5254a0e8..7ce283ad 100644
--- a/testdata/language-features/guard/guard04.out
+++ b/testdata/language-features/guard/guard04.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m'String[39m[K
+value :: [32m'String[0m
 ------------ tooltips
 testdata/language-features/guard/guard04.lc 1:1-1:6  String
 testdata/language-features/guard/guard04.lc 2:5-2:9  Bool
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out
index 7b407416..99275e00 100644
--- a/testdata/language-features/guard/guard05.reject.out
+++ b/testdata/language-features/guard/guard05.reject.out
@@ -1,7 +1,7 @@
 type error: can not unify
-[32m'Bool[m
+[32m'Bool[0m
 with
-[32m()[m
+[32m()[0m
 in testdata/language-features/guard/guard05.reject.lc:1:9:
 value | () = "wrong"
@@ -9,9 +9,9 @@ value | () = "wrong"
 ------------ trace
 !type error: can not unify
-[32m'Bool[m
+[32m'Bool[0m
 with
-[32m()[m
+[32m()[0m
 in testdata/language-features/guard/guard05.reject.lc:1:9:
 value | () = "wrong"
diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out
index 00e3bebf..6a42d526 100644
--- a/testdata/language-features/guard/guard06.out
+++ b/testdata/language-features/guard/guard06.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m()[39m[K
+value :: [32m()[0m
 ------------ tooltips
 testdata/language-features/guard/guard06.lc 1:1-1:6  ()
 testdata/language-features/guard/guard06.lc 1:21-1:23  ()
diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out
index 94f6b321..2a965392 100644
--- a/testdata/language-features/guard/guard07.out
+++ b/testdata/language-features/guard/guard07.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m'String[39m[K
+value :: [32m'String[0m
 ------------ tooltips
 testdata/language-features/guard/guard07.lc 1:1-1:6  String
 testdata/language-features/guard/guard07.lc 1:7-1:11  Bool
diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out
index 0fb1cbe1..7cab16c3 100644
--- a/testdata/language-features/guard/guard08.out
+++ b/testdata/language-features/guard/guard08.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m'String[39m[K
+value :: [32m'String[0m
 ------------ tooltips
 testdata/language-features/guard/guard08.lc 1:1-1:6  String
 testdata/language-features/guard/guard08.lc 1:7-1:11  Bool
diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out
index 58167221..437466c6 100644
--- a/testdata/language-features/guard/guard09.out
+++ b/testdata/language-features/guard/guard09.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m'String[39m[K
+value :: [32m'String[0m
 ------------ tooltips
 testdata/language-features/guard/guard09.lc 1:1-1:6  String
 testdata/language-features/guard/guard09.lc 1:7-1:11  Bool
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out
index 8c5ea30b..fead2674 100644
--- a/testdata/language-features/guard/guard11.out
+++ b/testdata/language-features/guard/guard11.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-fun :: [32m'Bool->'String[39m[K
+fun :: [32m'Bool->'String[0m
 ------------ tooltips
 testdata/language-features/guard/guard11.lc 1:1-1:4  Bool->String
 testdata/language-features/guard/guard11.lc 2:5-2:6  b_
diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out
index 24056827..ca6c50ab 100644
--- a/testdata/language-features/guard/guard12.reject.out
+++ b/testdata/language-features/guard/guard12.reject.out
@@ -1,7 +1,7 @@
 type error: can not unify
-[32m'Char[m
+[32m'Char[0m
 with
-[32m()[m
+[32m()[0m
 in testdata/language-features/guard/guard12.reject.lc:1:13:
 fun x | x = () | otherwise = 'a'
@@ -9,9 +9,9 @@ fun x | x = () | otherwise = 'a'
 ------------ trace
 !type error: can not unify
-[32m'Char[m
+[32m'Char[0m
 with
-[32m()[m
+[32m()[0m
 in testdata/language-features/guard/guard12.reject.lc:1:13:
 fun x | x = () | otherwise = 'a'
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out
index dc689b1e..f801f842 100644
--- a/testdata/language-features/guard/guard13.out
+++ b/testdata/language-features/guard/guard13.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-fun :: [32m'Bool->()[39m[K
+fun :: [32m'Bool->()[0m
 ------------ tooltips
 testdata/language-features/guard/guard13.lc 1:1-1:4  Bool->()
 testdata/language-features/guard/guard13.lc 1:7-1:8  b_
diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out
index 1229c3ad..ce882094 100644
--- a/testdata/language-features/guard/guard14.out
+++ b/testdata/language-features/guard/guard14.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m()[39m[K
+value :: [32m()[0m
 ------------ tooltips
 testdata/language-features/guard/guard14.lc 1:1-1:6  ()
 testdata/language-features/guard/guard14.lc 1:17-1:21  Bool
diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out
index 1f3ab140..d15dfe52 100644
--- a/testdata/language-features/guard/guard15.out
+++ b/testdata/language-features/guard/guard15.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m()[39m[K
+value :: [32m()[0m
 ------------ tooltips
 testdata/language-features/guard/guard15.lc 1:1-1:6  ()
 testdata/language-features/guard/guard15.lc 1:9-1:11  ()
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out
index e1e6fd18..bb8f2af3 100644
--- a/testdata/language-features/guard/guard16.out
+++ b/testdata/language-features/guard/guard16.out
@@ -1,6 +1,6 @@
 main is not found
 ------------ trace
-value :: [32m{a} -> {_ : 'Eq a} -> {_ : 'Num a}->()[39m[K
+value :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->()[0m
 ------------ tooltips
 testdata/language-features/guard/guard16.lc 1:1-1:6  {a} -> {_ : Eq a} -> {_ : Num a}->()
 testdata/language-features/guard/guard16.lc 1:9-3:10  ()

diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out index 013da5d2..5f08a0dc 100644 --- a/testdata/language-features/guard/guard01.out +++ b/testdata/language-features/guard/guard01.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m()[39m[K	3	value :: [32m()[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard01.lc 1:1-1:6 ()	5	testdata/language-features/guard/guard01.lc 1:1-1:6 ()
6	testdata/language-features/guard/guard01.lc 1:9-1:13 Bool	6	testdata/language-features/guard/guard01.lc 1:9-1:13 Bool


diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out index d06c5b7e..3cff76bd 100644 --- a/testdata/language-features/guard/guard02.reject.out +++ b/testdata/language-features/guard/guard02.reject.out
@@ -1,7 +1,7 @@
1	type error: can not unify	1	type error: can not unify
2	[32m'String[m	2	[32m'String[0m
3	with	3	with
4	[32m()[m	4	[32m()[0m
5		5
6	in testdata/language-features/guard/guard02.reject.lc:2:12:	6	in testdata/language-features/guard/guard02.reject.lc:2:12:
7	\| True = ()	7	\| True = ()
@@ -9,9 +9,9 @@ in testdata/language-features/guard/guard02.reject.lc:2:12:
9		9
10	------------ trace	10	------------ trace
11	!type error: can not unify	11	!type error: can not unify
12	[32m'String[m	12	[32m'String[0m
13	with	13	with
14	[32m()[m	14	[32m()[0m
15		15
16	in testdata/language-features/guard/guard02.reject.lc:2:12:	16	in testdata/language-features/guard/guard02.reject.lc:2:12:
17	\| True = ()	17	\| True = ()


diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out index 3f240c28..60e74282 100644 --- a/testdata/language-features/guard/guard03.out +++ b/testdata/language-features/guard/guard03.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m'String[39m[K	3	value :: [32m'String[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard03.lc 1:1-1:6 String	5	testdata/language-features/guard/guard03.lc 1:1-1:6 String
6	testdata/language-features/guard/guard03.lc 2:5-2:9 Bool	6	testdata/language-features/guard/guard03.lc 2:5-2:9 Bool


diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out index 5254a0e8..7ce283ad 100644 --- a/testdata/language-features/guard/guard04.out +++ b/testdata/language-features/guard/guard04.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m'String[39m[K	3	value :: [32m'String[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard04.lc 1:1-1:6 String	5	testdata/language-features/guard/guard04.lc 1:1-1:6 String
6	testdata/language-features/guard/guard04.lc 2:5-2:9 Bool	6	testdata/language-features/guard/guard04.lc 2:5-2:9 Bool


diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out index 7b407416..99275e00 100644 --- a/testdata/language-features/guard/guard05.reject.out +++ b/testdata/language-features/guard/guard05.reject.out
@@ -1,7 +1,7 @@
1	type error: can not unify	1	type error: can not unify
2	[32m'Bool[m	2	[32m'Bool[0m
3	with	3	with
4	[32m()[m	4	[32m()[0m
5		5
6	in testdata/language-features/guard/guard05.reject.lc:1:9:	6	in testdata/language-features/guard/guard05.reject.lc:1:9:
7	value \| () = "wrong"	7	value \| () = "wrong"
@@ -9,9 +9,9 @@ value \| () = "wrong"
9		9
10	------------ trace	10	------------ trace
11	!type error: can not unify	11	!type error: can not unify
12	[32m'Bool[m	12	[32m'Bool[0m
13	with	13	with
14	[32m()[m	14	[32m()[0m
15		15
16	in testdata/language-features/guard/guard05.reject.lc:1:9:	16	in testdata/language-features/guard/guard05.reject.lc:1:9:
17	value \| () = "wrong"	17	value \| () = "wrong"


diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out index 00e3bebf..6a42d526 100644 --- a/testdata/language-features/guard/guard06.out +++ b/testdata/language-features/guard/guard06.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m()[39m[K	3	value :: [32m()[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard06.lc 1:1-1:6 ()	5	testdata/language-features/guard/guard06.lc 1:1-1:6 ()
6	testdata/language-features/guard/guard06.lc 1:21-1:23 ()	6	testdata/language-features/guard/guard06.lc 1:21-1:23 ()


diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out index 94f6b321..2a965392 100644 --- a/testdata/language-features/guard/guard07.out +++ b/testdata/language-features/guard/guard07.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m'String[39m[K	3	value :: [32m'String[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard07.lc 1:1-1:6 String	5	testdata/language-features/guard/guard07.lc 1:1-1:6 String
6	testdata/language-features/guard/guard07.lc 1:7-1:11 Bool	6	testdata/language-features/guard/guard07.lc 1:7-1:11 Bool


diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out index 0fb1cbe1..7cab16c3 100644 --- a/testdata/language-features/guard/guard08.out +++ b/testdata/language-features/guard/guard08.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m'String[39m[K	3	value :: [32m'String[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard08.lc 1:1-1:6 String	5	testdata/language-features/guard/guard08.lc 1:1-1:6 String
6	testdata/language-features/guard/guard08.lc 1:7-1:11 Bool	6	testdata/language-features/guard/guard08.lc 1:7-1:11 Bool


diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out index 58167221..437466c6 100644 --- a/testdata/language-features/guard/guard09.out +++ b/testdata/language-features/guard/guard09.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m'String[39m[K	3	value :: [32m'String[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard09.lc 1:1-1:6 String	5	testdata/language-features/guard/guard09.lc 1:1-1:6 String
6	testdata/language-features/guard/guard09.lc 1:7-1:11 Bool	6	testdata/language-features/guard/guard09.lc 1:7-1:11 Bool


diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out index 8c5ea30b..fead2674 100644 --- a/testdata/language-features/guard/guard11.out +++ b/testdata/language-features/guard/guard11.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	fun :: [32m'Bool->'String[39m[K	3	fun :: [32m'Bool->'String[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String	5	testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String
6	testdata/language-features/guard/guard11.lc 2:5-2:6 b_	6	testdata/language-features/guard/guard11.lc 2:5-2:6 b_


diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out index 24056827..ca6c50ab 100644 --- a/testdata/language-features/guard/guard12.reject.out +++ b/testdata/language-features/guard/guard12.reject.out
@@ -1,7 +1,7 @@
1	type error: can not unify	1	type error: can not unify
2	[32m'Char[m	2	[32m'Char[0m
3	with	3	with
4	[32m()[m	4	[32m()[0m
5		5
6	in testdata/language-features/guard/guard12.reject.lc:1:13:	6	in testdata/language-features/guard/guard12.reject.lc:1:13:
7	fun x \| x = () \| otherwise = 'a'	7	fun x \| x = () \| otherwise = 'a'
@@ -9,9 +9,9 @@ fun x \| x = () \| otherwise = 'a'
9		9
10	------------ trace	10	------------ trace
11	!type error: can not unify	11	!type error: can not unify
12	[32m'Char[m	12	[32m'Char[0m
13	with	13	with
14	[32m()[m	14	[32m()[0m
15		15
16	in testdata/language-features/guard/guard12.reject.lc:1:13:	16	in testdata/language-features/guard/guard12.reject.lc:1:13:
17	fun x \| x = () \| otherwise = 'a'	17	fun x \| x = () \| otherwise = 'a'


diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out index dc689b1e..f801f842 100644 --- a/testdata/language-features/guard/guard13.out +++ b/testdata/language-features/guard/guard13.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	fun :: [32m'Bool->()[39m[K	3	fun :: [32m'Bool->()[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->()	5	testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->()
6	testdata/language-features/guard/guard13.lc 1:7-1:8 b_	6	testdata/language-features/guard/guard13.lc 1:7-1:8 b_


diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out index 1229c3ad..ce882094 100644 --- a/testdata/language-features/guard/guard14.out +++ b/testdata/language-features/guard/guard14.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m()[39m[K	3	value :: [32m()[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard14.lc 1:1-1:6 ()	5	testdata/language-features/guard/guard14.lc 1:1-1:6 ()
6	testdata/language-features/guard/guard14.lc 1:17-1:21 Bool	6	testdata/language-features/guard/guard14.lc 1:17-1:21 Bool


diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out index 1f3ab140..d15dfe52 100644 --- a/testdata/language-features/guard/guard15.out +++ b/testdata/language-features/guard/guard15.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m()[39m[K	3	value :: [32m()[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard15.lc 1:1-1:6 ()	5	testdata/language-features/guard/guard15.lc 1:1-1:6 ()
6	testdata/language-features/guard/guard15.lc 1:9-1:11 ()	6	testdata/language-features/guard/guard15.lc 1:9-1:11 ()


diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out index e1e6fd18..bb8f2af3 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out
@@ -1,6 +1,6 @@
1	main is not found	1	main is not found
2	------------ trace	2	------------ trace
3	value :: [32m{a} -> {_ : 'Eq a} -> {_ : 'Num a}->()[39m[K	3	value :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->()[0m
4	------------ tooltips	4	------------ tooltips
5	testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->()	5	testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->()
6	testdata/language-features/guard/guard16.lc 1:9-3:10 ()	6	testdata/language-features/guard/guard16.lc 1:9-3:10 ()