From 26a44b9f3f539e93f499eea4eda6a354f46b20da Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Sun, 24 Aug 2014 08:14:10 +0200 Subject: Fix extra whitespace on signatures and update all test cases This was long overdue, now running ./accept.lhs on a clean test from master will not generate a bunch of changes. --- haddock-api/src/Haddock/Backends/Xhtml/Decl.hs | 4 +- html-test/ref/Bold.html | 12 ++--- html-test/ref/Bug298.html | 16 +++---- html-test/ref/Bug313.html | 8 ++-- html-test/ref/Bug8.html | 12 ++--- html-test/ref/Extensions.html | 4 +- html-test/ref/ImplicitParams.html | 2 +- html-test/ref/Nesting.html | 28 +++++------ html-test/ref/NonGreedy.html | 4 +- html-test/ref/Operators.html | 14 +++--- html-test/ref/TH2.html | 2 +- html-test/ref/Test.html | 8 ++-- html-test/ref/Ticket112.html | 4 +- html-test/ref/TypeOperators.html | 2 +- html-test/ref/mini_A.html | 4 +- html-test/ref/mini_AdvanceTypes.html | 2 +- html-test/ref/mini_B.html | 2 +- html-test/ref/mini_Bug1.html | 2 +- html-test/ref/mini_Bug6.html | 10 ++-- html-test/ref/mini_Bug7.html | 2 +- html-test/ref/mini_Bug8.html | 2 +- html-test/ref/mini_BugDeprecated.html | 8 ++-- html-test/ref/mini_DeprecatedData.html | 4 +- html-test/ref/mini_DeprecatedNewtype.html | 4 +- html-test/ref/mini_DeprecatedRecord.html | 2 +- html-test/ref/mini_DeprecatedTypeSynonym.html | 4 +- html-test/ref/mini_HiddenInstances.html | 2 +- html-test/ref/mini_HiddenInstancesB.html | 2 +- html-test/ref/mini_QuasiExpr.html | 4 +- html-test/ref/mini_Test.html | 6 +-- html-test/ref/mini_Ticket253_2.html | 2 +- html-test/ref/mini_TypeFamilies.html | 64 +++++++++++++++++++++++--- html-test/ref/mini_TypeOperators.html | 36 +++++++++++++-- html-test/ref/ocean.css | 30 ++++++++---- 34 files changed, 202 insertions(+), 110 deletions(-) diff --git a/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs b/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs index 8884f69f..8e42ff47 100644 --- a/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs +++ b/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs @@ -822,8 +822,8 @@ ppr_mono_lty ctxt_prec ty = ppr_mono_ty ctxt_prec (unLoc ty) ppr_mono_ty :: Int -> HsType DocName -> Unicode -> Qualification -> Html ppr_mono_ty ctxt_prec (HsForAllTy expl tvs ctxt ty) unicode qual - = maybeParen ctxt_prec pREC_FUN $ - hsep [ppForAll expl tvs ctxt unicode qual, ppr_mono_lty pREC_TOP ty unicode qual] + = maybeParen ctxt_prec pREC_FUN $ ppForAll expl tvs ctxt unicode qual + <+> ppr_mono_lty pREC_TOP ty unicode qual -- UnicodeSyntax alternatives ppr_mono_ty _ (HsTyVar name) True _ diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index d936a720..7151862d 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -17,11 +17,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bold.html");}; >
Synopsis

foo :: t

:: t

Some

  • (<^>) :: (a -> a) -> a -> a
    • :: (a -> a) -> a -> a
  • (<^) :: a -> a -> a
    • :: a -> a -> a
  • (^>) :: a -> a -> a
    • :: a -> a -> a
  • (⋆^) :: a -> a -> a
    • :: a -> a -> a
  • f

    (<^>) :: (a -> a) -> a -> a

    :: (a -> a) -> a -> a

    • (<^) :: a -> a -> a

    :: a -> a -> a

    (^>) :: a -> a -> a

    :: a -> a -> a

    (⋆^) :: a -> a -> a

    :: a -> a -> a

  • a :: a
    • :: a
  • b :: a
    • :: a

    a :: a

    :: a

    Some text.

    b :: a

    :: a

    Some text.

    (-->) :: t -> t1 -> :: t -> t1 -> Typ infix 9

    (--->) :: [a] -> :: [a] -> Typ -> -> Typ infix 9

    s :: t

    :: t

    t :: t

    :: t

    main :: t

    :: t

  • foobar :: t
    • :: t

    foobar :: t

    :: t

    Bar

    f :: ((?x :: :: ((?x :: X) => a) -> a

  • d :: t
    • :: t
  • e :: t
    • :: t
  • f :: t
    • :: t
  • g :: t
    • :: t
  • h :: t
    • :: t
  • i :: t
    • :: t
  • j :: t
    • :: t

    d :: t

    :: t

    • e :: t

      :: t

      • f :: t

        :: t

        • g :: t

          :: t

          • h :: t

            :: t

            • i :: t

              :: t

              • j :: t

                :: t

              • f :: a
                • :: a

              f :: a

              :: a

            • (+-) :: a -> a -> a
              • :: a -> a -> a
            • (*/) :: a -> a -> a
              • :: a -> a -> a
            • foo :: a -> a -> a
              • :: a -> a -> a
            • data

              (+-) :: a -> a -> a

              :: a -> a -> a

              Operator with no fixity

              (*/) :: a -> a -> a :: a -> a -> a infixr 7

              foo :: a -> a -> a :: a -> a -> a infixl 3

              Produced by Haddock version 2.14.4

              version 2.15.0

              f :: t -> t

              :: t -> t

      • d :: :: T a b
      • withoutType :: t
        • :: t

      d :: :: T a b

      withoutType :: t

      :: t

      Comment on a definition without type signature

    • f :: a
      • :: a

    f :: a

    :: a

    ...given a raw

    biO :: (g :: (g `O` f) a

    data A

    data X

    data Pattern

    data X

    data T

    data A

    data B

    data C

    data D

    data E

    data Foo

    data Typ

    bazbar

    barbaz

    threetwo

    twothree

    data Foo

    data One

    data SomeNewType

    data SomeOtherNewType

    data Foo

    type TypeSyn

    type OtherTypeSyn

    data VisibleData

    data Bar

    data Expr

    data BinOp

    data T6

    data R

    data R1

    Class declarations

    data Baz

    data X

    data Y

    data Z

    class Test a

    type family GFoo a :: k

    data family Bat a :: *

    class AAssoc a

    type family F a

    Bar b

    g

    type family a <> b :: k

    class a >< b

    TypeOperators

    stuff

    data g f a

    class a <=> b

    biO

    f

    g

    x

    y

    * { - font-size: 93%; /* 12pt */ + font-size: 93%; /* 12pt */ } #mini #module-list .caption, -- cgit v1.2.3