diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-29 15:20:29 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-29 15:20:29 +0100 |
| commit | 3f228fae209e61879ffa22f55902b65382506683 (patch) | |
| tree | 76186fb53faeed9c5b25c51d48cf58926bd485d9 /testdata/language-features | |
| parent | b178ad60e92a8b5fc79a15a1ac6a4c9c01327efb (diff) | |
fix let expression type
Diffstat (limited to 'testdata/language-features')
| -rw-r--r-- | testdata/language-features/basic-values/let01.out | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out index 92d64fa6..d3ac201f 100644 --- a/testdata/language-features/basic-values/let01.out +++ b/testdata/language-features/basic-values/let01.out | |||
| @@ -1,8 +1,8 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | tooltips: | 2 | tooltips: |
| 3 | testdata/language-features/basic-values/let01.lc 1:1-1:7 {a} -> {b : Num a}->V2 | 3 | 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}->V2 | 4 | testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {b : Num a}->a |
| 5 | testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {b : Num a}->b | 5 | testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {b : Num a}->a |
| 6 | testdata/language-features/basic-values/let01.lc 9:11-9:14 Char | 6 | testdata/language-features/basic-values/let01.lc 9:11-9:14 Char |
| 7 | testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {b : Num a}->V2 | 7 | testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {b : Num a}->a |
| 8 | testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {b : Num a}->b | 8 | testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {b : Num a}->a |