From d26a397632ace369712150e7645c367f02c7df9d Mon Sep 17 00:00:00 2001 From: David Waern Date: Fri, 28 Nov 2008 21:13:33 +0000 Subject: Update tests following anchor change --- tests/tests/A.html.ref | 6 +- tests/tests/Bug1.html.ref | 6 +- tests/tests/Bug2.html.ref | 2 + tests/tests/Bug3.html.ref | 2 + tests/tests/Bug4.html.ref | 2 + tests/tests/Bug6.html.ref | 38 ++++++- tests/tests/Bug7.html.ref | 10 +- tests/tests/Bug8.html.ref | 8 +- tests/tests/Bugs.html.ref | 6 +- tests/tests/Hash.html.ref | 22 +++- tests/tests/NoLayout.html.ref | 2 + tests/tests/Test.html.ref | 222 +++++++++++++++++++++++++++++++++---- tests/tests/Ticket61.html.ref | 6 +- tests/tests/TypeFamilies.html.ref | 18 ++- tests/tests/TypeOperators.html.ref | 32 +++++- tests/tests/Visible.html.ref | 2 + 16 files changed, 338 insertions(+), 46 deletions(-) diff --git a/tests/tests/A.html.ref b/tests/tests/A.html.ref index b5858ddb..22521edf 100644 --- a/tests/tests/A.html.ref +++ b/tests/tests/A.html.ref @@ -70,7 +70,9 @@ >data A
Adata T
T
x ::
foo :: Int
foo :: Intdata A
A Intdata B
B
b :: Int
b :: data C
C
c1 :: Int
c2 :: Intdata D
D Int Intnewtype E
E Intdata Foo
Fooclass Bardata Typ
Type (String, [
TFree (String, [String])data A
A a (a -> Int)
The HashTable type
data HashTable
Operations on HashTables
new :: (Eq key,
insert :: (Eq key,
lookup ::
The Hash class
class Hash
hash :: a -> Int
g :: Int
Type declarations
Data types
data T
A Int (Maybe Float)
B (data T2data T3
A1 a
B1 bdata T4
A2 a
B2 bdata T5
A3 a
B3 bdata T6
A4
B4
C4newtype N1
N1 anewtype N2
N2
n :: a bnewtype N3
N3
n3 :: a bdata N4newtype N5
N5
n5 :: a bnewtype N6
N6
n6 :: a bnewtype N7
N7
n7 :: a b
Records
data R
C1
p :: Int
q ::
r :: Int
s :: Int
C2
t :: T1 ->
u :: Int
v :: Intdata R1
C3
classD a => a => C
s1 :: Int
s2 :: Int
s3 :: Int
p ::
q ::
u ::
Class declarations
a :: IO a
b :: [a]class D
d ::
e :: (a, a)class Eclass F
ff :: a
a ::
Function types
f ::
g :: Int -> IO CInt
Auxiliary stuff
A hidden module
hidden :: Int -> Int
A visible module
Existential / Universal types
data Exforall b . C b => b => Ex1forall b . b . Ex2forall b . C a => a => Ex3
Ex4 (
Type signatures with argument docs
k
l
m
o
A section
A subsection
f' :: Intclass C
f :: atype family Gclass Adata B
f :: type family F
stuff
data a a :-:data (a (a :+:data Opnewtype O
O
unO :: g (f a)
biO :: (g `newtype Flip
Flip
unFlip :: a ~> b
visible :: Int -> Int