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/language-features/basic-list/list11.out | |
parent | eaa99d13de8f9638c82beaae646cd66f3c1f8d89 (diff) |
better names for free variables
Diffstat (limited to 'testdata/language-features/basic-list/list11.out')
-rw-r--r-- | testdata/language-features/basic-list/list11.out | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index 39d4c7a8..659a85eb 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out | |||
@@ -3,8 +3,8 @@ main is not found | |||
3 | value :: [32m{a} -> {_ : 'Num a} -> 'List a[39m[K | 3 | value :: [32m{a} -> {_ : 'Num a} -> 'List a[39m[K |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {_ : Num a} -> List a | 5 | testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {_ : Num a} -> List a |
6 | testdata/language-features/basic-list/list11.lc 1:9-1:10 V1 | 6 | testdata/language-features/basic-list/list11.lc 1:9-1:10 b_ |
7 | testdata/language-features/basic-list/list11.lc 1:9-1:11 List V1 -> List V2 | 7 | testdata/language-features/basic-list/list11.lc 1:9-1:11 List b_ -> List c_ |
8 | testdata/language-features/basic-list/list11.lc 1:9-1:13 List V1 | 8 | testdata/language-features/basic-list/list11.lc 1:9-1:13 List b_ |
9 | testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> List a -> List a | 9 | testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> List a -> List a |
10 | testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> List a | 10 | testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> List a |