always show parens

3 files changed, 14 insertions, 14 deletions

diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index 65afa571..55a3f99f 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -4,20 +4,20 @@ main is not found
 B :: 'A
 C :: 'A
 D :: 'A
-'ACase :: (a : 'A->Type) -> a B -> a C -> a D -> b:'A -> a b
-match'A :: (a : Type->Type) -> a 'A -> b:Type -> a b -> a b
+'ACase :: (a : 'A->Type) -> a B -> a C -> a D -> (b:'A) -> a b
+match'A :: (a : Type->Type) -> a 'A -> (b:Type) -> a b -> a b
 'E :: Type
 F :: 'E
 G :: ()->'E
 H :: 'E
-'ECase :: (a : 'E->Type) -> a F -> (b:() -> a (G b)) -> a H -> c:'E -> a c
-match'E :: (a : Type->Type) -> a 'E -> b:Type -> a b -> a b
+'ECase :: (a : 'E->Type) -> a F -> ((b:()) -> a (G b)) -> a H -> (c:'E) -> a c
+match'E :: (a : Type->Type) -> a 'E -> (b:Type) -> a b -> a b
 'D1 :: Type
 C1 :: 'D1
 C2 :: ()->'D1
 C3 :: 'D1
-'D1Case :: (a : 'D1->Type) -> a C1 -> (b:() -> a (C2 b)) -> a C3 -> c:'D1 -> a c
-match'D1 :: (a : Type->Type) -> a 'D1 -> b:Type -> a b -> a b
+'D1Case :: (a : 'D1->Type) -> a C1 -> ((b:()) -> a (C2 b)) -> a C3 -> (c:'D1) -> a c
+match'D1 :: (a : Type->Type) -> a 'D1 -> (b:Type) -> a b -> a b
 ------------ tooltips
 testdata/language-features/basic-values/data01.lc 1:6-1:7  Type
 testdata/language-features/basic-values/data01.lc 1:6-1:13  Type
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index da5c00d2..31c99f85 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -3,8 +3,8 @@ main is not found
 'D :: Type
 D2 :: () -> ()->'D
 D3 :: () -> () -> ()->'D
-'DCase :: (a : 'D->Type) -> (b:() -> c:() -> a (D2 b c)) -> (d:() -> e:() -> f:() -> a (D3 d e f)) -> g:'D -> a g
-match'D :: (a : Type->Type) -> a 'D -> b:Type -> a b -> a b
+'DCase :: (a : 'D->Type) -> ((b:()) -> (c:()) -> a (D2 b c)) -> ((d:()) -> (e:()) -> (f:()) -> a (D3 d e f)) -> (g:'D) -> a g
+match'D :: (a : Type->Type) -> a 'D -> (b:Type) -> a b -> a b
 d2 :: () -> ()->'D
 d3 :: () -> () -> ()->'D
 ------------ tooltips
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out
index 773e6f5a..fe8c7208 100644
--- a/testdata/language-features/basic-values/typesig04.out
+++ b/testdata/language-features/basic-values/typesig04.out
@@ -1,7 +1,7 @@
 main is not found
 ------------ trace
-fun1 :: {a} -> {b} -> {c} -> a -> b->c -> ()
-fun2 :: {a} -> {b} -> {c} -> a -> b->c -> ()
+fun1 :: {a} -> {b} -> {c} -> a -> (b->c)->()
+fun2 :: {a} -> {b} -> {c} -> a -> (b->c)->()
 ------------ tooltips
 testdata/language-features/basic-values/typesig04.lc 1:9-1:10  f_
 testdata/language-features/basic-values/typesig04.lc 1:9-1:28  Type
@@ -9,13 +9,13 @@ testdata/language-features/basic-values/typesig04.lc 1:14-1:28  Type
 testdata/language-features/basic-values/typesig04.lc 1:15-1:16  e_
 testdata/language-features/basic-values/typesig04.lc 1:20-1:21  Type | d_
 testdata/language-features/basic-values/typesig04.lc 1:26-1:28  Type
-testdata/language-features/basic-values/typesig04.lc 2:1-2:5  {a} -> {b} -> {c} -> a -> b->c -> ()
-testdata/language-features/basic-values/typesig04.lc 2:12-2:14  () | c_ -> c_->c_ -> () | c_->c_ -> ()
+testdata/language-features/basic-values/typesig04.lc 2:1-2:5  {a} -> {b} -> {c} -> a -> (b->c)->()
+testdata/language-features/basic-values/typesig04.lc 2:12-2:14  () | (c_->c_)->() | c_ -> (c_->c_)->()
 testdata/language-features/basic-values/typesig04.lc 4:7-4:8  f_
 testdata/language-features/basic-values/typesig04.lc 4:7-4:20  Type
 testdata/language-features/basic-values/typesig04.lc 4:10-4:20  Type
 testdata/language-features/basic-values/typesig04.lc 4:11-4:12  e_
 testdata/language-features/basic-values/typesig04.lc 4:14-4:15  Type | d_
 testdata/language-features/basic-values/typesig04.lc 4:18-4:20  Type
-testdata/language-features/basic-values/typesig04.lc 5:1-5:5  {a} -> {b} -> {c} -> a -> b->c -> ()
-testdata/language-features/basic-values/typesig04.lc 5:12-5:14  () | c_ -> c_->c_ -> () | c_->c_ -> ()
+testdata/language-features/basic-values/typesig04.lc 5:1-5:5  {a} -> {b} -> {c} -> a -> (b->c)->()
+testdata/language-features/basic-values/typesig04.lc 5:12-5:14  () | (c_->c_)->() | c_ -> (c_->c_)->()