diff options
Diffstat (limited to 'html-test/ref/Test.html')
| -rw-r--r-- | html-test/ref/Test.html | 286 |
1 files changed, 185 insertions, 101 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 6fb34801..4cb434ad 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -640,9 +640,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:T" class="def" + > <a id="t:T" class="def" >T</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >This comment applies to the <em @@ -656,7 +658,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:A" class="def" + ><a id="v:A" class="def" >A</a > <a href="#" >Int</a @@ -676,7 +678,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:B" class="def" + ><a id="v:B" class="def" >B</a > (<a href="#" >T</a @@ -703,9 +705,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:T2" class="def" + > <a id="t:T2" class="def" >T2</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >An abstract data declaration</p @@ -715,9 +719,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:T3" class="def" + > <a id="t:T3" class="def" >T3</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A data declaration with no documentation annotations on the constructors</p @@ -728,7 +734,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:A1" class="def" + ><a id="v:A1" class="def" >A1</a > a</td ><td class="doc empty" @@ -736,7 +742,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:B1" class="def" + ><a id="v:B1" class="def" >B1</a > b</td ><td class="doc empty" @@ -749,16 +755,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:T4" class="def" + > <a id="t:T4" class="def" >T4</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:A2" class="def" + ><a id="v:A2" class="def" >A2</a > a</td ><td class="doc empty" @@ -766,7 +774,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:B2" class="def" + ><a id="v:B2" class="def" >B2</a > b</td ><td class="doc empty" @@ -779,16 +787,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:T5" class="def" + > <a id="t:T5" class="def" >T5</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:A3" class="def" + ><a id="v:A3" class="def" >A3</a > a</td ><td class="doc" @@ -802,7 +812,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:B3" class="def" + ><a id="v:B3" class="def" >B3</a > b</td ><td class="doc" @@ -821,8 +831,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:T6" class="def" + > <a id="t:T6" class="def" >T6</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -834,7 +846,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:A4" class="def" + ><a id="v:A4" class="def" >A4</a ></td ><td class="doc" @@ -848,7 +860,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:B4" class="def" + ><a id="v:B4" class="def" >B4</a ></td ><td class="doc" @@ -862,7 +874,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:C4" class="def" + ><a id="v:C4" class="def" >C4</a ></td ><td class="doc" @@ -881,9 +893,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >newtype</span - > <a href="#" id="t:N1" class="def" + > <a id="t:N1" class="def" >N1</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A newtype</p @@ -894,7 +908,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:N1" class="def" + ><a id="v:N1" class="def" >N1</a > a</td ><td class="doc empty" @@ -907,9 +921,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >newtype</span - > <a href="#" id="t:N2" class="def" + > <a id="t:N2" class="def" >N2</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A newtype with a fieldname</p @@ -920,7 +936,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:N2" class="def" + ><a id="v:N2" class="def" >N2</a ></td ><td class="doc empty" @@ -934,7 +950,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:n" class="def" + ><a id="v:n" class="def" >n</a > :: a b</dfn ><div class="doc empty" @@ -951,9 +967,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >newtype</span - > <a href="#" id="t:N3" class="def" + > <a id="t:N3" class="def" >N3</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A newtype with a fieldname, documentation on the field</p @@ -964,7 +982,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:N3" class="def" + ><a id="v:N3" class="def" >N3</a ></td ><td class="doc empty" @@ -978,7 +996,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:n3" class="def" + ><a id="v:n3" class="def" >n3</a > :: a b</dfn ><div class="doc" @@ -1001,9 +1019,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:N4" class="def" + > <a id="t:N4" class="def" >N4</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >An abstract newtype - we show this one as data rather than newtype because @@ -1014,16 +1034,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >newtype</span - > <a href="#" id="t:N5" class="def" + > <a id="t:N5" class="def" >N5</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:N5" class="def" + ><a id="v:N5" class="def" >N5</a ></td ><td class="doc empty" @@ -1037,7 +1059,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:n5" class="def" + ><a id="v:n5" class="def" >n5</a > :: a b</dfn ><div class="doc" @@ -1056,16 +1078,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >newtype</span - > <a href="#" id="t:N6" class="def" + > <a id="t:N6" class="def" >N6</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:N6" class="def" + ><a id="v:N6" class="def" >N6</a ></td ><td class="doc" @@ -1081,7 +1105,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:n6" class="def" + ><a id="v:n6" class="def" >n6</a > :: a b</dfn ><div class="doc empty" @@ -1098,9 +1122,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >newtype</span - > <a href="#" id="t:N7" class="def" + > <a id="t:N7" class="def" >N7</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >docs on the newtype and the constructor</p @@ -1111,7 +1137,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:N7" class="def" + ><a id="v:N7" class="def" >N7</a ></td ><td class="doc" @@ -1131,7 +1157,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:n7" class="def" + ><a id="v:n7" class="def" >n7</a > :: a b</dfn ><div class="doc empty" @@ -1150,8 +1176,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:R" class="def" + > <a id="t:R" class="def" >R</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -1184,7 +1212,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:C1" class="def" + ><a id="v:C1" class="def" >C1</a ></td ><td class="doc" @@ -1204,7 +1232,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:p" class="def" + ><a id="v:p" class="def" >p</a > :: <a href="#" >Int</a @@ -1220,7 +1248,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></li ><li ><dfn class="src" - ><a href="#" id="v:q" class="def" + ><a id="v:q" class="def" >q</a > :: <span class="keyword" >forall</span @@ -1236,9 +1264,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></li ><li ><dfn class="src" - ><a href="#" id="v:r" class="def" + ><a id="v:r" class="def" >r</a - >, <a href="#" id="v:s" class="def" + >, <a id="v:s" class="def" >s</a > :: <a href="#" >Int</a @@ -1262,7 +1290,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:C2" class="def" + ><a id="v:C2" class="def" >C2</a ></td ><td class="doc" @@ -1282,7 +1310,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:t" class="def" + ><a id="v:t" class="def" >t</a > :: T1 -> <a href="#" >T2</a @@ -1310,9 +1338,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></li ><li ><dfn class="src" - ><a href="#" id="v:u" class="def" + ><a id="v:u" class="def" >u</a - >, <a href="#" id="v:v" class="def" + >, <a id="v:v" class="def" >v</a > :: <a href="#" >Int</a @@ -1331,8 +1359,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:R1" class="def" + > <a id="t:R1" class="def" >R1</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -1344,7 +1374,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:C3" class="def" + ><a id="v:C3" class="def" >C3</a ></td ><td class="doc" @@ -1364,7 +1394,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><ul ><li ><dfn class="src" - ><a href="#" id="v:s1" class="def" + ><a id="v:s1" class="def" >s1</a > :: <a href="#" >Int</a @@ -1380,7 +1410,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></li ><li ><dfn class="src" - ><a href="#" id="v:s2" class="def" + ><a id="v:s2" class="def" >s2</a > :: <a href="#" >Int</a @@ -1396,7 +1426,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></li ><li ><dfn class="src" - ><a href="#" id="v:s3" class="def" + ><a id="v:s3" class="def" >s3</a > :: <a href="#" >Int</a @@ -1429,10 +1459,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); >class</span > <a href="#" >D</a - > a => <a href="#" id="t:C" class="def" + > a => <a id="t:C" class="def" >C</a > a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -1458,11 +1490,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="caption" >Methods</p ><p class="src" - ><a href="#" id="v:a" class="def" + ><a id="v:a" class="def" >a</a > :: <a href="#" >IO</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >this is a description of the <code @@ -1472,9 +1506,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); > method</p ></div ><p class="src" - ><a href="#" id="v:b" class="def" + ><a id="v:b" class="def" >b</a - > :: [a]</p + > :: [a] <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >this is a description of the <code @@ -1489,10 +1525,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >class</span - > <a href="#" id="t:D" class="def" + > <a id="t:D" class="def" >D</a > a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -1512,15 +1550,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="caption" >Methods</p ><p class="src" - ><a href="#" id="v:d" class="def" + ><a id="v:d" class="def" >d</a > :: <a href="#" >T</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="#" id="v:e" class="def" + ><a id="v:e" class="def" >e</a - > :: (a, a)</p + > :: (a, a) <a href="#" class="selflink" + >#</a + ></p ></div ><div class="subs instances" ><p id="control.i:D" class="caption collapser" onclick="toggleSection('i:D')" @@ -1537,6 +1579,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); > <a href="#" >Float</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1554,7 +1598,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); >T</a > <a href="#" >Float</a - > b</p + > b <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >e</a @@ -1562,7 +1608,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); >Float</a >, <a href="#" >Float</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1577,6 +1625,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); > <a href="#" >Int</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1594,7 +1644,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); >T</a > <a href="#" >Int</a - > b</p + > b <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >e</a @@ -1602,7 +1654,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); >Int</a >, <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1615,9 +1669,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >class</span - > <a href="#" id="t:E" class="def" + > <a id="t:E" class="def" >E</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >This is a class declaration with no methods (or no methods exported)</p @@ -1633,10 +1689,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="src" ><span class="keyword" >class</span - > <a href="#" id="t:F" class="def" + > <a id="t:F" class="def" >F</a > a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs minimal" ><p class="caption" @@ -1650,9 +1708,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ><p class="caption" >Methods</p ><p class="src" - ><a href="#" id="v:ff" class="def" + ><a id="v:ff" class="def" >ff</a - > :: a</p + > :: a <a href="#" class="selflink" + >#</a + ></p ></div ></div ><div class="doc" @@ -1661,13 +1721,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); ></div ><div class="top" ><p class="src" - ><a href="#" id="v:a" class="def" + ><a id="v:a" class="def" >a</a > :: <a href="#" >C</a > a => <a href="#" >IO</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >this is a description of the <code @@ -1681,12 +1743,14 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html"); >Function types</h1 ><div class="top" ><p class="src" - ><a href="#" id="v:f" class="def" + ><a id="v:f" class="def" >f</a > :: <a href="#" >C</a > a => a -> <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -1743,13 +1807,15 @@ using double quotes: <a href="#" ></div ><div class="top" ><p class="src" - ><a href="#" id="v:g" class="def" + ><a id="v:g" class="def" >g</a > :: <a href="#" >Int</a > -> <a href="#" >IO</a - > CInt</p + > CInt <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >we can export foreign declarations too</p @@ -1840,12 +1906,14 @@ is at the beginning of the line).</pre >A hidden module</h1 ><div class="top" ><p class="src" - ><a href="#" id="v:hidden" class="def" + ><a id="v:hidden" class="def" >hidden</a > :: <a href="#" >Int</a > -> <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ></div ><h1 id="g:8" @@ -1866,9 +1934,11 @@ is at the beginning of the line).</pre ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:Ex" class="def" + > <a id="t:Ex" class="def" >Ex</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A data-type using existential/universal types</p @@ -1881,7 +1951,7 @@ is at the beginning of the line).</pre ><td class="src" ><a href="#" >C</a - > b => <a href="#" id="v:Ex1" class="def" + > b => <a id="v:Ex1" class="def" >Ex1</a > b</td ><td class="doc empty" @@ -1889,7 +1959,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - ><a href="#" id="v:Ex2" class="def" + ><a id="v:Ex2" class="def" >Ex2</a > b</td ><td class="doc empty" @@ -1899,7 +1969,7 @@ is at the beginning of the line).</pre ><td class="src" ><a href="#" >C</a - > a => <a href="#" id="v:Ex3" class="def" + > a => <a id="v:Ex3" class="def" >Ex3</a > b</td ><td class="doc empty" @@ -1907,7 +1977,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - ><a href="#" id="v:Ex4" class="def" + ><a id="v:Ex4" class="def" >Ex4</a > (<span class="keyword" >forall</span @@ -1922,8 +1992,10 @@ is at the beginning of the line).</pre >Type signatures with argument docs</h1 ><div class="top" ><p class="src" - ><a href="#" id="v:k" class="def" + ><a id="v:k" class="def" >k</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -2010,8 +2082,10 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="#" id="v:l" class="def" + ><a id="v:l" class="def" >l</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -2050,8 +2124,10 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="#" id="v:m" class="def" + ><a id="v:m" class="def" >m</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -2096,8 +2172,10 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="#" id="v:o" class="def" + ><a id="v:o" class="def" >o</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -2146,10 +2224,12 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="#" id="v:f-39-" class="def" + ><a id="v:f-39-" class="def" >f'</a > :: <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -2163,10 +2243,12 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="#" id="v:withType" class="def" + ><a id="v:withType" class="def" >withType</a > :: <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -2175,9 +2257,11 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="#" id="v:withoutType" class="def" + ><a id="v:withoutType" class="def" >withoutType</a - > :: a</p + > :: a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >Comment on a definition without type signature</p |