diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 15:37:02 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 15:37:02 +0200 |
commit | 57d10e734217c6eeaaec61131861bfd2861a4eb0 (patch) | |
tree | 1ced06f37ea0902999341ea80bc646cdba7e5db4 /testdata/data.out | |
parent | ced2bb3b8d35d0e2faa21adeff04607a2174ae99 (diff) |
fix pretty print parens
Diffstat (limited to 'testdata/data.out')
-rw-r--r-- | testdata/data.out | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/testdata/data.out b/testdata/data.out index 3951ff90..04576355 100644 --- a/testdata/data.out +++ b/testdata/data.out | |||
@@ -10,18 +10,18 @@ data Data2 :: Type where | |||
10 | Data24 :: Data2 | 10 | Data24 :: Data2 |
11 | x | 11 | x |
12 | = \(a :: _) -> case'Data2 | 12 | = \(a :: _) -> case'Data2 |
13 | \_ -> _ :: _ | 13 | (\_ -> _ :: _) |
14 | \_ -> _rhs undefined | 14 | (\_ -> _rhs undefined) |
15 | \(b :: _) -> \_ -> _rhs b | 15 | (\(b :: _) -> \_ -> _rhs b) |
16 | \(c :: _) -> _rhs c | 16 | (\(c :: _) -> _rhs c) |
17 | (_rhs undefined) | 17 | (_rhs undefined) |
18 | a | 18 | a |
19 | y | 19 | y |
20 | = \(a :: _) -> case'Data2 | 20 | = \(a :: _) -> case'Data2 |
21 | \_ -> _ :: _ | 21 | (\_ -> _ :: _) |
22 | \_ -> _rhs undefined | 22 | (\_ -> _rhs undefined) |
23 | \_ (b :: _) -> _rhs b | 23 | (\_ (b :: _) -> _rhs b) |
24 | \_ -> _rhs undefined | 24 | (\_ -> _rhs undefined) |
25 | (_rhs undefined) | 25 | (_rhs undefined) |
26 | a | 26 | a |
27 | data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where | 27 | data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where |
@@ -30,24 +30,24 @@ data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where | |||
30 | Data53 :: forall g h i . Int -> g -> Float -> h -> i -> Data5 g h i | 30 | Data53 :: forall g h i . Int -> g -> Float -> h -> i -> Data5 g h i |
31 | a5 | 31 | a5 |
32 | = \(a :: _) -> case'Data5 | 32 | = \(a :: _) -> case'Data5 |
33 | \_ -> _ :: _ | 33 | (\_ -> _ :: _) |
34 | \(b :: _) -> _rhs b | 34 | (\(b :: _) -> _rhs b) |
35 | \(c :: _) -> \_ -> \_ -> _rhs c | 35 | (\(c :: _) -> \_ -> \_ -> _rhs c) |
36 | \_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined | 36 | (\_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined) |
37 | a | 37 | a |
38 | b5 | 38 | b5 |
39 | = \(a :: _) -> case'Data5 | 39 | = \(a :: _) -> case'Data5 |
40 | \_ -> _ :: _ | 40 | (\_ -> _ :: _) |
41 | \_ -> _rhs undefined | 41 | (\_ -> _rhs undefined) |
42 | \_ (b :: _) -> \_ -> _rhs b | 42 | (\_ (b :: _) -> \_ -> _rhs b) |
43 | \_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined | 43 | (\_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined) |
44 | a | 44 | a |
45 | c5 | 45 | c5 |
46 | = \(a :: _) -> case'Data5 | 46 | = \(a :: _) -> case'Data5 |
47 | \_ -> _ :: _ | 47 | (\_ -> _ :: _) |
48 | \_ -> _rhs undefined | 48 | (\_ -> _rhs undefined) |
49 | \_ -> \_ (b :: _) -> _rhs b | 49 | (\_ -> \_ (b :: _) -> _rhs b) |
50 | \_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined | 50 | (\_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined) |
51 | a | 51 | a |
52 | main is not found | 52 | main is not found |
53 | ------------ trace | 53 | ------------ trace |