1 files changed, 23 insertions, 13 deletions
diff --git a/testdata/language-features/section/section01.out b/testdata/language-features/section/section01.out
index 86a78f54..0c51e14e 100644
--- a/testdata/language-features/section/section01.out
+++ b/testdata/language-features/section/section01.out
@@ -4,17 +4,27 @@ value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b
 value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a
 main is not found
 ------------ trace
-!@! :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m
+!@! :: forall a b . a -> b -> ()
-value1 :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m
+value1 :: forall a b . a -> b -> ()
-value2 :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m
+value2 :: forall a b . a -> b -> ()
 ------------ tooltips
-testdata/language-features/section/section01.lc 1:3-1:6  forall a b . a -> b -> ()
+testdata/language-features/section/section01.lc 1:3-1:6
-testdata/language-features/section/section01.lc 1:11-1:13  ()
+    forall a b . a -> b -> ()
-testdata/language-features/section/section01.lc 3:1-3:7  forall a b . a -> b -> ()
+testdata/language-features/section/section01.lc 1:11-1:13
-testdata/language-features/section/section01.lc 3:13-3:14  _f
+    ()
-testdata/language-features/section/section01.lc 3:13-3:18  _a -> ()
+testdata/language-features/section/section01.lc 3:1-3:7
-testdata/language-features/section/section01.lc 3:15-3:18  forall a b . a -> b -> ()
+    forall a b . a -> b -> ()
-testdata/language-features/section/section01.lc 5:1-5:7  forall a b . a -> b -> ()
+testdata/language-features/section/section01.lc 3:13-3:14
-testdata/language-features/section/section01.lc 5:13-5:16  forall a b . a -> b -> ()
+    _f
-testdata/language-features/section/section01.lc 5:13-5:18  ()
+testdata/language-features/section/section01.lc 3:13-3:18
-testdata/language-features/section/section01.lc 5:17-5:18  _e
+    _a -> ()
+testdata/language-features/section/section01.lc 3:15-3:18
+    forall a b . a -> b -> ()
+testdata/language-features/section/section01.lc 5:1-5:7
+    forall a b . a -> b -> ()
+testdata/language-features/section/section01.lc 5:13-5:16
+    forall a b . a -> b -> ()
+testdata/language-features/section/section01.lc 5:13-5:18
+    ()
+testdata/language-features/section/section01.lc 5:17-5:18
+    _e
+\ No newline at end of file

diff --git a/testdata/language-features/section/section01.out b/testdata/language-features/section/section01.out index 86a78f54..0c51e14e 100644 --- a/testdata/language-features/section/section01.out +++ b/testdata/language-features/section/section01.out
@@ -4,17 +4,27 @@ value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b
4	value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a	4	value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a
5	main is not found	5	main is not found
6	------------ trace	6	------------ trace
7	!@! :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m	7	!@! :: forall a b . a -> b -> ()
8	value1 :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m	8	value1 :: forall a b . a -> b -> ()
9	value2 :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m	9	value2 :: forall a b . a -> b -> ()
10	------------ tooltips	10	------------ tooltips
11	testdata/language-features/section/section01.lc 1:3-1:6 forall a b . a -> b -> ()	11	testdata/language-features/section/section01.lc 1:3-1:6
12	testdata/language-features/section/section01.lc 1:11-1:13 ()	12	forall a b . a -> b -> ()
13	testdata/language-features/section/section01.lc 3:1-3:7 forall a b . a -> b -> ()	13	testdata/language-features/section/section01.lc 1:11-1:13
14	testdata/language-features/section/section01.lc 3:13-3:14 _f	14	()
15	testdata/language-features/section/section01.lc 3:13-3:18 _a -> ()	15	testdata/language-features/section/section01.lc 3:1-3:7
16	testdata/language-features/section/section01.lc 3:15-3:18 forall a b . a -> b -> ()	16	forall a b . a -> b -> ()
17	testdata/language-features/section/section01.lc 5:1-5:7 forall a b . a -> b -> ()	17	testdata/language-features/section/section01.lc 3:13-3:14
18	testdata/language-features/section/section01.lc 5:13-5:16 forall a b . a -> b -> ()	18	_f
19	testdata/language-features/section/section01.lc 5:13-5:18 ()	19	testdata/language-features/section/section01.lc 3:13-3:18
20	testdata/language-features/section/section01.lc 5:17-5:18 _e	20	_a -> ()
		21	testdata/language-features/section/section01.lc 3:15-3:18
		22	forall a b . a -> b -> ()
		23	testdata/language-features/section/section01.lc 5:1-5:7
		24	forall a b . a -> b -> ()
		25	testdata/language-features/section/section01.lc 5:13-5:16
		26	forall a b . a -> b -> ()
		27	testdata/language-features/section/section01.lc 5:13-5:18
		28	()
		29	testdata/language-features/section/section01.lc 5:17-5:18
		30	_e \ No newline at end of file