Normalize parentheses in constraints

Author: mrkkrp

data/examples/declaration/class/default-signatures-simple-out.hs

@@ -4,5 +4,5 @@ module Main where
 class Foo a where
   -- | Foo
   foo :: a -> String
-  default foo :: Show a => a -> String
+  default foo :: (Show a) => a -> String
   foo = show

data/examples/declaration/instance/contexts-out.hs

@@ -1,4 +1,4 @@
-instance Eq a => Eq [a] where (==) _ _ = False
+instance (Eq a) => Eq [a] where (==) _ _ = False
 
 instance
   ( Ord a,

data/examples/declaration/instance/newlines-between-methods-out.hs

@@ -1,4 +1,4 @@
-instance Num a => Num (Diff a) where
+instance (Num a) => Num (Diff a) where
   D u dudx + D v dvdx = D (u + v) (dudx + dvdx)
   D u dudx - D v dvdx = D (u - v) (dudx - dvdx)
   D u dudx * D v dvdx = D (u * v) (u * dvdx + v * dudx)

data/examples/declaration/signature/specialize/specialize-instance-out.hs

@@ -8,7 +8,7 @@ instance (Eq a) => Eq (Foo a) where
 
 instance (Num r, V.Vector v r, Factored m r) => Num (VT v m r) where
   {-# SPECIALIZE instance
-    ( Factored m Int => Num (VT U.Vector m Int)
+    ( (Factored m Int) => Num (VT U.Vector m Int)
     )
     #-}
   VT x + VT y = VT $ V.zipWith (+) x y

data/examples/declaration/signature/specialize/specialize-out.hs

@@ -1,13 +1,13 @@
-foo :: Num a => a -> a
+foo :: (Num a) => a -> a
 foo = id
 {-# SPECIALIZE foo :: Int -> Int #-}
 {-# SPECIALIZE INLINE foo :: Float -> Float #-}
 
 {-# SPECIALIZE NOINLINE [2] bar :: Int -> Int #-}
-bar :: Num a => a -> a
+bar :: (Num a) => a -> a
 bar = id
 
-baz :: Num a => a -> a
+baz :: (Num a) => a -> a
 baz = id
 {-# SPECIALIZE [~2] baz ::
   Int ->
@@ -20,5 +20,5 @@ baz = id
   Bool,
   Integer -> Bool
   #-}
-fits13Bits :: Integral a => a -> Bool
+fits13Bits :: (Integral a) => a -> Bool
 fits13Bits x = x >= -4096 && x < 4096

data/examples/declaration/signature/type/unicode-out.hs

@@ -1,4 +1,4 @@
 {-# LANGUAGE UnicodeSyntax #-}
 
-foo :: forall a. Show a => a -> String
+foo :: forall a. (Show a) => a -> String
 foo = const ()

data/examples/declaration/value/function/fancy-forall-0-out.hs

@@ -2,9 +2,9 @@ wrapError ::
   forall outertag innertag t outer inner m a.
   ( forall x. Coercible (t m x) (m x),
     forall m'.
-    HasCatch outertag outer m' =>
+    (HasCatch outertag outer m') =>
     HasCatch innertag inner (t m'),
     HasCatch outertag outer m
   ) =>
-  (forall m'. HasCatch innertag inner m' => m' a) ->
+  (forall m'. (HasCatch innertag inner m') => m' a) ->
   m a

data/examples/declaration/value/function/fancy-forall-1-out.hs

@@ -2,9 +2,9 @@ magnify ::
   forall outertag innertag t outer inner m a.
   ( forall x. Coercible (t m x) (m x),
     forall m'.
-    HasReader outertag outer m' =>
+    (HasReader outertag outer m') =>
     HasReader innertag inner (t m'),
     HasReader outertag outer m
   ) =>
-  (forall m'. HasReader innertag inner m' => m' a) ->
+  (forall m'. (HasReader innertag inner m') => m' a) ->
   m a

data/examples/declaration/value/function/let-multi-line-out.hs

@@ -17,7 +17,7 @@ inlineComment =
                    () -> undefined
    in go
 
-implicitParams :: HasCallStack => Int
+implicitParams :: (HasCallStack) => Int
 implicitParams =
   let ?cs = ?callstack
    in foo cs

data/examples/other/argument-comment-out.hs

@@ -5,12 +5,12 @@ foo ::
 foo _ = True
 
 foo ::
-  Foo a =>
+  (Foo a) =>
   -- | Foo
   Int ->
   Int
 foo ::
-  Foo a =>
+  (Foo a) =>
   -- | Foo
   Int ->
   Int