summaryrefslogtreecommitdiff
path: root/testdata/data.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-03 15:37:02 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-03 15:37:02 +0200
commit57d10e734217c6eeaaec61131861bfd2861a4eb0 (patch)
tree1ced06f37ea0902999341ea80bc646cdba7e5db4 /testdata/data.out
parentced2bb3b8d35d0e2faa21adeff04607a2174ae99 (diff)
fix pretty print parens
Diffstat (limited to 'testdata/data.out')
-rw-r--r--testdata/data.out40
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
11x 11x
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
19y 19y
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
27data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where 27data 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
31a5 31a5
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
38b5 38b5
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
45c5 45c5
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
52main is not found 52main is not found
53------------ trace 53------------ trace