diff options
author | David Waern <david.waern@gmail.com> | 2008-11-23 17:13:21 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-11-23 17:13:21 +0000 |
commit | 0183315fa02a5fd2046103a4f0d431fb033547a4 (patch) | |
tree | 520bd89176b5d9ac7555137b4ee277aeca4891aa /tests/output/TypeOperators.html | |
parent | 9f5e97684ae513a7465a9a8a6ff962d45066d243 (diff) |
FIX #45: generate two anchors for each name
We generate two anchor tags for each name, one where we don't escape the name
and one where we URI-encode it. This is for compatibility between IE and Opera.
Test output is updated.
Diffstat (limited to 'tests/output/TypeOperators.html')
-rw-r--r-- | tests/output/TypeOperators.html | 32 |
1 files changed, 27 insertions, 5 deletions
diff --git a/tests/output/TypeOperators.html b/tests/output/TypeOperators.html index d9c20493..01b4e3d6 100644 --- a/tests/output/TypeOperators.html +++ b/tests/output/TypeOperators.html @@ -194,8 +194,10 @@ ><TR ><TD CLASS="section1" ><A NAME="1" +><A NAME="1" >stuff </A +></A ></TD ></TR ><TR @@ -206,7 +208,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> a <A NAME="t%3A%3A-%3A" +> a <A NAME="t::-:" +><A NAME="t%3A%3A-%3A" +></A ></A ><B >:-:</B @@ -220,7 +224,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> (a <A NAME="t%3A%3A%2B%3A" +> (a <A NAME="t::+:" +><A NAME="t%3A%3A%2B%3A" +></A ></A ><B >:+:</B @@ -234,7 +240,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AOp" +> <A NAME="t:Op" +><A NAME="t%3AOp" +></A ></A ><B >Op</B @@ -248,7 +256,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AO" +> <A NAME="t:O" +><A NAME="t%3AO" +></A ></A ><B >O</B @@ -266,8 +276,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:O" ><A NAME="v%3AO" ></A +></A ><B >O</B ></TD @@ -279,8 +291,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:unO" ><A NAME="v%3AunO" ></A +></A ><B >unO</B > :: g (f a)</TD @@ -302,8 +316,10 @@ ></TR ><TR ><TD CLASS="decl" +><A NAME="v:biO" ><A NAME="v%3AbiO" ></A +></A ><B >biO</B > :: (g `<A HREF="TypeOperators.html#t%3AO" @@ -318,7 +334,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >newtype</SPAN -> <A NAME="t%3AFlip" +> <A NAME="t:Flip" +><A NAME="t%3AFlip" +></A ></A ><B >Flip</B @@ -336,8 +354,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:Flip" ><A NAME="v%3AFlip" ></A +></A ><B >Flip</B ></TD @@ -349,8 +369,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:unFlip" ><A NAME="v%3AunFlip" ></A +></A ><B >unFlip</B > :: a ~> b</TD |