1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index 9c2979a6..590a5d21 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1,12 +1,12 @@
-focus checkMetas: \[34ma[m -> ([32m\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m[m) (\[34ma[m:=[32mType[m [32mc[m:[32mType[m -> [47m<<HERE>>[m)
+focus checkMetas: \[34ma[m -> [32m(\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m)[m (\([34ma[m:=[32mType[m) -> \[32mc[m:[32mType[m -> [47m<<HERE>>[m)
-[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m ([32m[32mlabend [32mX[m[m[m)[m[m[m
+[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m [32m[32m(labend [32mX[m)[m[m[m[m[m
 ------------ trace
 'X :: [32mType[39m[K
 X :: [32m'X[39m[K
 'XCase :: [32m(b : 'X->Type) -> b X -> d:'X -> b d[39m[K
 match'X :: [32m(b : Type->Type) -> b 'X -> d:Type -> b d -> b d[39m[K
-!focus checkMetas: \[34ma[m -> ([32m\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m[m) (\[34ma[m:=[32mType[m [32mc[m:[32mType[m -> [47m<<HERE>>[m)
+!focus checkMetas: \[34ma[m -> [32m(\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m)[m (\([34ma[m:=[32mType[m) -> \[32mc[m:[32mType[m -> [47m<<HERE>>[m)
-[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m ([32m[32mlabend [32mX[m[m[m)[m[m[m
+[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m [32m[32m(labend [32mX[m)[m[m[m[m[m
 ------------ tooltips
 testdata/typesig.reject.lc 4:6-4:7  Type
 testdata/typesig.reject.lc 4:6-4:11  Type

diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 9c2979a6..590a5d21 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out
@@ -1,12 +1,12 @@
1	focus checkMetas: \[34ma[m -> ([32m\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m[m) (\[34ma[m:=[32mType[m [32mc[m:[32mType[m -> [47m<<HERE>>[m)	1	focus checkMetas: \[34ma[m -> [32m(\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m)[m (\([34ma[m:=[32mType[m) -> \[32mc[m:[32mType[m -> [47m<<HERE>>[m)
2	[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m ([32m[32mlabend [32mX[m[m[m)[m[m[m	2	[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m [32m[32m(labend [32mX[m)[m[m[m[m[m
3	------------ trace	3	------------ trace
4	'X :: [32mType[39m[K	4	'X :: [32mType[39m[K
5	X :: [32m'X[39m[K	5	X :: [32m'X[39m[K
6	'XCase :: [32m(b : 'X->Type) -> b X -> d:'X -> b d[39m[K	6	'XCase :: [32m(b : 'X->Type) -> b X -> d:'X -> b d[39m[K
7	match'X :: [32m(b : Type->Type) -> b 'X -> d:Type -> b d -> b d[39m[K	7	match'X :: [32m(b : Type->Type) -> b 'X -> d:Type -> b d -> b d[39m[K
8	!focus checkMetas: \[34ma[m -> ([32m\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m[m) (\[34ma[m:=[32mType[m [32mc[m:[32mType[m -> [47m<<HERE>>[m)	8	!focus checkMetas: \[34ma[m -> [32m(\[32mb[m:Type -> [32mprimFix [32m[32ma[m[m [32m[32mb[m[m[m)[m (\([34ma[m:=[32mType[m) -> \[32mc[m:[32mType[m -> [47m<<HERE>>[m)
9	[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m ([32m[32mlabend [32mX[m[m[m)[m[m[m	9	[32m\([34ma[m : [32m[32m[32mType[m~[32m[32mV0[m[m[m[m) ([34mb[m : [32m[32m[32m[32mV1[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mV2[m[m [32m[32m(labend [32mX[m)[m[m[m[m[m
10	------------ tooltips	10	------------ tooltips
11	testdata/typesig.reject.lc 4:6-4:7 Type	11	testdata/typesig.reject.lc 4:6-4:7 Type
12	testdata/typesig.reject.lc 4:6-4:11 Type	12	testdata/typesig.reject.lc 4:6-4:11 Type