[commit: haddock] ghc-7.6: Add HTML test for properties (0cf6d61)
Simon Hengel <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/0cf6d611f3af05c7b54d83747847d372a3ebf017 >--------------------------------------------------------------- commit 0cf6d611f3af05c7b54d83747847d372a3ebf017 Author: Simon Hengel <[email protected]> Date: Tue Aug 28 08:51:57 2012 +0200 Add HTML test for properties >--------------------------------------------------------------- tests/html-tests/tests/Properties.hs | 9 ++++++ .../{NoLayout.html.ref => Properties.html.ref} | 28 ++++++++++++-------- ..._Examples.html.ref => mini_Properties.html.ref} | 4 +- 3 files changed, 28 insertions(+), 13 deletions(-) diff --git a/tests/html-tests/tests/Properties.hs b/tests/html-tests/tests/Properties.hs new file mode 100644 index 0000000..05930ec --- /dev/null +++ b/tests/html-tests/tests/Properties.hs @@ -0,0 +1,9 @@ +module Properties where + +-- | Fibonacci number of given 'Integer'. +-- +-- prop> fib n <= fib (n + 1) +fib :: Integer -> Integer +fib 0 = 0 +fib 1 = 1 +fib n = fib (n - 1) + fib (n - 2) diff --git a/tests/html-tests/tests/NoLayout.html.ref b/tests/html-tests/tests/Properties.html.ref similarity index 79% copy from tests/html-tests/tests/NoLayout.html.ref copy to tests/html-tests/tests/Properties.html.ref index 6951a63..8fd918b 100644 --- a/tests/html-tests/tests/NoLayout.html.ref +++ b/tests/html-tests/tests/Properties.html.ref @@ -3,13 +3,13 @@ ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title - >NoLayout</title + >Properties</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_NoLayout.html");}; +window.onload = function () {pageLoad();setSynopsis("mini_Properties.html");}; //]]> </script ></head @@ -39,7 +39,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");}; ></tr ></table ><p class="caption" - >NoLayout</p + >Properties</p ></div ><div id="synopsis" ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')" @@ -47,9 +47,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");}; ><ul id="section.syn" class="hide" onclick="toggleSection('syn')" ><li class="src short" ><a href="" - >g</a + >fib</a > :: <a href="" - >Int</a + >Integer</a + > -> <a href="" + >Integer</a ></li ></ul ></div @@ -58,19 +60,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");}; >Documentation</h1 ><div class="top" ><p class="src" - ><a name="v:g" class="def" - >g</a + ><a name="v:fib" class="def" + >fib</a > :: <a href="" - >Int</a + >Integer</a + > -> <a href="" + >Integer</a ></p ><div class="doc" ><p - >the function <code + >Fibonacci number of given <code ><a href="" - >g</a + >Integer</a ></code - > + >. </p + ><pre + >fib n <= fib (n + 1)</pre ></div ></div ></div diff --git a/tests/html-tests/tests/mini_Examples.html.ref b/tests/html-tests/tests/mini_Properties.html.ref similarity index 94% copy from tests/html-tests/tests/mini_Examples.html.ref copy to tests/html-tests/tests/mini_Properties.html.ref index c99c2c4..5f538df 100644 --- a/tests/html-tests/tests/mini_Examples.html.ref +++ b/tests/html-tests/tests/mini_Properties.html.ref @@ -3,7 +3,7 @@ ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title - >Examples</title + >Properties</title ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script @@ -16,7 +16,7 @@ window.onload = function () {pageLoad();}; ><body id="mini" ><div id="module-header" ><p class="caption" - >Examples</p + >Properties</p ></div ><div id="interface" ><div class="top"