summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list/list11.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-15 15:58:16 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-15 16:13:39 +0100
commit3db0b64a6f3e28ae6cc351e6c84290d4db905fa7 (patch)
tree91cfd4aa41e5c827d03956458aba8858a1ef245d /testdata/language-features/basic-list/list11.out
parente2f4415e606cd7c1c2b6ca986c68f6f956bf1a6e (diff)
put trace info in .out files
Diffstat (limited to 'testdata/language-features/basic-list/list11.out')
-rw-r--r--testdata/language-features/basic-list/list11.out2
1 files changed, 2 insertions, 0 deletions
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out
index a9ddb798..f447dd7c 100644
--- a/testdata/language-features/basic-list/list11.out
+++ b/testdata/language-features/basic-list/list11.out
@@ -1,4 +1,6 @@
1main is not found 1main is not found
2------------ trace
3value :: {a} -> {b : 'Num a} -> 'List a
2------------ tooltips 4------------ tooltips
3testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {b : Num a} -> List a 5testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {b : Num a} -> List a
4testdata/language-features/basic-list/list11.lc 1:9-1:10 V1 6testdata/language-features/basic-list/list11.lc 1:9-1:10 V1