Date: Thu, 22 Jan 2015 19:32:10 +0000 Subject: Update test files Test: a correct behaviour for fields comma-separating values. I'm surprised we had no bug open for this. Maybe it affects how #301 renders now but I doubt. Operators: Seems GHC is giving us a new order for operators, something must have changed on their side again. cc @haasn , this makes the fixity to the side not match the order on the LHS which is a bit unpleasant. Maybe the fixity can be made to match the GHC order? Bug335: We expand examples by default now. Bug310: Now inferred safe. --- html-test/ref/Bug310.html | 4 ++-- html-test/ref/Bug335.html | 6 +++--- html-test/ref/Operators.html | 16 ++++++++-------- html-test/ref/Test.html | 40 +++++----------------------------------- 4 files changed, 18 insertions(+), 48 deletions(-) (limited to 'html-test/ref/Test.html') diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 926d6cf2..c38af59c 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug310.html");}; >Safe HaskellNoneSafe

ExF:

ExG:

>>> Produced by Haddock version 2.15.1
 version 2.16.0

(**>), (<**)(**<), (>**), (**<)(<**) :: a -> a -> ()

(**>), (<**), (>**), (**<), (>**), (<**) :: a -> a -> () infixr 8 **>, >**infixl 8 <**, **<infixl 8 **<, <**

Produced by Haddock version 2.15.0

version 2.16.0

r :: Int

, s :: Int

u :: Int

, v :: Int

r :: Int

This comment applies to both r and s

, s :: Int

u :: Int

, v :: Int

Produced by Haddock version 2.15.0

version 2.16.0

Date: Sun, 14 Jun 2015 10:31:18 +0100 Subject: Update tests for the CSS changes --- CHANGES | 2 + html-test/ref/Bug26.html | 12 +- html-test/ref/Bug294.html | 70 +- html-test/ref/Bug7.html | 34 +- html-test/ref/Hash.html | 44 +- html-test/ref/HiddenInstances.html | 50 +- html-test/ref/HiddenInstancesB.html | 26 +- html-test/ref/QuasiExpr.html | 26 +- html-test/ref/SpuriousSuperclassConstraints.html | 34 +- html-test/ref/Test.html | 26 +- html-test/ref/TypeFamilies.html | 834 ++++++++++++----------- html-test/ref/TypeFamilies2.html | 114 ++-- html-test/ref/ocean.css | 23 + 13 files changed, 719 insertions(+), 576 deletions(-) (limited to 'html-test/ref/Test.html') diff --git a/CHANGES b/CHANGES index 368002dd..cb17fde7 100644 --- a/CHANGES +++ b/CHANGES @@ -19,6 +19,8 @@ Changes in version 2.16.1 * Fix cross-module instance locations (#383) + * Fix alignment of Source link for instances in Firefox (#384) + Changes in version 2.16.0 * Experimental collapsible header support (#335) diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 981370fa..c670264c 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -145,10 +145,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html");}; >

C ()

instance for ()

Produced by Haddock version 2.15.1

version 2.16.1

data DP A = ProblemCtor' A	data DP A = ProblemCtor' A
data TP A = ProblemCtor A	data TP A = ProblemCtor A

Produced by Haddock version 2.15.0

version 2.16.1

data DP A = ProblemCtor' A

Bar Foo Foo

Produced by Haddock version 2.15.0

version 2.16.1

Produced by Haddock version 2.15.0

version 2.16.1

Hash Float	Hash Float
Hash Int	Hash Int
(Hash a, Hash b) => Hash (a, b)	(Hash a, Hash b) => Hash (a, b)

VisibleClass Int

VisibleClass VisibleData

Num VisibleData

VisibleClass VisibleData

Produced by Haddock version 2.15.0

version 2.16.1

Foo Bar

Produced by Haddock version 2.15.0

version 2.16.1

Show Expr

Produced by Haddock version 2.15.0

version 2.16.1

Show BinOp

Produced by Haddock version 2.15.0

version 2.16.1

Functor (SomeType f)	Functor (SomeType f)
Applicative f => Applicative (SomeType f)	Applicative f => Applicative (SomeType f)

Produced by Haddock version 2.16.0

version 2.16.1

D Float	D Float
D Int	D Int

Assoc * X	Assoc * X
Test * X	Test * X
(><) X XX XXX	(><) X XX XXX
type Foo X = Y	type Foo X = Y
data AssocD * X = AssocX	data AssocD * X = AssocX
type AssocT * X = Foo * X	type AssocT * X = Foo * X
data Bat * X = BatX X	data Bat * X \| BatXX { aaa :: X = BatX X \| BatXX { bbb :: Y } aaa :: X bbb :: Y }
type Foo * X = Y	type Foo * X = Y
type (<>) * X a = X	type (<>) * X a = X
type (<>) X XXX XX = X	type (<>) X XXX XX = X

Assoc * Y	Assoc * Y
Test * Y	Test * Y
data Bar Y	data Bar Y
data AssocD * Y = AssocY	data AssocD * Y = AssocY
type AssocT * Y = Bat * Y	type AssocT * Y = Bat * Y
data Bat * Y = BatY Y	data Bat * Y = BatY Y
type Foo * Y = X	type Foo * Y = X
type (<>) * Y a = a	type (<>) * Y a = a

data Bat Z where

BatZ1 :: Z -> Bat Z ZA

data Bat Z where

BatZ2 :: {
- batx :: X
- BatZ2 :: {
  - baty :: Y
  } -> Bat Z ZB
batx :: X
baty :: Y

} -> Bat Z ZB

Test * Y

Test * X

type Foo * Y = X

type Foo * X = Y

data Bat Z where

BatZ1 :: Z -> Bat Z ZA

data Bat Z where

BatZ2 :: {
- batx :: X
- BatZ2 :: {
  - baty :: Y
  } -> Bat Z ZB
batx :: X
baty :: Y

} -> Bat Z ZB

data Bat * Y = BatY Y

data Bat * X

= BatX X

data Bat * X

| BatXX {
- aaa :: X
- | BatXX {
  - bbb :: Y
  }
aaa :: X
bbb :: Y

}

Assoc * Y

Assoc * X

type (<>) * Y a = a	type (<>) * Y a = a
type (<>) * X a = X	type (<>) * X a = X
type (<>) X XXX XX = X	type (<>) X XXX XX = X

Produced by Haddock version 2.15.0

version 2.16.1

(><) X XX XXX

data Bar W = BarX Z

Shown because BarX is still exported despite Z being hidden

type Foo W

type Foo X = Y

Produced by Haddock version 2.15.0

version 2.16.1

Date: Sun, 2 Aug 2015 23:58:25 +0100 Subject: Update tests to follow HTML changes --- CHANGES | 4 + html-test/ref/A.html | 16 +- html-test/ref/AdvanceTypes.html | 8 +- html-test/ref/B.html | 10 +- html-test/ref/Bold.html | 4 +- html-test/ref/Bug1.html | 6 +- html-test/ref/Bug195.html | 136 +++--- html-test/ref/Bug2.html | 4 +- html-test/ref/Bug201.html | 6 +- html-test/ref/Bug253.html | 4 +- html-test/ref/Bug26.html | 10 +- html-test/ref/Bug294.html | 18 +- html-test/ref/Bug298.html | 12 +- html-test/ref/Bug3.html | 4 +- html-test/ref/Bug308.html | 6 +- html-test/ref/Bug308CrossModule.html | 4 +- html-test/ref/Bug310.html | 4 +- html-test/ref/Bug313.html | 6 +- html-test/ref/Bug335.html | 6 +- html-test/ref/Bug387.html | 6 +- html-test/ref/Bug4.html | 4 +- html-test/ref/Bug6.html | 88 ++-- html-test/ref/Bug7.html | 8 +- html-test/ref/Bug8.html | 18 +- html-test/ref/Bug85.html | 14 +- html-test/ref/BugDeprecated.html | 14 +- html-test/ref/BugExportHeadings.html | 14 +- html-test/ref/Bugs.html | 6 +- html-test/ref/DeprecatedClass.html | 10 +- html-test/ref/DeprecatedData.html | 14 +- html-test/ref/DeprecatedFunction.html | 6 +- html-test/ref/DeprecatedFunction2.html | 4 +- html-test/ref/DeprecatedFunction3.html | 4 +- html-test/ref/DeprecatedModule.html | 4 +- html-test/ref/DeprecatedModule2.html | 4 +- html-test/ref/DeprecatedNewtype.html | 10 +- html-test/ref/DeprecatedReExport.html | 4 +- html-test/ref/DeprecatedRecord.html | 60 +-- html-test/ref/DeprecatedTypeFamily.html | 6 +- html-test/ref/DeprecatedTypeSynonym.html | 6 +- html-test/ref/Examples.html | 4 +- html-test/ref/Extensions.html | 4 +- html-test/ref/FunArgs.html | 12 +- html-test/ref/GADTRecords.html | 64 +-- html-test/ref/Hash.html | 14 +- html-test/ref/HiddenInstances.html | 6 +- html-test/ref/HiddenInstancesB.html | 6 +- html-test/ref/Hyperlinks.html | 4 +- html-test/ref/IgnoreExports.html | 6 +- html-test/ref/ImplicitParams.html | 12 +- html-test/ref/Minimal.html | 52 +-- html-test/ref/ModuleWithWarning.html | 4 +- html-test/ref/NamedDoc.html | 2 +- html-test/ref/Nesting.html | 18 +- html-test/ref/NoLayout.html | 4 +- html-test/ref/NonGreedy.html | 4 +- html-test/ref/Operators.html | 44 +- html-test/ref/PatternSyns.html | 22 +- html-test/ref/Properties.html | 4 +- html-test/ref/PruneWithWarning.html | 2 +- html-test/ref/QuasiExpr.html | 28 +- html-test/ref/QuasiQuote.html | 4 +- html-test/ref/SpuriousSuperclassConstraints.html | 4 +- html-test/ref/TH.html | 4 +- html-test/ref/TH2.html | 4 +- html-test/ref/Test.html | 522 ++++++++++++----------- html-test/ref/Threaded.html | 16 +- html-test/ref/Ticket112.html | 4 +- html-test/ref/Ticket61.html | 6 +- html-test/ref/Ticket75.html | 8 +- html-test/ref/TitledPicture.html | 6 +- html-test/ref/TypeFamilies.html | 76 ++-- html-test/ref/TypeFamilies2.html | 12 +- html-test/ref/TypeOperators.html | 44 +- html-test/ref/Unicode.html | 4 +- html-test/ref/Visible.html | 4 +- html-test/ref/haddock-util.js | 2 +- html-test/ref/mini_FunArgs.html | 18 + html-test/ref/ocean.css | 32 +- 79 files changed, 853 insertions(+), 805 deletions(-) (limited to 'html-test/ref/Test.html') diff --git a/CHANGES b/CHANGES index d35528d1..2cb0a5e0 100644 --- a/CHANGES +++ b/CHANGES @@ -6,6 +6,10 @@ Changes in version 2.16.2 * Break up response file arguments on newlines + * Various HTML fixes (#301, #406, #407, #421) + + * Line anchors in hyperlinked source (#420) + Changes in version 2.16.1 * Don't default to type constructors for out-of-scope names (#253 and diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 96e2d001..56c04bc6 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -88,7 +88,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");}; >

data A

data Bar W = BarX Z	data Bar W = BarX Z	Shown because BarX is still exported despite Z being hidden
data Bar Y	data Bar Y

other :: Int

test2 :: Bool

data X

reExport :: Int

Produced by Haddock version 2.15.0

version 2.16.2

data Pattern :: [*] -> * where
Nil :: Pattern
Cons :: Maybe
Produced by Haddock version 2.15.0
version 2.16.2
test :: Int
reExport :: Int
data X
X
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: t
Produced by Haddock version 2.15.0
version 2.16.2
data T
T
Produced by Haddock version 2.15.0
version 2.16.2
data T
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
x :: A
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: ()
g :: ()
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: ()
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
f :: ()
g :: ()
class C a where
Methods
c_f :: a
Produced by Haddock version 2.16.1
version 2.16.2
data A
DP A = = ProblemCtor' Adata TP A = = ProblemCtor A
problemField :: TO A
problemField' :: DO A
gadtField :: GADT A
data family DP t :: *
DP A = = ProblemCtor' A
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
(<^>) :: (a -> a) -> a -> a
(<^) :: a -> a -> a
(^>) :: a -> a -> a
(⋆^) :: a -> a -> a
f :: ()
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: ()
g :: ()
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
h :: ()
Produced by Haddock version 2.15.0
version 2.16.2
type family a a + b :: Nat
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
a :: a
b :: a
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: ()
g :: ()
Produced by Haddock version 2.16.1
version 2.16.2
test1 :: Int
test2 :: Int
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data A
A
Fields
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
B
Fields
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
C
Fields
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
A Int
data B
data C
B
Fields
b :: Int

b :: Int

data D
C
Fields
c1 :: Int

c2 :: Int

c1 :: Int

c2 :: Int

D Int
newtype E
E Int
Produced by Haddock version 2.15.0
version 2.16.2
data Foo
Foo
class Bar x y
Produced by Haddock version 2.16.1
version 2.16.2
data Typ
Type (Typ
TFree (Typ
(-->) :: t -> t1 -> Typ
(--->) :: Foldable
s :: t
t :: t
main :: t
Produced by Haddock version 2.16.0
version 2.16.2
data Foo :: (* -> *) -> * -> * where
Bar :: f x -> Foo
data Baz :: * where
Baz' :: Baz
data Qux where
Quux :: Qux
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
foo :: Int
bar :: Int
baz :: Int
one :: Int
two :: Int
three :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Foo
foo :: IntBar
bar :: IntBaz
baz :: IntOne
one :: IntTwo
two :: IntThree
three :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data A a
A a (a -> Int
Produced by Haddock version 2.15.0
version 2.16.2
class SomeClass a where
Methods
foo :: a -> a
class SomeOtherClass a where
Methods
bar :: a -> a
Produced by Haddock version 2.15.0
version 2.16.2
data Foo
Foo
Bar
data One
One
Two
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
bar :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
newtype SomeNewType
SomeNewTypeConst String
newtype SomeOtherNewType
Date: Fri, 31 Jul 2015 20:16:33 +0200 Subject: Make identifier generation also architecture-independent. --- haddock-api/src/Haddock/Backends/Xhtml/Decl.hs | 12 ++++--- html-test/ref/Bug7.html | 8 ++--- html-test/ref/Hash.html | 8 ++--- html-test/ref/HiddenInstances.html | 16 +++++----- html-test/ref/HiddenInstancesB.html | 8 ++--- html-test/ref/QuasiExpr.html | 4 +-- html-test/ref/SpuriousSuperclassConstraints.html | 8 ++--- html-test/ref/Test.html | 4 +-- html-test/ref/TypeFamilies.html | 40 ++++++++++++------------ 9 files changed, 55 insertions(+), 53 deletions(-) (limited to 'html-test/ref/Test.html') diff --git a/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs b/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs index c30d0e62..f1203210 100644 --- a/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs +++ b/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs @@ -31,10 +31,12 @@ import Haddock.Syb import Haddock.Doc (combineDocumentation) import Data.Bits +import Data.Char import Data.Data (Data, cast) import Data.List ( intersperse, sort ) import qualified Data.Map as Map import Data.Maybe +import Data.Word import Text.XHtml hiding ( name, title, p, quote ) import GHC @@ -636,16 +638,16 @@ instanceId orgin no ihd = concat -- section anchors in testing framework and that is not only inconvenient but -- also makes testing less viable. And it is only temporary solution so we can -- live with it. -instHeadId :: InstHead DocName -> Int +instHeadId :: InstHead DocName -> Word64 instHeadId (InstHead { .. }) = - djb2 . map key $ [ihdClsName] ++ names ihdTypes ++ names ihdKinds + djb2 id . map key $ [ihdClsName] ++ names ihdTypes ++ names ihdKinds where names = everything (++) $ maybeToList . (cast :: forall a. Data a => a -> Maybe DocName) - key = djb2 . occNameString . nameOccName . getName + key = djb2 (fromIntegral . ord) . occNameString . nameOccName . getName - djb2 :: Enum a => [a] -> Int - djb2 = foldl (\h c -> h * 33 `xor` fromEnum c) 5381 + djb2 :: (a -> Word64) -> [a] -> Word64 + djb2 conv = foldl (\h c -> h * 33 `xor` conv c) 5381 ------------------------------------------------------------------------------- diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index f0fbc44d..4c0ba83b 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -106,7 +106,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; > Date: Mon, 3 Aug 2015 16:05:01 +0200 Subject: Accept tests affected by changes related to instance expander. --- html-test/ref/Bug26.html | 10 +- html-test/ref/Bug7.html | 36 +++--- html-test/ref/Hash.html | 46 +++---- html-test/ref/HiddenInstances.html | 56 ++++---- html-test/ref/HiddenInstancesB.html | 28 ++-- html-test/ref/QuasiExpr.html | 28 ++-- html-test/ref/SpuriousSuperclassConstraints.html | 32 ++--- html-test/ref/Test.html | 28 ++-- html-test/ref/TypeFamilies.html | 156 +++++++++++------------ 9 files changed, 210 insertions(+), 210 deletions(-) (limited to 'html-test/ref/Test.html') diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 18bfa63b..bdb51231 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -147,11 +147,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html");}; >
SomeOtherNewTypeConst String
Produced by Haddock version 2.15.0
version 2.16.2
Re-exported from an other module
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data Foo
Produced by Haddock version 2.15.0
version 2.16.2
data family SomeTypeFamily k :: * -> *
data family SomeOtherTypeFamily k :: * -> *
Produced by Haddock version 2.16.0
version 2.16.2
type TypeSyn = String
type OtherTypeSyn = String
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
fib :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foobar :: t
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f
g
h
i
j
Produced by Haddock version 2.15.0
version 2.16.2
data H1 a b where
Foo
Fields
fooName :: String
some name
fooValue :: Int
fooName :: String
Deprecated: do not use this
some name
some value
fooValue :: Int
Deprecated: do not use this
some value
Produced by Haddock version 2.15.0
version 2.16.2
data HashTable key val
s
new :: (Eq
insert :: (Eq
lookup :: Hash
class Hash a where
Methods
hash :: a -> Int
Produced by Haddock version 2.16.1
version 2.16.2
class VisibleClass a
data VisibleData
Produced by Haddock version 2.16.1
version 2.16.2
class Foo a
data Bar
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
bar :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data X
C1 :: H1
C2 :: Ord
C3 :: Int
Fields
field :: Int
hello docs
field :: Int
hello docs
C4 :: a -> H1
Fields
field2 :: a
hello2 docs
field2 :: a
hello2 docs
X
c :: (?x :: X
d :: (?x :: X
f :: ((?x :: X
Produced by Haddock version 2.15.0
version 2.16.2
class Foo a where
Methods
foo :: a
Any two of these are required...
bar :: a
bat :: a
fooBarBat :: (a, a, a)
class Weird a where
Methods
a :: a
b :: a
c :: a
d :: a
e :: a
f :: a
g :: a
class NoMins a where
Methods
x :: a
y :: a
z :: a
class FullMin a where
Methods
aaa :: a
bbb :: a
class PartialMin a where
Methods
ccc :: a
class EmptyMin a where
Methods
eee :: a
fff :: a
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
d :: t
e :: t
f :: t
g :: t
h :: t
i :: t
j :: t
k :: t
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
g :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: a
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
(+-) :: a -> a -> a
(*/) :: a -> a -> a infixr 7
foo :: a -> a -> a infixl 3
data Foo
Foo `Bar` Foo Foo :- Foo
pattern (:+) :: t -> t -> [t] infixr 3
data a a <-> b where
(:<->) :: a -> b -> a <->
type family a a ++ b infix 3
data family a a ** b infix 9
class a a ><> b where
type a a <>< b :: * infixl 2
data a a ><< b infixl 3
Methods
(>><), , (<<>) :: a -> b -> () infixl 5 <<>
(**>), , (**<), , (>**), , (<**) :: a -> a -> () infixr 8 **>, >**
type (>-<) a b = a <->
Produced by Haddock version 2.16.0
version 2.16.2
data FooType x
FooCtor x
pattern Foo :: t -> FooType
pattern Bar :: t -> FooType
pattern (:<->) :: t -> t -> (FooType
data a a >< b
Doc for (><><)
Empty
pattern E :: (><)
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
fib :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
Produced by Haddock version 2.15.0
version 2.16.2
data Expr
IntExpr Integer
AntiIntExpr String
BinopExpr BinOp
AntiExpr String
data BinOp
AddOp
SubOp
MulOp
DivOp
eval :: Expr
expr :: QuasiQuoter
parseExprExp :: String
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
val :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
data SomeType f a
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
decl :: Q [Dec]
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: t -> t
Produced by Haddock version 2.15.0
version 2.16.2
data T a b
A Int
B (T
data T2 a b
data T3 a b
A1 a
B1 b
data T4 a b
A2 a
B2 b
data T5 a b
A3 a
B3 b
data T6
A4
B4
C4
newtype N1 a
N1 a
newtype N2 a b
newtype N3 a b
N2
Fields
n :: a b

n :: a b

data N4 a b
newtype N5 a b
N3
Fields
n3 :: a b
this is the n3 field
n3 :: a b
this is the n3 field
newtype N6 a b
N5
Fields
n5 :: a b
no docs on the datatype or the constructor
n5 :: a b
no docs on the datatype or the constructor
newtype N7 a b
N6
Fields
n6 :: a b

n6 :: a b

data R
N7
Fields
n7 :: a b

n7 :: a b

data R1
C1
Fields
p :: Int
This comment applies to the p field
q :: forall a. a -> a
This comment applies to the q field
r, s :: Int
This comment applies to both r and s
p :: Int
This comment applies to the p field
q :: forall a. a -> a
This comment applies to the q field
r, s :: Int
This comment applies to both r and s
C2
Fields
t :: T1 -> T2 Int Int -> T3 Bool Bool -> T4 Float Float -> T5 () ()

u, v :: Int

t :: T1 -> T2 Int Int -> T3 Bool Bool -> T4 Float Float -> T5 () ()

u, v :: Int

classD a => a => C a where
Methods
a :: IO method
b :: [a]
class D a where
Methods
d :: T a b
e :: (a, a)
class E a
class F a where
Methods
ff :: a
Function types
f :: C
g :: IntA hidden module
hidden :: Int
data Ex a
forall b . C b => b => Ex1 b
C3
Fields
s1 :: Int
The s1 record selector
s2 :: Int
The s2 record selector
s3 :: Int
The s3 record selector
s1 :: Int
The s1 record selector
s2 :: Int
The s2 record selector
s3 :: Int
The s3 record selector

forall b . b . Ex2 b forall b . C a => a => Ex3 b
Ex4 (forallType signatures with argument docs
k
l
m
o
f' :: Int
withType :: Int
withoutType :: t
Produced by Haddock version 2.16.1
version 2.16.2
Contents
Index
Synopsis
f :: :: Integer
Documentation
f :: :: Integer
Produced by Produced by Haddock version 2.16.0
version 2.16.2
Documentation
f :: a
Produced by Haddock version 2.15.0
version 2.16.2
class C a where
Methods
f :: a
Produced by Haddock version 2.15.0
version 2.16.2
data a a :- b
Q
f :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Integer
bar :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
data X
X
= = BatX X
| | BatXX {
aaa :: X
bbb :: Y
data Y
AssocD * Y = = AssocYBat * Y = = BatY Y
data Z
X
XX
XXX AssocD * X = = AssocX
type family Foo a
data family Bar a
Bar W = = BarX Z
Produced by Haddock version 2.16.1
version 2.16.2
data a a :-: b
data (a (a :+: b) c
data Op a b
newtype O g f a
ZA
ZB where
BatZ1 :: ZZA
BatZ2 :: {
batx :: X
baty :: Y
class Test a
type family Foo a :: k
data family Bat a :: *
where
BatZ1 :: ZZA
BatZ2 :: {
batx :: X
baty :: YBat * Y = = BatY YX
= = BatX X
| | BatXX {
aaa :: X
bbb :: Y
class Assoc a
data AssocD a :: *
type AssocT a :: *
type family Bar b
type family a a <> b :: k
class a a >< b
Produced by Haddock version 2.16.1
version 2.16.2
data W
Bar W = = BarX Z
class a a <=> b
biO :: (g `O`
f :: (a ~ b) => a -> b
g :: (a ~ b, b ~ c) => a -> c
x :: (a :-:
y :: (a <=>
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
x :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
visible :: Int
Produced by Haddock version 2.15.0
version 2.16.2
g
h
i
j
.doc { + display: table-cell; padding-left: 0.5em; margin-bottom: 0.5em; } -.subs dd.empty { - display: none; -} - -.subs dd p { +.subs ul li > .doc p { margin: 0; } -- cgit v1.2.3 From 0158692153c342eb84879338aeb99a6bb0221889 Mon Sep 17 00:00:00 2001 From: Łukasz Hanuszczak Date: Fri, 31 Jul 2015 17:05:48 +0200 Subject: Accept tests affected by adding instance details section. --- html-test/ref/Bug26.html | 22 +- html-test/ref/Bug7.html | 40 ++-- html-test/ref/Hash.html | 88 ++++++-- html-test/ref/HiddenInstances.html | 130 ++++++++++-- html-test/ref/HiddenInstancesB.html | 32 ++- html-test/ref/QuasiExpr.html | 92 +++++++- html-test/ref/SpuriousSuperclassConstraints.html | 100 +++++++-- html-test/ref/Test.html | 72 ++++++- html-test/ref/TypeFamilies.html | 256 ++++++++++++++++++----- html-test/ref/ocean.css | 14 +- 10 files changed, 712 insertions(+), 134 deletions(-) (limited to 'html-test/ref/Test.html') diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 8b9e5a7b..e56d3821 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -147,9 +147,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html");}; >
O
Fields
unO :: g (f a)

unO :: g (f a)

C ()
C ()
Methods
c_f :: ()
Bar Foo Foo
Bar Foo Foo
Just one instance
Bar Foo Foo
Bar Foo Foo
Just one instance
Hash Float
Hash Float

Methods
hash :: Float -> Int
Hash Int
Hash Int

Methods
hash :: Int -> Int
(Hash a, Hash b) => Hash (a, b)
(Hash a, Hash b) => Hash (a, b)

Methods
hash :: (a, b) -> Int
VisibleClass Int
VisibleClass Int
VisibleClass VisibleData
VisibleClass VisibleData
Should be visible
Num VisibleData
Num VisibleData
Methods
(+) :: VisibleData -> VisibleData -> VisibleData
(-) :: VisibleData -> VisibleData -> VisibleData
(*) :: VisibleData -> VisibleData -> VisibleData
negate :: VisibleData -> VisibleData
abs :: VisibleData -> VisibleData
signum :: VisibleData -> VisibleData
fromInteger :: Integer -> VisibleData
VisibleClass VisibleData
VisibleClass VisibleData
Should be visible
Foo Bar
Foo Bar
Should be visible
Foo Bar
Foo Bar
Should be visible
Show Expr
Show Expr

Methods
showsPrec :: Int -> Expr -> ShowS
show :: Expr -> String
showList :: [Expr] -> ShowS
Show BinOp
Show BinOp

Methods
showsPrec :: Int -> BinOp -> ShowS
show :: BinOp -> String
showList :: [BinOp] -> ShowS
Functor (SomeType f)
Functor (SomeType f)

Methods
fmap :: (a -> b) -> SomeType f a -> SomeType f b
(<$) :: a -> SomeType f b -> SomeType f a
Applicative f => Applicative (SomeType f)
Applicative f => Applicative (SomeType f)

Methods
pure :: a -> SomeType f a
(<*>) :: SomeType f (a -> b) -> SomeType f a -> SomeType f b
(*>) :: SomeType f a -> SomeType f b -> SomeType f b
(<*) :: SomeType f a -> SomeType f b -> SomeType f a
D Float
D Float

Methods
d :: T Float b
e :: (Float, Float)
D Int
D Int

Methods
d :: T Int b
e :: (Int, Int)
Assoc * X
Assoc * X
Associated Types
data AssocD (X :: k)
type AssocT (X :: k) :: *
Test * X
Test * X
(><) X XX XXX
(><) X XX XXX

Assoc * Y
Assoc * Y
Associated Types
data AssocD (Y :: k)
type AssocT (Y :: k) :: *
Test * Y
Test * Y
Test * Y
Test * Y
Test * X
Test * X
Doc for: instance Test X
Assoc * Y
Assoc * Y
Associated Types
data AssocD (Y :: k)
type AssocT (Y :: k) :: *
Assoc * X
Assoc * X
Doc for: instance Assoc X
Associated Types
data AssocD (X :: k)
type AssocT (X :: k) :: *
(><) X XX XXX
(><) X XX XXX

Date: Fri, 31 Jul 2015 18:28:16 +0200 Subject: Re-accept tests after applying deterministic section identifiers. --- html-test/ref/Bug26.html | 4 +-- html-test/ref/Bug7.html | 8 ++--- html-test/ref/Hash.html | 12 +++---- html-test/ref/HiddenInstances.html | 16 +++++----- html-test/ref/HiddenInstancesB.html | 8 ++--- html-test/ref/QuasiExpr.html | 8 ++--- html-test/ref/SpuriousSuperclassConstraints.html | 8 ++--- html-test/ref/Test.html | 8 ++--- html-test/ref/TypeFamilies.html | 40 ++++++++++++------------ 9 files changed, 56 insertions(+), 56 deletions(-) (limited to 'html-test/ref/Test.html') diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index e56d3821..18bfa63b 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -147,7 +147,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html");}; >
C ()
Methods
Bar
Bar
Hash
Methods
Hash
Methods
(Hash a,
Methods
VisibleClass
VisibleClass
Num
Methods
VisibleClass
Foo
Foo
Show
Methods
Show
Methods
Functor (
Methods
Applicative f =>
Methods
D
Methods
D
Methods
Assoc *
Associated Types
Test *
(><)
Assoc *
Associated Types
Test *
Test *
Test *
Assoc *
Associated Types
Assoc *
Associated Types
(><)
Bar
Bar
Hash
Methods
(Hash a,
Methods
VisibleClass
VisibleClass
Num
Methods
VisibleClass
Foo
Foo
Show
Methods
Functor (
Methods
Applicative f =>
Methods
D
Methods
Assoc *
Associated Types
Test *
(><)
Assoc *
Associated Types
Test *
Test *
Test *
Assoc *
Associated Types
Assoc *
Associated Types
(><)
C ()
C ()
Methods
Bar Foo Foo
Bar Foo Foo
Bar Foo Foo
Bar Foo Foo
Hash Float
Hash Float
Methods
Hash Int
Hash Int
Methods
(Hash a, Hash b) => Hash (a, b)
(Hash a, Hash b) => Hash (a, b)
Methods
VisibleClass Int
VisibleClass Int
VisibleClass VisibleData
VisibleClass VisibleData
Num VisibleData
Num VisibleData
Methods
VisibleClass VisibleData
VisibleClass VisibleData
Foo Bar
Foo Bar
Foo Bar
Foo Bar
Show Expr
Show Expr
Methods
Show BinOp
Show BinOp
Methods
Functor (SomeType f)
Functor (SomeType f)
Methods
Applicative f => Applicative (SomeType f)
Applicative f => Applicative (SomeType f)
Methods
D Float
D Float
Methods
D Int
D Int
Methods
Assoc * X
Assoc * X
Associated Types
Test * X
Test * X
(><) X XX XXX
(><) X XX XXX
Assoc * Y
Assoc * Y
Associated Types
Test * Y
Test * Y
Test * Y
Test * Y
Test * X
Test * X
Assoc * Y
Assoc * Y
Associated Types
Assoc * X
Assoc * X
Associated Types
(><) X XX XXX
(><) X XX XXX