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/fromto.out | |
parent | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (diff) |
include info in more .out files; fix parsing of as-patterns
Diffstat (limited to 'testdata/fromto.out')
-rw-r--r-- | testdata/fromto.out | 69 |
1 files changed, 68 insertions, 1 deletions
diff --git a/testdata/fromto.out b/testdata/fromto.out index 4791ed55..eee2d5b9 100644 --- a/testdata/fromto.out +++ b/testdata/fromto.out | |||
@@ -1 +1,68 @@ | |||
1 | True \ No newline at end of file | 1 | main :: Bool |
2 | main = True | ||
3 | ------------ desugared source code | ||
4 | main :: Bool | ||
5 | main | ||
6 | = _lhs | ||
7 | main | ||
8 | (_rhs | ||
9 | ((\(a :: _) -> case'List | ||
10 | (\(_ :: _) -> _) | ||
11 | undefined | ||
12 | (\(b :: _) (c :: _) -> case'Bool | ||
13 | (\(_ :: _) -> _) | ||
14 | undefined | ||
15 | (case'List | ||
16 | (\(_ :: _) -> _) | ||
17 | undefined | ||
18 | (\(d :: _) (e :: _) -> case'Bool | ||
19 | (\(_ :: _) -> _) | ||
20 | undefined | ||
21 | (case'List | ||
22 | (\(_ :: _) -> _) | ||
23 | undefined | ||
24 | (\(f :: _) (g :: _) -> case'Bool | ||
25 | (\(_ :: _) -> _) | ||
26 | undefined | ||
27 | (case'List (\(_ :: _) -> _) True (\(_ :: _) (_ :: _) -> undefined) g) | ||
28 | (3.0 == f)) | ||
29 | e) | ||
30 | (2.0 == d)) | ||
31 | c) | ||
32 | (1.0 == b)) | ||
33 | a) | ||
34 | (fromTo 1.0 3.0))) | ||
35 | ------------ core code | ||
36 | main :: Bool | ||
37 | main = _rhs True | ||
38 | ------------ tooltips | ||
39 | testdata/fromto.lc 1:9-1:13 | ||
40 | Type | ||
41 | testdata/fromto.lc 2:1-2:5 | ||
42 | Bool | ||
43 | testdata/fromto.lc 2:8-3:33 | ||
44 | Bool | ||
45 | testdata/fromto.lc 2:14-2:20 | ||
46 | Float -> Float -> [Float] | ||
47 | testdata/fromto.lc 2:14-2:24 | ||
48 | Float -> [Float] | ||
49 | testdata/fromto.lc 2:14-2:28 | ||
50 | [Float] | ||
51 | testdata/fromto.lc 2:21-2:24 | ||
52 | Float | ||
53 | testdata/fromto.lc 2:25-2:28 | ||
54 | Float | ||
55 | testdata/fromto.lc 3:29-3:33 | ||
56 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | ||
57 | ------------ warnings | ||
58 | Uncovered pattern(s) at testdata/fromto.lc:2:13: | ||
59 | main = case (fromTo 1.0 3.0) of | ||
60 | ^^^^^^^^^^^^^^^^ | ||
61 | Missing case(s): | ||
62 | [] | ||
63 | (_ : _) | False <- 1.0 == _b | ||
64 | [_] | True <- 1.0 == _b | ||
65 | (_ : _ : _) | True <- 1.0 == _b, False <- 2.0 == _b | ||
66 | [_, _] | True <- 1.0 == _b, True <- 2.0 == _b | ||
67 | (_ : _ : _ : _) | True <- 1.0 == _b, True <- 2.0 == _b, False <- 3.0 == _b | ||
68 | (_ : _ : _ : _ : _) | True <- 1.0 == _b, True <- 2.0 == _b, True <- 3.0 == _b \ No newline at end of file | ||