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. --- 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 +++++++++---- 33 files changed, 200 insertions(+), 108 deletions(-) (limited to 'html-test') 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