diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 15:59:35 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 16:10:49 +0100 |
commit | cb69693769ebfcdac605c90f38a20c788b08eaf3 (patch) | |
tree | 3689094c7ff13f45cc928a7dfaafff2652ed4c03 /testdata/traceTest.out | |
parent | d5f3ef4a65218b966f7463511896fd901a4d1d77 (diff) |
normalise paths and fix self export handling
Diffstat (limited to 'testdata/traceTest.out')
-rw-r--r-- | testdata/traceTest.out | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testdata/traceTest.out b/testdata/traceTest.out new file mode 100644 index 00000000..ac25dbec --- /dev/null +++ b/testdata/traceTest.out | |||
@@ -0,0 +1,15 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | ./testdata/accept/traceTest.lc 6:1-6:3 {a} -> a->a | ||
4 | ./testdata/accept/traceTest.lc 8:17-8:18 Type | ||
5 | ./testdata/accept/traceTest.lc 8:6-8:7 {a} -> a->Type | ||
6 | ./testdata/accept/traceTest.lc 10:6-10:24 Type | ||
7 | ./testdata/accept/traceTest.lc 10:6-10:7 {a} -> a->Type | ||
8 | ./testdata/accept/traceTest.lc 10:9-10:24 V0 | ||
9 | ./testdata/accept/traceTest.lc 10:18-10:24 Type -> Type->Type | ||
10 | ./testdata/accept/traceTest.lc 10:19-10:20 Type | ||
11 | ./testdata/accept/traceTest.lc 10:19-10:20 V3 | ||
12 | ./testdata/accept/traceTest.lc 10:22-10:23 Type | ||
13 | ./testdata/accept/traceTest.lc 10:22-10:23 V1 | ||
14 | ./testdata/accept/traceTest.lc 11:5-11:14 'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d) | ||
15 | ./testdata/accept/traceTest.lc 11:1-11:2 'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d) | ||