From cf73b006faf95512b28c744ecfbdf47c044acb67 Mon Sep 17 00:00:00 2001 From: "Dr. ERDI Gergo" Date: Fri, 31 Jan 2014 00:15:01 +0800 Subject: <+>: Don't insert a space when concatenating empty nodes --- html-test/ref/A.html | 16 +-- html-test/ref/AdvanceTypes.html | 4 +- html-test/ref/B.html | 8 +- html-test/ref/Bug1.html | 8 +- html-test/ref/Bug6.html | 40 +++--- html-test/ref/Bug7.html | 16 +-- html-test/ref/Bug8.html | 4 +- html-test/ref/Bugs.html | 4 +- html-test/ref/DeprecatedClass.html | 16 +-- html-test/ref/DeprecatedData.html | 24 ++-- html-test/ref/DeprecatedNewtype.html | 16 +-- html-test/ref/DeprecatedRecord.html | 8 +- html-test/ref/GADTRecords.html | 12 +- html-test/ref/Hash.html | 14 +- html-test/ref/HiddenInstances.html | 16 +-- html-test/ref/HiddenInstancesB.html | 16 +-- html-test/ref/QuasiExpr.html | 8 +- html-test/ref/SpuriousSuperclassConstraints.html | 4 +- html-test/ref/Test.html | 166 +++++++++++------------ html-test/ref/Ticket253_2.html | 8 +- html-test/ref/Ticket61.html | 4 +- html-test/ref/TypeFamilies.html | 12 +- html-test/ref/TypeOperators.html | 24 ++-- 23 files changed, 224 insertions(+), 224 deletions(-) (limited to 'html-test') diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 0346574f..fbfb4a53 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -48,9 +48,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");}; >
  • data A = = A
  • data X = = X

  • data A

    Constructors

    data X

    Should show up on the page for both modules A and B

    data Pattern where

  • data X = = X

    • data X

    Should show up on the page for both modules A and B

  • data T = = T

    • data T

    We should have different anchors for constructors and types/classes. This diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 2fde3f10..5e7d5084 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -56,9 +56,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");}; >

  • data A = = A Int
  • data B = = B {
    • data C = = C {
      • data D = = D Int
      • newtype E = = E Int

        data A

        This record is exported without its field

        data B

        .. with its field, but the field is named separately in the export list @@ -207,9 +207,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");}; >

        data C

        .. with fields names as subordinate names in the export

        data D

        .. with only some of the fields exported (we can't handle this one - @@ -292,9 +292,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");}; >

        newtype E

        a newtype with a field

      • data Foo = = Foo
      • class Bar x y
        • x y

    • data Foo

    The Foo datatype

    class Bar x y

    x y

    The Bar class

    data Typ

    Constructors

    data A a

    a

    Constructors

  • class SomeClass a a where

    • class VisibleClass a

    a

    Should be visible

    data VisibleData

    Should be visible

  • class Foo a
    • a
  • data Bar

    • class Foo a

    a

    Should be visible

    data Bar

    Should be visible

    data Expr

    Constructors

    data BinOp

    Constructors

    data SomeType f a

    f a

    Instances

  • data T a b
  • data T2 a b
  • data T3 a b
  • data T4 a b
  • data T5 a b
  • data T6
    • newtype N1 a = N1
    • newtype N2 a b = N2
    • newtype N3 a b = N3
    • data N4 a b
    • newtype N5 a b = N5
    • newtype N6 a b = N6
    • newtype N7 a b = N7
    • data R
        • = C1q :: forall a. a -> a
          • a. a -> a
        • r
        • data R1 = = C3 {
          • D a => C a a where
            • class D a a where
              • class E a
                • a
              • class F a a where
                • data Ex a
                  • C b => Ex1 b
                    • b
                  • | forall b . Ex2 b
                    • b
                  • | forallC a => Ex3 b
                    • b
                  • | Ex4 (forall a. a -> a)
                    • a. a -> a)

                • data T a b

                  a b

                  This comment applies to the

                  data T2 a b

                  a b

                  An abstract data declaration

                  data T3 a b

                  a b

                  A data declaration with no documentation annotations on the constructors

                  data T4 a b

                  a b

                  Constructors

                  data T5 a b

                  a b

                  Constructors

                  data T6

                  Testing alternative comment styles

                  newtype N1 a

                  a

                  A newtype

                  newtype N2 a b

                  a b

                  A newtype with a fieldname

                  newtype N3 a b

                  a b

                  A newtype with a fieldname, documentation on the field

                  data N4 a b

                  a b

                  An abstract newtype - we show this one as data rather than newtype because @@ -1043,9 +1043,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >

                  newtype N5 a b

                  a b

                  Constructors

                  newtype N6 a b

                  a b

                  Constructors

                  newtype N7 a b

                  a b

                  docs on the newtype and the constructor

                  data R

                  This is the documentation for the q :: forall a. a -> a a. a -> a

                  This comment applies to the

                  data R1

                  Testing different record commenting styles

                  D a => C a a where

                  class D a a where

                  class E a

                  a

                  This is a class declaration with no methods (or no methods exported)

                  class F a a where

                  data Ex a

                  a

                  A data-type using existential/universal types

                  Ex4 (forall a. a -> a) a. a -> a) 
                • data Baz = = Baz

                data Baz

                Constructors

                class C a a where

              • class A a a where

    • data (a (a :+: b) c

    b) c

    data Op a b

    a b

    newtype O g f a

    g f a

    Constructors