From 0183315fa02a5fd2046103a4f0d431fb033547a4 Mon Sep 17 00:00:00 2001 From: David Waern Date: Sun, 23 Nov 2008 17:13:21 +0000 Subject: 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. --- tests/output/TypeOperators.html | 32 +++++++++++++++++++++++++++----- 1 file changed, 27 insertions(+), 5 deletions(-) (limited to 'tests/output/TypeOperators.html') 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 @@ >stuff data a a :-:data (a (a :+:data Opnewtype O
O
unO :: g (f a)
biO :: (g `newtype Flip
Flip
unFlip :: a ~> b