diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 23:19:47 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 23:20:23 +0200 |
commit | 95e006bf5afa8d3473e3fe4401f4c9316186a428 (patch) | |
tree | 7635fda3305339173988296051acc5a77dbb746f /testdata/ifThenElse01.out | |
parent | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (diff) |
include info in more .out files; fix parsing of as-patterns
Diffstat (limited to 'testdata/ifThenElse01.out')
-rw-r--r-- | testdata/ifThenElse01.out | 28 |
1 files changed, 27 insertions, 1 deletions
diff --git a/testdata/ifThenElse01.out b/testdata/ifThenElse01.out index 4791ed55..c9190f84 100644 --- a/testdata/ifThenElse01.out +++ b/testdata/ifThenElse01.out | |||
@@ -1 +1,27 @@ | |||
1 | True \ No newline at end of file | 1 | main :: Bool |
2 | main = True | ||
3 | ------------ desugared source code | ||
4 | main :: Bool | ||
5 | main = _lhs main (_rhs ((\(a :: _) -> primIfThenElse a a a) True)) | ||
6 | ------------ core code | ||
7 | main :: Bool | ||
8 | main = _rhs True | ||
9 | ------------ tooltips | ||
10 | testdata/ifThenElse01.lc 1:9-1:13 | ||
11 | Type | ||
12 | testdata/ifThenElse01.lc 2:1-2:5 | ||
13 | Bool | ||
14 | testdata/ifThenElse01.lc 2:8-2:39 | ||
15 | Bool | ||
16 | testdata/ifThenElse01.lc 2:15-2:33 | ||
17 | Bool | ||
18 | testdata/ifThenElse01.lc 2:18-2:19 | ||
19 | _c | ||
20 | testdata/ifThenElse01.lc 2:18-2:26 | ||
21 | Bool -> Bool | ||
22 | testdata/ifThenElse01.lc 2:25-2:26 | ||
23 | Bool | ||
24 | testdata/ifThenElse01.lc 2:32-2:33 | ||
25 | Bool | ||
26 | testdata/ifThenElse01.lc 2:35-2:39 | ||
27 | Bool \ No newline at end of file | ||