diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 20:39:51 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 20:39:51 +0200 |
| commit | 4f85f455271ee6035924accebf34352229644a31 (patch) | |
| tree | efc48b04feb88bbdac89eee958b6acc6b42deff7 /testdata/language-features/basic-values/typesig05.out | |
| parent | e566b9cf517cf4296e50c89f40c596bd74a588c8 (diff) | |
fix naming of free variables
Diffstat (limited to 'testdata/language-features/basic-values/typesig05.out')
| -rw-r--r-- | testdata/language-features/basic-values/typesig05.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/basic-values/typesig05.out b/testdata/language-features/basic-values/typesig05.out index 4c781fa8..a2d2e91d 100644 --- a/testdata/language-features/basic-values/typesig05.out +++ b/testdata/language-features/basic-values/typesig05.out | |||
| @@ -20,7 +20,7 @@ testdata/language-features/basic-values/typesig05.lc 4:19-4:22 String | |||
| 20 | testdata/language-features/basic-values/typesig05.lc 4:26-4:30 Type | 20 | testdata/language-features/basic-values/typesig05.lc 4:26-4:30 Type |
| 21 | testdata/language-features/basic-values/typesig05.lc 5:1-5:7 String | 21 | testdata/language-features/basic-values/typesig05.lc 5:1-5:7 String |
| 22 | testdata/language-features/basic-values/typesig05.lc 5:10-5:14 {a} -> {b} -> a -> b->b | 22 | testdata/language-features/basic-values/typesig05.lc 5:10-5:14 {a} -> {b} -> a -> b->b |
| 23 | testdata/language-features/basic-values/typesig05.lc 5:10-5:18 a_->b_ | 23 | testdata/language-features/basic-values/typesig05.lc 5:10-5:18 a_->a_ |
| 24 | testdata/language-features/basic-values/typesig05.lc 5:10-5:22 String | 24 | testdata/language-features/basic-values/typesig05.lc 5:10-5:22 String |
| 25 | testdata/language-features/basic-values/typesig05.lc 5:15-5:18 Char | 25 | testdata/language-features/basic-values/typesig05.lc 5:15-5:18 Char |
| 26 | testdata/language-features/basic-values/typesig05.lc 5:19-5:22 String | 26 | testdata/language-features/basic-values/typesig05.lc 5:19-5:22 String |
| @@ -35,7 +35,7 @@ testdata/language-features/basic-values/typesig05.lc 8:19-8:22 String | |||
| 35 | testdata/language-features/basic-values/typesig05.lc 10:11-10:17 Type | 35 | testdata/language-features/basic-values/typesig05.lc 10:11-10:17 Type |
| 36 | testdata/language-features/basic-values/typesig05.lc 11:1-11:7 String | 36 | testdata/language-features/basic-values/typesig05.lc 11:1-11:7 String |
| 37 | testdata/language-features/basic-values/typesig05.lc 11:10-11:14 {a} -> {b} -> a -> b->b | 37 | testdata/language-features/basic-values/typesig05.lc 11:10-11:14 {a} -> {b} -> a -> b->b |
| 38 | testdata/language-features/basic-values/typesig05.lc 11:10-11:18 a_->b_ | 38 | testdata/language-features/basic-values/typesig05.lc 11:10-11:18 a_->a_ |
| 39 | testdata/language-features/basic-values/typesig05.lc 11:10-11:22 String | 39 | testdata/language-features/basic-values/typesig05.lc 11:10-11:22 String |
| 40 | testdata/language-features/basic-values/typesig05.lc 11:15-11:18 Char | 40 | testdata/language-features/basic-values/typesig05.lc 11:15-11:18 Char |
| 41 | testdata/language-features/basic-values/typesig05.lc 11:19-11:22 String | 41 | testdata/language-features/basic-values/typesig05.lc 11:19-11:22 String |