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/guard/guard16.out | |
| parent | eaa99d13de8f9638c82beaae646cd66f3c1f8d89 (diff) | |
better names for free variables
Diffstat (limited to 'testdata/language-features/guard/guard16.out')
| -rw-r--r-- | testdata/language-features/guard/guard16.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out index a8f7f183..e1e6fd18 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out | |||
| @@ -4,7 +4,7 @@ value :: [32m{a} -> {_ : 'Eq a} -> {_ : 'Num a}->()[39m[K | |||
| 4 | ------------ tooltips | 4 | ------------ tooltips |
| 5 | testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->() | 5 | testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->() |
| 6 | testdata/language-features/guard/guard16.lc 1:9-3:10 () | 6 | testdata/language-features/guard/guard16.lc 1:9-3:10 () |
| 7 | testdata/language-features/guard/guard16.lc 1:14-1:15 V1 | 7 | testdata/language-features/guard/guard16.lc 1:14-1:15 b_ |
| 8 | testdata/language-features/guard/guard16.lc 2:7-2:11 Bool | 8 | testdata/language-features/guard/guard16.lc 2:7-2:11 Bool |
| 9 | testdata/language-features/guard/guard16.lc 2:7-3:10 () | 9 | testdata/language-features/guard/guard16.lc 2:7-3:10 () |
| 10 | testdata/language-features/guard/guard16.lc 2:15-2:17 () | 10 | testdata/language-features/guard/guard16.lc 2:15-2:17 () |