From 87453c56ae000c05bb89824e5cce614996a7dfe1 Mon Sep 17 00:00:00 2001 From: David Waern Date: Thu, 24 Jul 2008 16:06:18 +0000 Subject: Drop unnecessary parenthesis in types, put in by the user We were putting in parenthesis were the user did. Let's remove this since it just clutters up the types. The types are readable anyway since we print parens around infix operators and do not rely on fixity levels. When doing this I discovered that we were relying on user parenthesis when printin types like (a `O` b) c. This patchs fixes this problem so that parenthesis are always inserted around an infix op application in case it is applied to further arguments, or if it's an arguments to a type constructor. Tests are updated. --- tests/output/Test.html | 20 ++++++++++---------- tests/output/Test.html.ref | 20 ++++++++++---------- 2 files changed, 20 insertions(+), 20 deletions(-) (limited to 'tests/output') diff --git a/tests/output/Test.html b/tests/output/Test.html index a587a574..8cbce763 100644 --- a/tests/output/Test.html +++ b/tests/output/Test.html @@ -596,13 +596,13 @@ >t :: T1 -> ( :: T1 -> T2 Int Int) -> ( Int Int -> T3 Bool Bool) -> ( Bool Bool -> T4 Float Float) -> Float Float -> T5 () ()T () () -> T2 Int Int -> Int Int -> (T3 Bool Bool -> T4 Float Float -> Float Float) -> T5 () () -> IO ()t :: T1 -> ( :: T1 -> T2 Int Int) -> ( Int Int -> T3 Bool Bool) -> ( Bool Bool -> T4 Float Float) -> Float Float -> T5 () ()t :: T1 -> ( :: T1 -> T2 Int Int) -> ( Int Int -> T3 Bool Bool) -> ( Bool Bool -> T4 Float Float) -> Float Float -> T5 () ()T () () -> T2 Int Int -> Int Int -> (T3 Bool Bool -> T4 Float Float -> Float Float) -> T5 () () -> IO ()t :: T1 -> ( :: T1 -> T2 Int Int) -> ( Int Int -> T3 Bool Bool) -> ( Bool Bool -> T4 Float Float) -> Float Float -> T5 () ()