diff options
Diffstat (limited to 'testdata/typesig.reject.out')
-rw-r--r-- | testdata/typesig.reject.out | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 50c13202..1b78a5c8 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
@@ -1,16 +1,16 @@ | |||
1 | focus checkMetas: \[34ma[0m -> [32m(\([32mb[0;32m:Type) -> [32mprimFix [32m[32ma[0;32m[0;32m [32m[32mb[0;32m[0;32m[0;32m)[0m (\([34ma[0m:=[32mType[0m) -> \([32mc[0m:[32mType[0m) -> [4m<<HERE>>[0m) | 1 | focus checkMetas: \[34ma[0m -> [32m(\([32mb[0;32m :: Type) -> [32mprimFix [32m[32ma[0;32m[0;32m [32m[32mb[0;32m[0;32m[0;32m)[0m (\([34ma[0m := [32mType[0m) -> \([32mc[0m :: [32mType[0m) -> [4m<<HERE>>[0m) |
2 | [32m\([34ma[0;32m : [32m[32m[32mType[0;32m~[32m[32ma_[0;32m[0;32m[0;32m[0;32m) ([34mb[0;32m : [32m[32m[32m[32ma_[0;32m[0;32m~[32m'X[0;32m[0;32m[0;32m) -> [32m[32mtypeAnn [32m[32ma_[0;32m[0;32m [32m[32m(labend [32mX[0;32m)[0;32m[0;32m[0;32m[0;32m[0m | 2 | [32m\([34ma[0;32m :: [32m[32m[32mType[0;32m ~ [32m[32m_a[0;32m[0;32m[0;32m[0;32m) ([34mb[0;32m :: [32m[32m[32m[32m_a[0;32m[0;32m ~ [32m'X[0;32m[0;32m[0;32m) -> [32m[32mtypeAnn [32m[32m_a[0;32m[0;32m [32m[32m(labend [32mX[0;32m)[0;32m[0;32m[0;32m[0;32m[0m |
3 | ------------ trace | 3 | ------------ trace |
4 | 'X :: [32mType[0m | 4 | 'X :: [32mType[0m |
5 | X :: [32m'X[0m | 5 | X :: [32m'X[0m |
6 | 'XCase :: [32m([32ma[0;32m : 'X->Type) -> [32m[32ma[0;32m [32mX[0;32m[0;32m -> ([32mb[0;32m:'X) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 6 | 'XCase :: [32m([32ma[0;32m :: 'X -> Type) -> [32m[32ma[0;32m [32mX[0;32m[0;32m -> ([32mb[0;32m :: 'X) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
7 | match'X :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'X[0;32m[0;32m -> ([32mb[0;32m:Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 7 | match'X :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'X[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
8 | !focus checkMetas: \[34ma[0m -> [32m(\([32mb[0;32m:Type) -> [32mprimFix [32m[32ma[0;32m[0;32m [32m[32mb[0;32m[0;32m[0;32m)[0m (\([34ma[0m:=[32mType[0m) -> \([32mc[0m:[32mType[0m) -> [4m<<HERE>>[0m) | 8 | !focus checkMetas: \[34ma[0m -> [32m(\([32mb[0;32m :: Type) -> [32mprimFix [32m[32ma[0;32m[0;32m [32m[32mb[0;32m[0;32m[0;32m)[0m (\([34ma[0m := [32mType[0m) -> \([32mc[0m :: [32mType[0m) -> [4m<<HERE>>[0m) |
9 | [32m\([34ma[0;32m : [32m[32m[32mType[0;32m~[32m[32ma_[0;32m[0;32m[0;32m[0;32m) ([34mb[0;32m : [32m[32m[32m[32ma_[0;32m[0;32m~[32m'X[0;32m[0;32m[0;32m) -> [32m[32mtypeAnn [32m[32ma_[0;32m[0;32m [32m[32m(labend [32mX[0;32m)[0;32m[0;32m[0;32m[0;32m[0m | 9 | [32m\([34ma[0;32m :: [32m[32m[32mType[0;32m ~ [32m[32m_a[0;32m[0;32m[0;32m[0;32m) ([34mb[0;32m :: [32m[32m[32m[32m_a[0;32m[0;32m ~ [32m'X[0;32m[0;32m[0;32m) -> [32m[32mtypeAnn [32m[32m_a[0;32m[0;32m [32m[32m(labend [32mX[0;32m)[0;32m[0;32m[0;32m[0;32m[0m |
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 |
13 | testdata/typesig.reject.lc 4:10-4:11 X | 13 | testdata/typesig.reject.lc 4:10-4:11 X |
14 | testdata/typesig.reject.lc 6:6-6:7 b_ | 14 | testdata/typesig.reject.lc 6:6-6:7 _b |
15 | testdata/typesig.reject.lc 6:6-7:6 a_->a_ | c_ | 15 | testdata/typesig.reject.lc 6:6-7:6 _a -> _a | _c |
16 | testdata/typesig.reject.lc 7:5-7:6 X | 16 | testdata/typesig.reject.lc 7:5-7:6 X |