diff options
Diffstat (limited to 'tests/output/Test.html')
-rw-r--r-- | tests/output/Test.html | 222 |
1 files changed, 199 insertions, 23 deletions
diff --git a/tests/output/Test.html b/tests/output/Test.html index e4852b47..434ac5e8 100644 --- a/tests/output/Test.html +++ b/tests/output/Test.html @@ -999,8 +999,10 @@ ><TR ><TD CLASS="section1" ><A NAME="1" +><A NAME="1" >Type declarations </A +></A ></TD ></TR ><TR @@ -1010,8 +1012,10 @@ ><TR ><TD CLASS="section2" ><A NAME="2" +><A NAME="2" >Data types </A +></A ></TD ></TR ><TR @@ -1022,7 +1026,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AT" +> <A NAME="t:T" +><A NAME="t%3AT" +></A ></A ><B >T</B @@ -1048,8 +1054,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:A" ><A NAME="v%3AA" ></A +></A ><B >A</B > Int (Maybe Float)</TD @@ -1063,8 +1071,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:B" ><A NAME="v%3AB" ></A +></A ><B >B</B > (<A HREF="Test.html#t%3AT" @@ -1094,7 +1104,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AT2" +> <A NAME="t:T2" +><A NAME="t%3AT2" +></A ></A ><B >T2</B @@ -1119,7 +1131,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AT3" +> <A NAME="t:T3" +><A NAME="t%3AT3" +></A ></A ><B >T3</B @@ -1142,8 +1156,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:A1" ><A NAME="v%3AA1" ></A +></A ><B >A1</B > a</TD @@ -1152,8 +1168,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:B1" ><A NAME="v%3AB1" ></A +></A ><B >B1</B > b</TD @@ -1174,7 +1192,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AT4" +> <A NAME="t:T4" +><A NAME="t%3AT4" +></A ></A ><B >T4</B @@ -1192,8 +1212,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:A2" ><A NAME="v%3AA2" ></A +></A ><B >A2</B > a</TD @@ -1202,8 +1224,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:B2" ><A NAME="v%3AB2" ></A +></A ><B >B2</B > b</TD @@ -1224,7 +1248,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AT5" +> <A NAME="t:T5" +><A NAME="t%3AT5" +></A ></A ><B >T5</B @@ -1242,8 +1268,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:A3" ><A NAME="v%3AA3" ></A +></A ><B >A3</B > a</TD @@ -1257,8 +1285,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:B3" ><A NAME="v%3AB3" ></A +></A ><B >B3</B > b</TD @@ -1284,7 +1314,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AT6" +> <A NAME="t:T6" +><A NAME="t%3AT6" +></A ></A ><B >T6</B @@ -1307,8 +1339,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:A4" ><A NAME="v%3AA4" ></A +></A ><B >A4</B ></TD @@ -1322,8 +1356,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:B4" ><A NAME="v%3AB4" ></A +></A ><B >B4</B ></TD @@ -1337,8 +1373,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:C4" ><A NAME="v%3AC4" ></A +></A ><B >C4</B ></TD @@ -1364,7 +1402,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AN1" +> <A NAME="t:N1" +><A NAME="t%3AN1" +></A ></A ><B >N1</B @@ -1387,8 +1427,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:N1" ><A NAME="v%3AN1" ></A +></A ><B >N1</B > a</TD @@ -1409,7 +1451,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AN2" +> <A NAME="t:N2" +><A NAME="t%3AN2" +></A ></A ><B >N2</B @@ -1432,8 +1476,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:N2" ><A NAME="v%3AN2" ></A +></A ><B >N2</B ></TD @@ -1445,8 +1491,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:n" ><A NAME="v%3An" ></A +></A ><B >n</B > :: a b</TD @@ -1470,7 +1518,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AN3" +> <A NAME="t:N3" +><A NAME="t%3AN3" +></A ></A ><B >N3</B @@ -1493,8 +1543,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:N3" ><A NAME="v%3AN3" ></A +></A ><B >N3</B ></TD @@ -1506,8 +1558,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:n3" ><A NAME="v%3An3" ></A +></A ><B >n3</B > :: a b</TD @@ -1536,7 +1590,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AN4" +> <A NAME="t:N4" +><A NAME="t%3AN4" +></A ></A ><B >N4</B @@ -1562,7 +1618,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AN5" +> <A NAME="t:N5" +><A NAME="t%3AN5" +></A ></A ><B >N5</B @@ -1580,8 +1638,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:N5" ><A NAME="v%3AN5" ></A +></A ><B >N5</B ></TD @@ -1593,8 +1653,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:n5" ><A NAME="v%3An5" ></A +></A ><B >n5</B > :: a b</TD @@ -1619,7 +1681,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AN6" +> <A NAME="t:N6" +><A NAME="t%3AN6" +></A ></A ><B >N6</B @@ -1637,8 +1701,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:N6" ><A NAME="v%3AN6" ></A +></A ><B >N6</B ></TD @@ -1651,8 +1717,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:n6" ><A NAME="v%3An6" ></A +></A ><B >n6</B > :: a b</TD @@ -1676,7 +1744,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AN7" +> <A NAME="t:N7" +><A NAME="t%3AN7" +></A ></A ><B >N7</B @@ -1699,8 +1769,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:N7" ><A NAME="v%3AN7" ></A +></A ><B >N7</B ></TD @@ -1717,8 +1789,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:n7" ><A NAME="v%3An7" ></A +></A ><B >n7</B > :: a b</TD @@ -1741,8 +1815,10 @@ ><TR ><TD CLASS="section2" ><A NAME="3" +><A NAME="3" >Records </A +></A ></TD ></TR ><TR @@ -1753,7 +1829,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AR" +> <A NAME="t:R" +><A NAME="t%3AR" +></A ></A ><B >R</B @@ -1797,8 +1875,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:C1" ><A NAME="v%3AC1" ></A +></A ><B >C1</B ></TD @@ -1815,8 +1895,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:p" ><A NAME="v%3Ap" ></A +></A ><B >p</B > :: Int</TD @@ -1830,8 +1912,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:q" ><A NAME="v%3Aq" ></A +></A ><B >q</B > :: <SPAN CLASS="keyword" @@ -1847,8 +1931,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:r" ><A NAME="v%3Ar" ></A +></A ><B >r</B > :: Int</TD @@ -1866,8 +1952,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:s" ><A NAME="v%3As" ></A +></A ><B >s</B > :: Int</TD @@ -1888,8 +1976,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:C2" ><A NAME="v%3AC2" ></A +></A ><B >C2</B ></TD @@ -1906,8 +1996,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:t" ><A NAME="v%3At" ></A +></A ><B >t</B > :: T1 -> <A HREF="Test.html#t%3AT2" @@ -1924,8 +2016,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:u" ><A NAME="v%3Au" ></A +></A ><B >u</B > :: Int</TD @@ -1934,8 +2028,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:v" ><A NAME="v%3Av" ></A +></A ><B >v</B > :: Int</TD @@ -1959,7 +2055,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AR1" +> <A NAME="t:R1" +><A NAME="t%3AR1" +></A ></A ><B >R1</B @@ -1982,8 +2080,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:C3" ><A NAME="v%3AC3" ></A +></A ><B >C3</B ></TD @@ -2000,8 +2100,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:s1" ><A NAME="v%3As1" ></A +></A ><B >s1</B > :: Int</TD @@ -2015,8 +2117,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:s2" ><A NAME="v%3As2" ></A +></A ><B >s2</B > :: Int</TD @@ -2030,8 +2134,10 @@ ></TR ><TR ><TD CLASS="arg" +><A NAME="v:s3" ><A NAME="v%3As3" ></A +></A ><B >s3</B > :: Int</TD @@ -2067,8 +2173,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:p" ><A NAME="v%3Ap" ></A +></A ><B >p</B > :: <A HREF="Test.html#t%3AR" @@ -2090,8 +2198,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:q" ><A NAME="v%3Aq" ></A +></A ><B >q</B > :: <A HREF="Test.html#t%3AR" @@ -2115,8 +2225,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:u" ><A NAME="v%3Au" ></A +></A ><B >u</B > :: <A HREF="Test.html#t%3AR" @@ -2130,8 +2242,10 @@ ><TR ><TD CLASS="section1" ><A NAME="4" +><A NAME="4" >Class declarations </A +></A ></TD ></TR ><TR @@ -2144,7 +2258,9 @@ >class</SPAN > <A HREF="Test.html#t%3AD" >D</A -> a => <A NAME="t%3AC" +> a => <A NAME="t:C" +><A NAME="t%3AC" +></A ></A ><B >C</B @@ -2179,8 +2295,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" +><A NAME="v:a" ><A NAME="v%3Aa" ></A +></A ><B >a</B > :: IO a</TD @@ -2200,8 +2318,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:b" ><A NAME="v%3Ab" ></A +></A ><B >b</B > :: [a]</TD @@ -2229,7 +2349,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN -> <A NAME="t%3AD" +> <A NAME="t:D" +><A NAME="t%3AD" +></A ></A ><B >D</B @@ -2258,8 +2380,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" +><A NAME="v:d" ><A NAME="v%3Ad" ></A +></A ><B >d</B > :: <A HREF="Test.html#t%3AT" @@ -2272,8 +2396,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:e" ><A NAME="v%3Ae" ></A +></A ><B >e</B > :: (a, a)</TD @@ -2321,7 +2447,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN -> <A NAME="t%3AE" +> <A NAME="t:E" +><A NAME="t%3AE" +></A ></A ><B >E</B @@ -2346,7 +2474,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN -> <A NAME="t%3AF" +> <A NAME="t:F" +><A NAME="t%3AF" +></A ></A ><B >F</B @@ -2370,8 +2500,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" +><A NAME="v:ff" ><A NAME="v%3Aff" ></A +></A ><B >ff</B > :: a</TD @@ -2397,8 +2529,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:a" ><A NAME="v%3Aa" ></A +></A ><B >a</B > :: <A HREF="Test.html#t%3AC" @@ -2421,8 +2555,10 @@ ><TR ><TD CLASS="section1" ><A NAME="5" +><A NAME="5" >Function types </A +></A ></TD ></TR ><TR @@ -2431,8 +2567,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:f" ><A NAME="v%3Af" ></A +></A ><B >f</B > :: <A HREF="Test.html#t%3AC" @@ -2497,8 +2635,10 @@ using double quotes: <A HREF="Foo.html" ></TR ><TR ><TD CLASS="decl" +><A NAME="v:g" ><A NAME="v%3Ag" ></A +></A ><B >g</B > :: Int -> IO CInt</TD @@ -2515,8 +2655,10 @@ using double quotes: <A HREF="Foo.html" ><TR ><TD CLASS="section1" ><A NAME="6" +><A NAME="6" >Auxiliary stuff </A +></A ></TD ></TR ><TR @@ -2711,8 +2853,10 @@ test2 ><TR ><TD CLASS="section1" ><A NAME="7" +><A NAME="7" >A hidden module </A +></A ></TD ></TR ><TR @@ -2721,8 +2865,10 @@ test2 ></TR ><TR ><TD CLASS="decl" +><A NAME="v:hidden" ><A NAME="v%3Ahidden" ></A +></A ><B >hidden</B > :: Int -> Int</TD @@ -2734,8 +2880,10 @@ test2 ><TR ><TD CLASS="section1" ><A NAME="8" +><A NAME="8" >A visible module </A +></A ></TD ></TR ><TR @@ -2764,8 +2912,10 @@ test2 ><TR ><TD CLASS="section1" ><A NAME="9" +><A NAME="9" >Existential / Universal types </A +></A ></TD ></TR ><TR @@ -2776,7 +2926,9 @@ test2 ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AEx" +> <A NAME="t:Ex" +><A NAME="t%3AEx" +></A ></A ><B >Ex</B @@ -2803,7 +2955,9 @@ test2 >forall</SPAN > b . <A HREF="Test.html#t%3AC" >C</A -> b => <A NAME="v%3AEx1" +> b => <A NAME="v:Ex1" +><A NAME="v%3AEx1" +></A ></A ><B >Ex1</B @@ -2815,7 +2969,9 @@ test2 ><TD CLASS="arg" ><SPAN CLASS="keyword" >forall</SPAN -> b . <A NAME="v%3AEx2" +> b . <A NAME="v:Ex2" +><A NAME="v%3AEx2" +></A ></A ><B >Ex2</B @@ -2829,7 +2985,9 @@ test2 >forall</SPAN > b . <A HREF="Test.html#t%3AC" >C</A -> a => <A NAME="v%3AEx3" +> a => <A NAME="v:Ex3" +><A NAME="v%3AEx3" +></A ></A ><B >Ex3</B @@ -2839,8 +2997,10 @@ test2 ></TR ><TR ><TD CLASS="arg" +><A NAME="v:Ex4" ><A NAME="v%3AEx4" ></A +></A ><B >Ex4</B > (<SPAN CLASS="keyword" @@ -2862,8 +3022,10 @@ test2 ><TR ><TD CLASS="section1" ><A NAME="10" +><A NAME="10" >Type signatures with argument docs </A +></A ></TD ></TR ><TR @@ -2872,8 +3034,10 @@ test2 ></TR ><TR ><TD CLASS="decl" +><A NAME="v:k" ><A NAME="v%3Ak" ></A +></A ><B >k</B ></TD @@ -2948,8 +3112,10 @@ test2 ></TR ><TR ><TD CLASS="decl" +><A NAME="v:l" ><A NAME="v%3Al" ></A +></A ><B >l</B ></TD @@ -2982,8 +3148,10 @@ test2 ></TR ><TR ><TD CLASS="decl" +><A NAME="v:m" ><A NAME="v%3Am" ></A +></A ><B >m</B ></TD @@ -3029,8 +3197,10 @@ test2 ></TR ><TR ><TD CLASS="decl" +><A NAME="v:o" ><A NAME="v%3Ao" ></A +></A ><B >o</B ></TD @@ -3067,8 +3237,10 @@ test2 ><TR ><TD CLASS="section1" ><A NAME="11" +><A NAME="11" >A section </A +></A ></TD ></TR ><TR @@ -3078,8 +3250,10 @@ test2 ><TR ><TD CLASS="section2" ><A NAME="12" +><A NAME="12" >A subsection </A +></A ></TD ></TR ><TR @@ -3104,8 +3278,10 @@ test2 ></TR ><TR ><TD CLASS="decl" +><A NAME="v:f'" ><A NAME="v%3Af%27" ></A +></A ><B >f'</B > :: Int</TD |