diff options
Diffstat (limited to 'testdata/language-features/basic-values/let01.out')
| -rw-r--r-- | testdata/language-features/basic-values/let01.out | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out index cb18e787..dcee8381 100644 --- a/testdata/language-features/basic-values/let01.out +++ b/testdata/language-features/basic-values/let01.out | |||
| @@ -1,25 +1,25 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | value1 :: [32m{a} -> {b : 'Num a}->a[39m[K | 3 | value1 :: [32m{a} -> {_ : 'Num a}->a[39m[K |
| 4 | value2 :: [32m{a} -> {b : 'Num a}->a[39m[K | 4 | value2 :: [32m{a} -> {_ : 'Num a}->a[39m[K |
| 5 | value3 :: [32m{a} -> {b : 'Num a}->a[39m[K | 5 | value3 :: [32m{a} -> {_ : 'Num a}->a[39m[K |
| 6 | value4 :: [32m{a} -> {b : 'Num a}->a[39m[K | 6 | value4 :: [32m{a} -> {_ : 'Num a}->a[39m[K |
| 7 | value5 :: [32m{a} -> {b : 'Num a}->a[39m[K | 7 | value5 :: [32m{a} -> {_ : 'Num a}->a[39m[K |
| 8 | ------------ tooltips | 8 | ------------ tooltips |
| 9 | testdata/language-features/basic-values/let01.lc 1:1-1:7 {a} -> {b : Num a}->a | 9 | testdata/language-features/basic-values/let01.lc 1:1-1:7 {a} -> {_ : Num a}->a |
| 10 | testdata/language-features/basic-values/let01.lc 1:18-1:19 V1 | 10 | testdata/language-features/basic-values/let01.lc 1:18-1:19 V1 |
| 11 | testdata/language-features/basic-values/let01.lc 1:23-1:24 V1 | 11 | testdata/language-features/basic-values/let01.lc 1:23-1:24 V1 |
| 12 | testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {b : Num a}->a | 12 | testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {_ : Num a}->a |
| 13 | testdata/language-features/basic-values/let01.lc 4:11-4:12 V1 | 13 | testdata/language-features/basic-values/let01.lc 4:11-4:12 V1 |
| 14 | testdata/language-features/basic-values/let01.lc 5:6-5:7 V1 | 14 | testdata/language-features/basic-values/let01.lc 5:6-5:7 V1 |
| 15 | testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {b : Num a}->a | 15 | testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {_ : Num a}->a |
| 16 | testdata/language-features/basic-values/let01.lc 8:11-8:12 V1 | 16 | testdata/language-features/basic-values/let01.lc 8:11-8:12 V1 |
| 17 | testdata/language-features/basic-values/let01.lc 9:11-9:14 Char | 17 | testdata/language-features/basic-values/let01.lc 9:11-9:14 Char |
| 18 | testdata/language-features/basic-values/let01.lc 10:6-10:7 V1 | 18 | testdata/language-features/basic-values/let01.lc 10:6-10:7 V1 |
| 19 | testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {b : Num a}->a | 19 | testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {_ : Num a}->a |
| 20 | testdata/language-features/basic-values/let01.lc 12:18-12:19 V1 | 20 | testdata/language-features/basic-values/let01.lc 12:18-12:19 V1 |
| 21 | testdata/language-features/basic-values/let01.lc 13:13-13:14 V1 | 21 | testdata/language-features/basic-values/let01.lc 13:13-13:14 V1 |
| 22 | testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {b : Num a}->a | 22 | testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {_ : Num a}->a |
| 23 | testdata/language-features/basic-values/let01.lc 15:18-15:19 V1 | 23 | testdata/language-features/basic-values/let01.lc 15:18-15:19 V1 |
| 24 | testdata/language-features/basic-values/let01.lc 16:18-16:19 V1 | 24 | testdata/language-features/basic-values/let01.lc 16:18-16:19 V1 |
| 25 | testdata/language-features/basic-values/let01.lc 17:13-17:14 V1 | 25 | testdata/language-features/basic-values/let01.lc 17:13-17:14 V1 |