diff options
| author | David Waern <david.waern@gmail.com> | 2008-07-24 16:06:18 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-07-24 16:06:18 +0000 |
| commit | 87453c56ae000c05bb89824e5cce614996a7dfe1 (patch) | |
| tree | e5e8b8e2b3fb487133a5f9dd2146c22f4aca55f1 /tests/output/Test.html | |
| parent | 0debe1ef5929401a52df3c37ffd09a57bd1c8b8a (diff) | |
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.
Diffstat (limited to 'tests/output/Test.html')
| -rw-r--r-- | tests/output/Test.html | 20 |
1 files changed, 10 insertions, 10 deletions
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 @@ ><TD CLASS="recfield" ><A HREF="#v%3At" >t</A -> :: T1 -> (<A HREF="Test.html#t%3AT2" +> :: T1 -> <A HREF="Test.html#t%3AT2" >T2</A -> Int Int) -> (<A HREF="Test.html#t%3AT3" +> Int Int -> <A HREF="Test.html#t%3AT3" >T3</A -> Bool Bool) -> (<A HREF="Test.html#t%3AT4" +> Bool Bool -> <A HREF="Test.html#t%3AT4" >T4</A -> Float Float) -> <A HREF="Test.html#t%3AT5" +> Float Float -> <A HREF="Test.html#t%3AT5" >T5</A > () ()</TD ></TR @@ -931,11 +931,11 @@ >T</A > () () -> <A HREF="Test.html#t%3AT2" >T2</A -> Int Int -> <A HREF="Test.html#t%3AT3" +> Int Int -> (<A HREF="Test.html#t%3AT3" >T3</A > Bool Bool -> <A HREF="Test.html#t%3AT4" >T4</A -> Float Float -> <A HREF="Test.html#t%3AT5" +> Float Float) -> <A HREF="Test.html#t%3AT5" >T5</A > () () -> IO ()</TD ></TR @@ -1908,13 +1908,13 @@ ></A ><B >t</B -> :: T1 -> (<A HREF="Test.html#t%3AT2" +> :: T1 -> <A HREF="Test.html#t%3AT2" >T2</A -> Int Int) -> (<A HREF="Test.html#t%3AT3" +> Int Int -> <A HREF="Test.html#t%3AT3" >T3</A -> Bool Bool) -> (<A HREF="Test.html#t%3AT4" +> Bool Bool -> <A HREF="Test.html#t%3AT4" >T4</A -> Float Float) -> <A HREF="Test.html#t%3AT5" +> Float Float -> <A HREF="Test.html#t%3AT5" >T5</A > () ()</TD ><TD CLASS="rdoc" |