diff options
Diffstat (limited to 'tests')
34 files changed, 3449 insertions, 0 deletions
diff --git a/tests/html-tests/tests/doc-index.html.ref b/tests/html-tests/tests/doc-index.html.ref new file mode 100644 index 00000000..e4b04b85 --- /dev/null +++ b/tests/html-tests/tests/doc-index.html.ref @@ -0,0 +1,1623 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + > (Index)</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="" + >Contents</a + ></li + ><li + ><a href="" + >Index</a + ></li + ></ul + ><p class="caption" class="empty" + > </p + ></div + ><div id="content" + ><div id="index" + ><p class="caption" + >Index</p + ><table + ><tr + ><td class="src" + >---></td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >--></td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >:+:</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >:-</td + ><td class="module" + ><a href="" + >Ticket75</a + ></td + ></tr + ><tr + ><td class="src" + >:-:</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >>></td + ><td class="module" + ><a href="" + >CrossPackageDocs</a + ></td + ></tr + ><tr + ><td class="src" + >>>=</td + ><td class="module" + ><a href="" + >CrossPackageDocs</a + ></td + ></tr + ><tr + ><td class="src" + >A</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Type/Class)</td + ><td class="module" + ><a href="" + >A</a + >, B</td + ></tr + ><tr + ><td class="alt" + >3 (Data Constructor)</td + ><td class="module" + ><a href="" + >A</a + >, B</td + ></tr + ><tr + ><td class="alt" + >4 (Type/Class)</td + ><td class="module" + ><a href="" + >Bugs</a + ></td + ></tr + ><tr + ><td class="alt" + >5 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bugs</a + ></td + ></tr + ><tr + ><td class="alt" + >6 (Type/Class)</td + ><td class="module" + ><a href="" + >TypeFamilies</a + ></td + ></tr + ><tr + ><td class="alt" + >7 (Type/Class)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="alt" + >8 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >a</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >A1</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >A2</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >A3</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >A4</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >AddOp</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >AntiExpr</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >AntiIntExpr</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >B</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Type/Class)</td + ><td class="module" + ><a href="" + >TypeFamilies</a + ></td + ></tr + ><tr + ><td class="alt" + >3 (Type/Class)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="alt" + >4 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >b</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Function)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Function)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >B1</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >B2</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >B3</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >B4</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >Bar</td + ><td class="module" + ><a href="" + >Bug7</a + ></td + ></tr + ><tr + ><td class="src" + >BinOp</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >BinopExpr</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >biO</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >C</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Type/Class)</td + ><td class="module" + ><a href="" + >Ticket61</a + ></td + ></tr + ><tr + ><td class="alt" + >3 (Type/Class)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="alt" + >4 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >C1</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >GADTRecords</a + ></td + ></tr + ><tr + ><td class="src" + >c1</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >C2</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >GADTRecords</a + ></td + ></tr + ><tr + ><td class="src" + >c2</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >C3</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >GADTRecords</a + ></td + ></tr + ><tr + ><td class="src" + >C4</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >GADTRecords</a + ></td + ></tr + ><tr + ><td class="src" + >Con</td + ><td class="module" + >TypeFamilies</td + ></tr + ><tr + ><td class="src" + >D</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Type/Class)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="alt" + >3 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >d</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >d1</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >decl</td + ><td class="module" + ><a href="" + >TH</a + ></td + ></tr + ><tr + ><td class="src" + >DivOp</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >E</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Type/Class)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="alt" + >3 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bug6</a + ></td + ></tr + ><tr + ><td class="src" + >e</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >eval</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >Ex</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >Ex1</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >Ex2</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >Ex3</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >Ex4</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >Expr</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >expr</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >F</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Type/Class)</td + ><td class="module" + ><a href="" + >TypeFamilies</a + ></td + ></tr + ><tr + ><td class="src" + >f</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Function)</td + ><td class="module" + ><a href="" + >TH2</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Function)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >3 (Function)</td + ><td class="module" + ><a href="" + >Ticket75</a + ></td + ></tr + ><tr + ><td class="alt" + >4 (Function)</td + ><td class="module" + ><a href="" + >NonGreedy</a + ></td + ></tr + ><tr + ><td class="alt" + >5 (Function)</td + ><td class="module" + ><a href="" + >Ticket61</a + ></td + ></tr + ><tr + ><td class="alt" + >6 (Function)</td + ><td class="module" + ><a href="" + >Ticket112</a + ></td + ></tr + ><tr + ><td class="alt" + >7 (Function)</td + ><td class="module" + ><a href="" + >FunArgs</a + ></td + ></tr + ><tr + ><td class="alt" + >8 (Function)</td + ><td class="module" + ><a href="" + >TypeFamilies</a + ></td + ></tr + ><tr + ><td class="src" + >f'</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >fail</td + ><td class="module" + ><a href="" + >CrossPackageDocs</a + ></td + ></tr + ><tr + ><td class="src" + >ff</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >fib</td + ><td class="module" + ><a href="" + >Examples</a + ></td + ></tr + ><tr + ><td class="src" + >field</td + ><td class="module" + ><a href="" + >GADTRecords</a + ></td + ></tr + ><tr + ><td class="src" + >field2</td + ><td class="module" + ><a href="" + >GADTRecords</a + ></td + ></tr + ><tr + ><td class="src" + >Flip</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >Foo</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Bug7</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bug7</a + ></td + ></tr + ><tr + ><td class="src" + >foo</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Function)</td + ><td class="module" + ><a href="" + >Bug3</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Function)</td + ><td class="module" + ><a href="" + >Bug4</a + ></td + ></tr + ><tr + ><td class="src" + >G</td + ><td class="module" + ><a href="" + >TypeFamilies</a + ></td + ></tr + ><tr + ><td class="src" + >g</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Function)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Function)</td + ><td class="module" + ><a href="" + >FunArgs</a + ></td + ></tr + ><tr + ><td class="alt" + >3 (Function)</td + ><td class="module" + ><a href="" + >NoLayout</a + ></td + ></tr + ><tr + ><td class="alt" + >4 (Function)</td + ><td class="module" + ><a href="" + >TypeFamilies</a + ></td + ></tr + ><tr + ><td class="src" + >H1</td + ><td class="module" + ><a href="" + >GADTRecords</a + ></td + ></tr + ><tr + ><td class="src" + >Hash</td + ><td class="module" + ><a href="" + >Hash</a + ></td + ></tr + ><tr + ><td class="src" + >hash</td + ><td class="module" + ><a href="" + >Hash</a + ></td + ></tr + ><tr + ><td class="src" + >HashTable</td + ><td class="module" + ><a href="" + >Hash</a + ></td + ></tr + ><tr + ><td class="src" + >hidden</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >insert</td + ><td class="module" + ><a href="" + >Hash</a + ></td + ></tr + ><tr + ><td class="src" + >IntExpr</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >k</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >l</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >lookup</td + ><td class="module" + ><a href="" + >Hash</a + ></td + ></tr + ><tr + ><td class="src" + >m</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >main</td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >map</td + ><td class="module" + ><a href="" + >CrossPackageDocs</a + ></td + ></tr + ><tr + ><td class="src" + >Monad</td + ><td class="module" + ><a href="" + >CrossPackageDocs</a + ></td + ></tr + ><tr + ><td class="src" + >MulOp</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >n</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >N1</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >N2</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >N3</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >n3</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >N4</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >N5</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >n5</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >N6</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >n6</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >N7</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >n7</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >new</td + ><td class="module" + ><a href="" + >Hash</a + ></td + ></tr + ><tr + ><td class="src" + >O</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Data Constructor)</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >o</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >Op</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >other</td + ><td class="module" + ><a href="" + >A</a + ></td + ></tr + ><tr + ><td class="src" + >p</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >parseExprExp</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >Q</td + ><td class="module" + ><a href="" + >Ticket75</a + ></td + ></tr + ><tr + ><td class="src" + >q</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >R</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >r</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >R1</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >return</td + ><td class="module" + ><a href="" + >CrossPackageDocs</a + ></td + ></tr + ><tr + ><td class="src" + >runInteractiveProcess</td + ><td class="module" + ><a href="" + >CrossPackageDocs</a + ></td + ></tr + ><tr + ><td class="src" + >s</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Function)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Function)</td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >s1</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >s2</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >s3</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >SubOp</td + ><td class="module" + ><a href="" + >QuasiExpr</a + ></td + ></tr + ><tr + ><td class="src" + >T</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Type/Class)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Type/Class)</td + ><td class="module" + ><a href="" + >Bug1</a + ></td + ></tr + ><tr + ><td class="alt" + >3 (Data Constructor)</td + ><td class="module" + ><a href="" + >Bug1</a + ></td + ></tr + ><tr + ><td class="src" + >t</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Function)</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Function)</td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >T2</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >T3</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >T4</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >T5</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >T6</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >test</td + ><td class="module" + ><a href="" + >B</a + ></td + ></tr + ><tr + ><td class="src" + >test2</td + ><td class="module" + ><a href="" + >A</a + >, B</td + ></tr + ><tr + ><td class="src" + >TFree</td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >Typ</td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >Type</td + ><td class="module" + ><a href="" + >Bug8</a + ></td + ></tr + ><tr + ><td class="src" + >u</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >unFlip</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >unO</td + ><td class="module" + ><a href="" + >TypeOperators</a + ></td + ></tr + ><tr + ><td class="src" + >v</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >val</td + ><td class="module" + ><a href="" + >QuasiQuote</a + ></td + ></tr + ><tr + ><td class="src" + >visible</td + ><td class="module" + ><a href="" + >Visible</a + >, Test</td + ></tr + ><tr + ><td class="src" + >withoutType</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >withType</td + ><td class="module" + ><a href="" + >Test</a + ></td + ></tr + ><tr + ><td class="src" + >x</td + ><td + > </td + ></tr + ><tr + ><td class="alt" + >1 (Function)</td + ><td class="module" + ><a href="" + >Bug2</a + ></td + ></tr + ><tr + ><td class="alt" + >2 (Function)</td + ><td class="module" + ><a href="" + >Unicode</a + ></td + ></tr + ></table + ></div + ></div + ><div id="footer" + ><p + >Produced by <a href="" + >Haddock</a + > version 2.10.0</p + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/frames.html.ref b/tests/html-tests/tests/frames.html.ref new file mode 100644 index 00000000..30ce1fa5 --- /dev/null +++ b/tests/html-tests/tests/frames.html.ref @@ -0,0 +1,28 @@ +<!DOCTYPE html + PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml"> +<head> +<script src="haddock-util.js" type="text/javascript"></script> +<script type="text/javascript"><!-- +/* + + The synopsis frame needs to be updated using javascript, so we hide + it by default and only show it if javascript is enabled. + + TODO: provide some means to disable it. +*/ +function load() { + var d = document.getElementById("inner-fs"); + d.rows = "50%,50%"; + postReframe(); +} +--></script> +<frameset id="outer-fs" cols="25%,75%" onload="load()"> + <frameset id="inner-fs" rows="100%,0%"> + <frame src="index-frames.html" name="modules"> + <frame src="" name="synopsis"> + </frameset> + <frame src="index.html" name="main"> +</frameset> +</html> diff --git a/tests/html-tests/tests/index-frames.html.ref b/tests/html-tests/tests/index-frames.html.ref new file mode 100644 index 00000000..296db786 --- /dev/null +++ b/tests/html-tests/tests/index-frames.html.ref @@ -0,0 +1,145 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + ></title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-list" + ><p class="caption" + >Modules</p + ><ul + ><li class="module" + ><a href="" target="main" + >A</a + ></li + ><li class="module" + ><a href="" target="main" + >B</a + ></li + ><li class="module" + ><a href="" target="main" + >Bug1</a + ></li + ><li class="module" + ><a href="" target="main" + >Bug2</a + ></li + ><li class="module" + ><a href="" target="main" + >Bug3</a + ></li + ><li class="module" + ><a href="" target="main" + >Bug4</a + ></li + ><li class="module" + ><a href="" target="main" + >Bug6</a + ></li + ><li class="module" + ><a href="" target="main" + >Bug7</a + ></li + ><li class="module" + ><a href="" target="main" + >Bug8</a + ></li + ><li class="module" + ><a href="" target="main" + >Bugs</a + ></li + ><li class="module" + ><a href="" target="main" + >CrossPackageDocs</a + ></li + ><li class="module" + ><a href="" target="main" + >Examples</a + ></li + ><li class="module" + ><a href="" target="main" + >FunArgs</a + ></li + ><li class="module" + ><a href="" target="main" + >GADTRecords</a + ></li + ><li class="module" + ><a href="" target="main" + >Hash</a + ></li + ><li class="module" + ><a href="" target="main" + >NamedDoc</a + ></li + ><li class="module" + ><a href="" target="main" + >NoLayout</a + ></li + ><li class="module" + ><a href="" target="main" + >NonGreedy</a + ></li + ><li class="module" + ><a href="" target="main" + >QuasiExpr</a + ></li + ><li class="module" + ><a href="" target="main" + >QuasiQuote</a + ></li + ><li class="module" + ><a href="" target="main" + >TH</a + ></li + ><li class="module" + ><a href="" target="main" + >TH2</a + ></li + ><li class="module" + ><a href="" target="main" + >Test</a + ></li + ><li class="module" + ><a href="" target="main" + >Ticket112</a + ></li + ><li class="module" + ><a href="" target="main" + >Ticket61</a + ></li + ><li class="module" + ><a href="" target="main" + >Ticket75</a + ></li + ><li class="module" + ><a href="" target="main" + >TypeFamilies</a + ></li + ><li class="module" + ><a href="" target="main" + >TypeOperators</a + ></li + ><li class="module" + ><a href="" target="main" + >Unicode</a + ></li + ><li class="module" + ><a href="" target="main" + >Visible</a + ></li + ></ul + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/index.html.ref b/tests/html-tests/tests/index.html.ref new file mode 100644 index 00000000..b7983ee4 --- /dev/null +++ b/tests/html-tests/tests/index.html.ref @@ -0,0 +1,227 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + ></title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="" + >Contents</a + ></li + ><li + ><a href="" + >Index</a + ></li + ></ul + ><p class="caption" class="empty" + > </p + ></div + ><div id="content" + ><div id="module-list" + ><p class="caption" + >Modules</p + ><ul + ><li + ><span class="module" + ><a href="" + >A</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >B</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bug1</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bug2</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bug3</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bug4</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bug6</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bug7</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bug8</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Bugs</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >CrossPackageDocs</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Examples</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >FunArgs</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >GADTRecords</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Hash</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >NamedDoc</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >NoLayout</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >NonGreedy</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >QuasiExpr</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >QuasiQuote</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >TH</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >TH2</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Test</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Ticket112</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Ticket61</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Ticket75</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >TypeFamilies</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >TypeOperators</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Unicode</a + ></span + ></li + ><li + ><span class="module" + ><a href="" + >Visible</a + ></span + ></li + ></ul + ></div + ></div + ><div id="footer" + ><p + >Produced by <a href="" + >Haddock</a + > version 2.10.0</p + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_A.html.ref b/tests/html-tests/tests/mini_A.html.ref new file mode 100644 index 00000000..3de17437 --- /dev/null +++ b/tests/html-tests/tests/mini_A.html.ref @@ -0,0 +1,45 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >A</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >A</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >A</a + > </p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >other</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >test2</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_B.html.ref b/tests/html-tests/tests/mini_B.html.ref new file mode 100644 index 00000000..c4d21778 --- /dev/null +++ b/tests/html-tests/tests/mini_B.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >B</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >B</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >test</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bug1.html.ref b/tests/html-tests/tests/mini_Bug1.html.ref new file mode 100644 index 00000000..adf81c73 --- /dev/null +++ b/tests/html-tests/tests/mini_Bug1.html.ref @@ -0,0 +1,33 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug1</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bug1</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >T</a + > </p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bug2.html.ref b/tests/html-tests/tests/mini_Bug2.html.ref new file mode 100644 index 00000000..b673e459 --- /dev/null +++ b/tests/html-tests/tests/mini_Bug2.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug2</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bug2</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >x</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bug3.html.ref b/tests/html-tests/tests/mini_Bug3.html.ref new file mode 100644 index 00000000..af4cc445 --- /dev/null +++ b/tests/html-tests/tests/mini_Bug3.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug3</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bug3</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >foo</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bug4.html.ref b/tests/html-tests/tests/mini_Bug4.html.ref new file mode 100644 index 00000000..b403e94a --- /dev/null +++ b/tests/html-tests/tests/mini_Bug4.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug4</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bug4</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >foo</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bug6.html.ref b/tests/html-tests/tests/mini_Bug6.html.ref new file mode 100644 index 00000000..5c5c1119 --- /dev/null +++ b/tests/html-tests/tests/mini_Bug6.html.ref @@ -0,0 +1,65 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug6</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bug6</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >A</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >B</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >C</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >D</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >E</a + > </p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bug7.html.ref b/tests/html-tests/tests/mini_Bug7.html.ref new file mode 100644 index 00000000..1bec82ee --- /dev/null +++ b/tests/html-tests/tests/mini_Bug7.html.ref @@ -0,0 +1,41 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug7</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bug7</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Foo</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >Bar</a + > x y</p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bug8.html.ref b/tests/html-tests/tests/mini_Bug8.html.ref new file mode 100644 index 00000000..070dbcf8 --- /dev/null +++ b/tests/html-tests/tests/mini_Bug8.html.ref @@ -0,0 +1,63 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug8</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bug8</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Typ</a + > </p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >(-->)</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >(--->)</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >s</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >t</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >main</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Bugs.html.ref b/tests/html-tests/tests/mini_Bugs.html.ref new file mode 100644 index 00000000..3c758375 --- /dev/null +++ b/tests/html-tests/tests/mini_Bugs.html.ref @@ -0,0 +1,33 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bugs</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Bugs</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >A</a + > a</p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_CrossPackageDocs.html.ref b/tests/html-tests/tests/mini_CrossPackageDocs.html.ref new file mode 100644 index 00000000..9d957c1e --- /dev/null +++ b/tests/html-tests/tests/mini_CrossPackageDocs.html.ref @@ -0,0 +1,45 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >CrossPackageDocs</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >CrossPackageDocs</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >map</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >Monad</a + > m</p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >runInteractiveProcess</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Examples.html.ref b/tests/html-tests/tests/mini_Examples.html.ref new file mode 100644 index 00000000..c99c2c48 --- /dev/null +++ b/tests/html-tests/tests/mini_Examples.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Examples</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Examples</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >fib</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_FunArgs.html.ref b/tests/html-tests/tests/mini_FunArgs.html.ref new file mode 100644 index 00000000..89729720 --- /dev/null +++ b/tests/html-tests/tests/mini_FunArgs.html.ref @@ -0,0 +1,37 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >FunArgs</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >FunArgs</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >g</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_GADTRecords.html.ref b/tests/html-tests/tests/mini_GADTRecords.html.ref new file mode 100644 index 00000000..a8b838f0 --- /dev/null +++ b/tests/html-tests/tests/mini_GADTRecords.html.ref @@ -0,0 +1,33 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >GADTRecords</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >GADTRecords</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >H1</a + > a b</p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Hash.html.ref b/tests/html-tests/tests/mini_Hash.html.ref new file mode 100644 index 00000000..1e6ad1a9 --- /dev/null +++ b/tests/html-tests/tests/mini_Hash.html.ref @@ -0,0 +1,74 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Hash</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Hash</p + ></div + ><div id="interface" + ><h1 + >The <code + >HashTable</code + > type +</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >HashTable</a + > key val</p + ></div + ><h2 + >Operations on <code + >HashTable</code + >s +</h2 + ><div class="top" + ><p class="src" + ><a href="" target="main" + >new</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >insert</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >lookup</a + ></p + ></div + ><h1 + >The <code + >Hash</code + > class +</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >Hash</a + > a</p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_NamedDoc.html.ref b/tests/html-tests/tests/mini_NamedDoc.html.ref new file mode 100644 index 00000000..066bbc61 --- /dev/null +++ b/tests/html-tests/tests/mini_NamedDoc.html.ref @@ -0,0 +1,25 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >NamedDoc</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >NamedDoc</p + ></div + ><div id="interface" + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_NoLayout.html.ref b/tests/html-tests/tests/mini_NoLayout.html.ref new file mode 100644 index 00000000..19562d70 --- /dev/null +++ b/tests/html-tests/tests/mini_NoLayout.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >NoLayout</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >NoLayout</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >g</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_NonGreedy.html.ref b/tests/html-tests/tests/mini_NonGreedy.html.ref new file mode 100644 index 00000000..698c368e --- /dev/null +++ b/tests/html-tests/tests/mini_NonGreedy.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >NonGreedy</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >NonGreedy</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_QuasiExpr.html.ref b/tests/html-tests/tests/mini_QuasiExpr.html.ref new file mode 100644 index 00000000..7dd9b829 --- /dev/null +++ b/tests/html-tests/tests/mini_QuasiExpr.html.ref @@ -0,0 +1,59 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >QuasiExpr</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >QuasiExpr</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Expr</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >BinOp</a + > </p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >eval</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >expr</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >parseExprExp</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_QuasiQuote.html.ref b/tests/html-tests/tests/mini_QuasiQuote.html.ref new file mode 100644 index 00000000..5dac6acc --- /dev/null +++ b/tests/html-tests/tests/mini_QuasiQuote.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >QuasiQuote</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >QuasiQuote</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >val</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_TH.html.ref b/tests/html-tests/tests/mini_TH.html.ref new file mode 100644 index 00000000..d2ddbabc --- /dev/null +++ b/tests/html-tests/tests/mini_TH.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >TH</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >TH</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >decl</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_TH2.html.ref b/tests/html-tests/tests/mini_TH2.html.ref new file mode 100644 index 00000000..2c9f1340 --- /dev/null +++ b/tests/html-tests/tests/mini_TH2.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >TH2</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >TH2</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Test.html.ref b/tests/html-tests/tests/mini_Test.html.ref new file mode 100644 index 00000000..26db2c0f --- /dev/null +++ b/tests/html-tests/tests/mini_Test.html.ref @@ -0,0 +1,269 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Test</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Test</p + ></div + ><div id="interface" + ><h1 + >Type declarations +</h1 + ><h2 + >Data types +</h2 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >T</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >T2</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >T3</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >T4</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >T5</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >T6</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >N1</a + > a</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >N2</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >N3</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >N4</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >N5</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >N6</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >N7</a + > a b</p + ></div + ><h2 + >Records +</h2 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >R</a + > </p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >R1</a + > </p + ></div + ><h1 + >Class declarations +</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >C</a + > a</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >D</a + > a</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >E</a + > a</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >F</a + > a</p + ></div + ><h1 + >Function types +</h1 + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f</a + ></p + ></div + ><h1 + >Auxiliary stuff +</h1 + ><h1 + >A hidden module +</h1 + ><div class="top" + ><p class="src" + ><a href="" target="main" + >hidden</a + ></p + ></div + ><h1 + >A visible module +</h1 + ><h1 + >Existential / Universal types +</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Ex</a + > a</p + ></div + ><h1 + >Type signatures with argument docs +</h1 + ><div class="top" + ><p class="src" + ><a href="" target="main" + >k</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >l</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >m</a + ></p + ></div + ><h1 + >A section +</h1 + ><h2 + >A subsection +</h2 + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f'</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >withType</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >withoutType</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Ticket112.html.ref b/tests/html-tests/tests/mini_Ticket112.html.ref new file mode 100644 index 00000000..68a0a5e5 --- /dev/null +++ b/tests/html-tests/tests/mini_Ticket112.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Ticket112</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Ticket112</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Ticket61.html.ref b/tests/html-tests/tests/mini_Ticket61.html.ref new file mode 100644 index 00000000..a73fefca --- /dev/null +++ b/tests/html-tests/tests/mini_Ticket61.html.ref @@ -0,0 +1,33 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Ticket61</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Ticket61</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >C</a + > a</p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Ticket75.html.ref b/tests/html-tests/tests/mini_Ticket75.html.ref new file mode 100644 index 00000000..75ce882c --- /dev/null +++ b/tests/html-tests/tests/mini_Ticket75.html.ref @@ -0,0 +1,39 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Ticket75</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Ticket75</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > a <a href="" target="main" + >:-</a + > b</p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_TypeFamilies.html.ref b/tests/html-tests/tests/mini_TypeFamilies.html.ref new file mode 100644 index 00000000..0cf39c88 --- /dev/null +++ b/tests/html-tests/tests/mini_TypeFamilies.html.ref @@ -0,0 +1,55 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >TypeFamilies</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >TypeFamilies</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >type family</span + > <a href="" + >G</a + > a :: *</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >A</a + > a</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >type family</span + > <a href="" + >F</a + > a </p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >g</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_TypeOperators.html.ref b/tests/html-tests/tests/mini_TypeOperators.html.ref new file mode 100644 index 00000000..f70a0fae --- /dev/null +++ b/tests/html-tests/tests/mini_TypeOperators.html.ref @@ -0,0 +1,74 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >TypeOperators</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >TypeOperators</p + ></div + ><div id="interface" + ><h1 + >stuff +</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > a <a href="" target="main" + >:-:</a + > b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > (a <a href="" target="main" + >:+:</a + > b) c</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Op</a + > a b</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >O</a + > g f a</p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >biO</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Flip</a + > (~>) b a</p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Unicode.html.ref b/tests/html-tests/tests/mini_Unicode.html.ref new file mode 100644 index 00000000..55336980 --- /dev/null +++ b/tests/html-tests/tests/mini_Unicode.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Unicode</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Unicode</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >x</a + ></p + ></div + ></div + ></body + ></html +> diff --git a/tests/html-tests/tests/mini_Visible.html.ref b/tests/html-tests/tests/mini_Visible.html.ref new file mode 100644 index 00000000..976a30c5 --- /dev/null +++ b/tests/html-tests/tests/mini_Visible.html.ref @@ -0,0 +1,31 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Visible</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Visible</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><a href="" target="main" + >visible</a + ></p + ></div + ></div + ></body + ></html +> |