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 <s...@typeful.net>
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
+           > -&gt; <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
+           > -&gt; <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 &lt;= 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"



_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to