aboutsummaryrefslogtreecommitdiff
path: root/tests/golden-tests/tests/Ticket112.html.ref
diff options
context:
space:
mode:
Diffstat (limited to 'tests/golden-tests/tests/Ticket112.html.ref')
-rw-r--r--tests/golden-tests/tests/Ticket112.html.ref69
1 files changed, 0 insertions, 69 deletions
diff --git a/tests/golden-tests/tests/Ticket112.html.ref b/tests/golden-tests/tests/Ticket112.html.ref
deleted file mode 100644
index f29b507a..00000000
--- a/tests/golden-tests/tests/Ticket112.html.ref
+++ /dev/null
@@ -1,69 +0,0 @@
-<!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();setSynopsis("mini_Ticket112.html");};
-//]]>
-</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"
- >&nbsp;</p
- ></div
- ><div id="content"
- ><div id="module-header"
- ><p class="caption"
- >Ticket112</p
- ></div
- ><div id="synopsis"
- ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
- >Synopsis</p
- ><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
- ><li class="src short"
- ><A HREF="">f</a
- > :: a</li
- ></ul
- ></div
- ><div id="interface"
- ><h1
- >Documentation</h1
- ><div class="top"
- ><p class="src"
- ><a name="v:f" class="def"
- >f</a
- > :: a</p
- ><div class="doc"
- ><p
- >...given a raw <code
- ><A HREF="">Addr#</a
- ></code
- > to the string, and the length of the string.
-</p
- ></div
- ></div
- ></div
- ></div
- ><div id="footer"
- ><p
- >Produced by <A HREF="">Haddock</a
- > version 2.8.2</p
- ></div
- ></body
- ></html
->