diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
| commit | 7e9105793bd0d5ff7197a5860ac5339dea677e0e (patch) | |
| tree | fa003b495b78a8b5cb5e6505c72a32bc6e80e1b3 /testdata/language-features/recursion | |
| parent | a23ba9fced413f1b63640ba9bd81686a7eb59ee1 (diff) | |
switch to ansi-wl-pprint
Diffstat (limited to 'testdata/language-features/recursion')
4 files changed, 4 insertions, 4 deletions
diff --git a/testdata/language-features/recursion/mutualConst.out b/testdata/language-features/recursion/mutualConst.out index 65af037c..f832724c 100644 --- a/testdata/language-features/recursion/mutualConst.out +++ b/testdata/language-features/recursion/mutualConst.out | |||
| @@ -1 +1 @@ | |||
| [32mTrue[m \ No newline at end of file | [32mTrue[0m \ No newline at end of file | ||
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index fd6f16c4..e975d532 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | fun :: [32m{a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char[39m[K | 3 | fun :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m |
| 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 |
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out index 0d2d20b6..96ad9d37 100644 --- a/testdata/language-features/recursion/simplerec02.out +++ b/testdata/language-features/recursion/simplerec02.out | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | value :: [32m()[39m[K | 3 | value :: [32m()[0m |
| 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 |
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out index 9a1a3bb2..27c2981e 100644 --- a/testdata/language-features/recursion/simplerec03.out +++ b/testdata/language-features/recursion/simplerec03.out | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | value :: [32m()[39m[K | 3 | value :: [32m()[0m |
| 4 | ------------ tooltips | 4 | ------------ tooltips |
| 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 () |