diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-07-19 05:39:57 -0700 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-19 14:39:57 +0200 |
| commit | c04f44e29f38784e0e958abc683164e33f851c86 (patch) | |
| tree | 3d169d4b5b521cc1a77794632aac50ffef02c724 /html-test/ref/Properties.html | |
| parent | e3926b50ab8a7269fd6904b06e881745f08bc5d6 (diff) | |
Fix HEAD html-test (#860)
* Update tests for 'StarIsType'
* Accept tests
* Revert "Update tests for 'StarIsType'"
This reverts commit 7f0c01383bbba6dc5af554ee82988d2cf44e407a.
Diffstat (limited to 'html-test/ref/Properties.html')
| -rw-r--r-- | html-test/ref/Properties.html | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 9299486c..daabe6c4 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -46,7 +46,11 @@ ><li class="src short" ><a href="#" >fib</a - > :: Integer -> Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + > -> <a href="#" title="Prelude" + >Integer</a + ></li ></ul ></details ></div @@ -57,13 +61,19 @@ ><p class="src" ><a id="v:fib" class="def" >fib</a - > :: Integer -> Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > -> <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Fibonacci number of given <code - >Integer</code + ><a href="#" title="Prelude" + >Integer</a + ></code >.</p ><pre >fib n <= fib (n + 1)</pre |