diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:44:42 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:44:42 +0200 |
| commit | eaa99d13de8f9638c82beaae646cd66f3c1f8d89 (patch) | |
| tree | 8d1b86a45e1b1857a0ef2eafa75ae870b574006f /testdata/typesig.reject.out | |
| parent | 61a8efb74a0ca34f73a848f6d9fd018c83dac343 (diff) | |
generate less variable names
Diffstat (limited to 'testdata/typesig.reject.out')
| -rw-r--r-- | testdata/typesig.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 590a5d21..7d9272bc 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
| @@ -3,8 +3,8 @@ focus checkMetas: \[34ma[m -> [32m(\[32mb[m:Type -> [32mprimFix [32m[32m | |||
| 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(a : 'X->Type) -> a X -> b:'X -> a b[39m[K |
| 7 | match'X :: [32m(b : Type->Type) -> b 'X -> d:Type -> b d -> b d[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[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 |