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/list02.out | |
| parent | eaa99d13de8f9638c82beaae646cd66f3c1f8d89 (diff) | |
better names for free variables
Diffstat (limited to 'testdata/language-features/basic-list/list02.out')
| -rw-r--r-- | testdata/language-features/basic-list/list02.out | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out index 75eb0879..02f69ace 100644 --- a/testdata/language-features/basic-list/list02.out +++ b/testdata/language-features/basic-list/list02.out | |||
| @@ -7,13 +7,13 @@ value3 :: [32m'List 'Char[39m[K | |||
| 7 | testdata/language-features/basic-list/list02.lc 1:1-1:7 {a} -> List a | 7 | testdata/language-features/basic-list/list02.lc 1:1-1:7 {a} -> List a |
| 8 | testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> List a | 8 | testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> List a |
| 9 | testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {_ : Num a} -> List a | 9 | testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {_ : Num a} -> List a |
| 10 | testdata/language-features/basic-list/list02.lc 4:10-5:7 List V2 | 10 | testdata/language-features/basic-list/list02.lc 4:10-5:7 List c_ |
| 11 | testdata/language-features/basic-list/list02.lc 4:11-4:12 V1 | 11 | testdata/language-features/basic-list/list02.lc 4:11-4:12 b_ |
| 12 | testdata/language-features/basic-list/list02.lc 4:13-4:14 V1 | 12 | testdata/language-features/basic-list/list02.lc 4:13-4:14 b_ |
| 13 | testdata/language-features/basic-list/list02.lc 4:13-5:6 List V3 | 13 | testdata/language-features/basic-list/list02.lc 4:13-5:6 List d_ |
| 14 | testdata/language-features/basic-list/list02.lc 5:3-5:4 V1 | 14 | testdata/language-features/basic-list/list02.lc 5:3-5:4 b_ |
| 15 | testdata/language-features/basic-list/list02.lc 5:3-5:6 List V4 | 15 | testdata/language-features/basic-list/list02.lc 5:3-5:6 List e_ |
| 16 | testdata/language-features/basic-list/list02.lc 5:5-5:6 List V4 | V1 | 16 | testdata/language-features/basic-list/list02.lc 5:5-5:6 List e_ | b_ |
| 17 | testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char | 17 | testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char |
| 18 | testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char | 18 | testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char |
| 19 | testdata/language-features/basic-list/list02.lc 8:5-8:8 Char | 19 | testdata/language-features/basic-list/list02.lc 8:5-8:8 Char |