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/swizzling.out | |
parent | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (diff) |
include info in more .out files; fix parsing of as-patterns
Diffstat (limited to 'testdata/swizzling.out')
-rw-r--r-- | testdata/swizzling.out | 90 |
1 files changed, 89 insertions, 1 deletions
diff --git a/testdata/swizzling.out b/testdata/swizzling.out index 4791ed55..295c8736 100644 --- a/testdata/swizzling.out +++ b/testdata/swizzling.out | |||
@@ -1 +1,89 @@ | |||
1 | True \ No newline at end of file | 1 | main :: Bool |
2 | main = True | ||
3 | ------------ desugared source code | ||
4 | v = _lhs v (_rhs (V3 1.0 2.0 3.0)) | ||
5 | |||
6 | v2 = _lhs v2 (_rhs (swizzvector v (V2 Sx Sx))) | ||
7 | |||
8 | v3 = _lhs v3 (_rhs (swizzscalar v Sx)) | ||
9 | |||
10 | main | ||
11 | = _lhs | ||
12 | main | ||
13 | (_rhs | ||
14 | ((\(a :: _) -> case'VecS | ||
15 | (\(_ :: _) (_ :: _) -> _) | ||
16 | (\(_ :: _) (_ :: _) -> undefined) | ||
17 | (\(b :: _) (c :: _) (d :: _) -> case'Bool | ||
18 | (\(_ :: _) -> _) | ||
19 | undefined | ||
20 | (case'Bool | ||
21 | (\(_ :: _) -> _) | ||
22 | undefined | ||
23 | (case'Bool (\(_ :: _) -> _) undefined True (2.0 == d)) | ||
24 | (1.0 == c)) | ||
25 | (1.0 == b)) | ||
26 | (\(_ :: _) (_ :: _) (_ :: _) (_ :: _) -> undefined) | ||
27 | a) | ||
28 | (swizzvector v (V3 Sx Sx Sy)))) | ||
29 | ------------ core code | ||
30 | main :: Bool | ||
31 | main = _rhs True | ||
32 | |||
33 | v :: VecS Float 3 | ||
34 | v = _rhs (V3 1.0 2.0 3.0) | ||
35 | |||
36 | v2 :: VecS Float 2 | ||
37 | v2 = _rhs (V2 1.0 1.0) | ||
38 | |||
39 | v3 :: Float | ||
40 | v3 = _rhs 1.0 | ||
41 | ------------ tooltips | ||
42 | testdata/swizzling.lc 3:1-3:2 | ||
43 | VecS Float 3 | ||
44 | testdata/swizzling.lc 3:5-3:7 | ||
45 | forall a . a -> a -> a -> VecS a 3 | ||
46 | testdata/swizzling.lc 3:5-3:11 | ||
47 | Float -> Float -> VecS Float 3 | ||
48 | testdata/swizzling.lc 3:5-3:15 | ||
49 | Float -> VecS Float 3 | ||
50 | testdata/swizzling.lc 3:5-3:19 | ||
51 | VecS Float 3 | ||
52 | testdata/swizzling.lc 3:8-3:11 | ||
53 | Float | ||
54 | testdata/swizzling.lc 3:12-3:15 | ||
55 | Float | ||
56 | testdata/swizzling.lc 3:16-3:19 | ||
57 | Float | ||
58 | testdata/swizzling.lc 4:1-4:3 | ||
59 | VecS Float 2 | ||
60 | testdata/swizzling.lc 4:6-4:7 | ||
61 | VecS Float 3 | ||
62 | testdata/swizzling.lc 4:6-4:10 | ||
63 | VecS Float 2 | ||
64 | testdata/swizzling.lc 5:1-5:3 | ||
65 | Float | ||
66 | testdata/swizzling.lc 5:6-5:7 | ||
67 | VecS Float 3 | ||
68 | testdata/swizzling.lc 5:6-5:9 | ||
69 | Float | ||
70 | testdata/swizzling.lc 7:1-7:5 | ||
71 | Bool | ||
72 | testdata/swizzling.lc 7:8-8:27 | ||
73 | Bool | ||
74 | testdata/swizzling.lc 7:13-7:14 | ||
75 | VecS Float 3 | ||
76 | testdata/swizzling.lc 7:13-7:18 | ||
77 | VecS Float 3 | ||
78 | testdata/swizzling.lc 8:23-8:27 | ||
79 | Bool | Bool | Bool | Bool | ||
80 | ------------ warnings | ||
81 | Uncovered pattern(s) at testdata/swizzling.lc:7:13: | ||
82 | main = case v%xxy of | ||
83 | ^^^^^ | ||
84 | Missing case(s): | ||
85 | (V2 _ _) | ||
86 | (V3 _ _ _) | False <- 1.0 == _c | ||
87 | (V3 _ _ _) | True <- 1.0 == _c, False <- 1.0 == _b | ||
88 | (V3 _ _ _) | True <- 1.0 == _c, True <- 1.0 == _b, False <- 2.0 == _a | ||
89 | (V4 _ _ _ _) \ No newline at end of file | ||