diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:48:57 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:48:57 +0200 |
commit | 4f17b186afdd0b076d3efc06fe844e1f547b805a (patch) | |
tree | aff796c8a962dca4d3b2880a26195ad91cdc25cb /testdata/typesig.reject.out | |
parent | eaa99d13de8f9638c82beaae646cd66f3c1f8d89 (diff) |
better names for free variables
Diffstat (limited to 'testdata/typesig.reject.out')
-rw-r--r-- | testdata/typesig.reject.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 7d9272bc..f6a0fd30 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
@@ -1,16 +1,16 @@ | |||
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[32m(labend [32mX[m)[m[m[m[m[m | 2 | [32m\([34ma[m : [32m[32m[32mType[m~[32m[32ma_[m[m[m[m) ([34mb[m : [32m[32m[32m[32mb_[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mc_[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(a : 'X->Type) -> a X -> b:'X -> a b[39m[K | 6 | 'XCase :: [32m(a : 'X->Type) -> a X -> b:'X -> a b[39m[K |
7 | match'X :: [32m(a : Type->Type) -> a 'X -> b:Type -> a b -> a b[39m[K | 7 | match'X :: [32m(a : Type->Type) -> a 'X -> b:Type -> a b -> a b[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[32m(labend [32mX[m)[m[m[m[m[m | 9 | [32m\([34ma[m : [32m[32m[32mType[m~[32m[32ma_[m[m[m[m) ([34mb[m : [32m[32m[32m[32mb_[m[m~[32m'X[m[m[m) -> [32m[32mtypeAnn [32m[32mc_[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 |
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 V1 | 14 | testdata/typesig.reject.lc 6:6-6:7 b_ |
15 | testdata/typesig.reject.lc 6:6-7:6 V0->V1 | V2 | 15 | testdata/typesig.reject.lc 6:6-7:6 a_->b_ | c_ |
16 | testdata/typesig.reject.lc 7:5-7:6 X | 16 | testdata/typesig.reject.lc 7:5-7:6 X |