diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 15:58:16 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 16:13:39 +0100 |
| commit | 3db0b64a6f3e28ae6cc351e6c84290d4db905fa7 (patch) | |
| tree | 91cfd4aa41e5c827d03956458aba8858a1ef245d /testdata/language-features/recursion | |
| parent | e2f4415e606cd7c1c2b6ca986c68f6f956bf1a6e (diff) | |
put trace info in .out files
Diffstat (limited to 'testdata/language-features/recursion')
| -rw-r--r-- | testdata/language-features/recursion/simplerec01.out | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index 9c566256..0fe9fad8 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
| @@ -1,4 +1,6 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | ||
| 3 | fun :: [32m{a} -> {b : 'Num a} -> {c : 'Eq a} -> {d : 'Num a} -> a->'Char[39m[K | ||
| 2 | ------------ tooltips | 4 | ------------ tooltips |
| 3 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {b : Num a} -> {c : Eq a} -> {d : Num a} -> a->Char | 5 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {b : Num a} -> {c : Eq a} -> {d : Num a} -> a->Char |
| 4 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char | 6 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char |