diff options
Diffstat (limited to 'testdata/language-features/basic-values/let01.out')
| -rw-r--r-- | testdata/language-features/basic-values/let01.out | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out index 273dc3c5..71622998 100644 --- a/testdata/language-features/basic-values/let01.out +++ b/testdata/language-features/basic-values/let01.out | |||
| @@ -1,4 +1,10 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | ||
| 3 | value1 :: [32m{a} -> {b : 'Num a}->a[39m[K | ||
| 4 | value2 :: [32m{a} -> {b : 'Num a}->a[39m[K | ||
| 5 | value3 :: [32m{a} -> {b : 'Num a}->a[39m[K | ||
| 6 | value4 :: [32m{a} -> {b : 'Num a}->a[39m[K | ||
| 7 | value5 :: [32m{a} -> {b : 'Num a}->a[39m[K | ||
| 2 | ------------ tooltips | 8 | ------------ tooltips |
| 3 | 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} -> {b : Num a}->a |
| 4 | testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {b : Num a}->a | 10 | testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {b : Num a}->a |