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/recursion | |
| parent | eaa99d13de8f9638c82beaae646cd66f3c1f8d89 (diff) | |
better names for free variables
Diffstat (limited to 'testdata/language-features/recursion')
| -rw-r--r-- | testdata/language-features/recursion/simplerec01.out | 6 | ||||
| -rw-r--r-- | testdata/language-features/recursion/simplerec02.out | 6 | ||||
| -rw-r--r-- | testdata/language-features/recursion/simplerec03.out | 6 |
3 files changed, 9 insertions, 9 deletions
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index 3359c95c..fd6f16c4 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
| @@ -4,6 +4,6 @@ fun :: [32m{a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char[39m | |||
| 4 | ------------ tooltips | 4 | ------------ tooltips |
| 5 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char | 5 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char |
| 6 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char | 6 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char |
| 7 | testdata/language-features/recursion/simplerec01.lc 1:9-2:14 Bool->Char | V0->V1 | 7 | testdata/language-features/recursion/simplerec01.lc 1:9-2:14 Bool->Char | a_->b_ |
| 8 | testdata/language-features/recursion/simplerec01.lc 2:9-2:12 V4 | 8 | testdata/language-features/recursion/simplerec01.lc 2:9-2:12 e_ |
| 9 | testdata/language-features/recursion/simplerec01.lc 2:13-2:14 V1 | 9 | testdata/language-features/recursion/simplerec01.lc 2:13-2:14 b_ |
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out index 7f15bef6..0d2d20b6 100644 --- a/testdata/language-features/recursion/simplerec02.out +++ b/testdata/language-features/recursion/simplerec02.out | |||
| @@ -4,7 +4,7 @@ value :: [32m()[39m[K | |||
| 4 | ------------ tooltips | 4 | ------------ tooltips |
| 5 | testdata/language-features/recursion/simplerec02.lc 1:1-1:6 () | 5 | testdata/language-features/recursion/simplerec02.lc 1:1-1:6 () |
| 6 | testdata/language-features/recursion/simplerec02.lc 1:21-1:24 Char | 6 | testdata/language-features/recursion/simplerec02.lc 1:21-1:24 Char |
| 7 | testdata/language-features/recursion/simplerec02.lc 1:21-2:26 Bool->Char | V0->V1 | 7 | testdata/language-features/recursion/simplerec02.lc 1:21-2:26 Bool->Char | a_->b_ |
| 8 | testdata/language-features/recursion/simplerec02.lc 2:21-2:24 V4 | 8 | testdata/language-features/recursion/simplerec02.lc 2:21-2:24 e_ |
| 9 | testdata/language-features/recursion/simplerec02.lc 2:25-2:26 V1 | 9 | testdata/language-features/recursion/simplerec02.lc 2:25-2:26 b_ |
| 10 | testdata/language-features/recursion/simplerec02.lc 3:12-3:14 () | 10 | testdata/language-features/recursion/simplerec02.lc 3:12-3:14 () |
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out index a4b0473e..9a1a3bb2 100644 --- a/testdata/language-features/recursion/simplerec03.out +++ b/testdata/language-features/recursion/simplerec03.out | |||
| @@ -5,6 +5,6 @@ value :: [32m()[39m[K | |||
| 5 | testdata/language-features/recursion/simplerec03.lc 1:1-1:6 () | 5 | testdata/language-features/recursion/simplerec03.lc 1:1-1:6 () |
| 6 | testdata/language-features/recursion/simplerec03.lc 1:9-1:11 () | 6 | testdata/language-features/recursion/simplerec03.lc 1:9-1:11 () |
| 7 | testdata/language-features/recursion/simplerec03.lc 3:13-3:16 Char | 7 | testdata/language-features/recursion/simplerec03.lc 3:13-3:16 Char |
| 8 | testdata/language-features/recursion/simplerec03.lc 3:13-4:18 Bool->Char | V0->V1 | 8 | testdata/language-features/recursion/simplerec03.lc 3:13-4:18 Bool->Char | a_->b_ |
| 9 | testdata/language-features/recursion/simplerec03.lc 4:13-4:16 V4 | 9 | testdata/language-features/recursion/simplerec03.lc 4:13-4:16 e_ |
| 10 | testdata/language-features/recursion/simplerec03.lc 4:17-4:18 V1 | 10 | testdata/language-features/recursion/simplerec03.lc 4:17-4:18 b_ |