diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 21:17:23 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 21:17:23 +0100 |
| commit | 6befbf3058a87522dc59e3e55c65a6d7b448fd9e (patch) | |
| tree | 708f08e28968998b99946d58f813bb1f4773462f /testdata/data.reject.out | |
| parent | f29d1fc2a330b54ad57d3cb21f0f24d5714de331 (diff) | |
show trace only on demand
Diffstat (limited to 'testdata/data.reject.out')
| -rw-r--r-- | testdata/data.reject.out | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/testdata/data.reject.out b/testdata/data.reject.out index a73ae192..88df338f 100644 --- a/testdata/data.reject.out +++ b/testdata/data.reject.out | |||
| @@ -3,8 +3,6 @@ data Data1 = Data1 a b c | |||
| 3 | ^ | 3 | ^ |
| 4 | ------------ trace | 4 | ------------ trace |
| 5 | 'Data1 :: [32mType[39m[K | 5 | 'Data1 :: [32mType[39m[K |
| 6 | infer: [47ma -> b -> c->'Data1[49m : [32mType[39m[K | ||
| 7 | infer: [47ma[49m:[32mType[39m -> (b -> c->'Data1 : 'Type) : [32mType[39m[K | ||
| 8 | !can't find: a in testdata/data.reject.lc:1:20 | 6 | !can't find: a in testdata/data.reject.lc:1:20 |
| 9 | ------------ tooltips | 7 | ------------ tooltips |
| 10 | testdata/data.reject.lc 1:6-1:11 Type | 8 | testdata/data.reject.lc 1:6-1:11 Type |