diff options
Diffstat (limited to 'tests/html-tests/tests/TypeFamilies.html.ref')
| -rw-r--r-- | tests/html-tests/tests/TypeFamilies.html.ref | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/html-tests/tests/TypeFamilies.html.ref b/tests/html-tests/tests/TypeFamilies.html.ref index 40c949b8..a3d94bb0 100644 --- a/tests/html-tests/tests/TypeFamilies.html.ref +++ b/tests/html-tests/tests/TypeFamilies.html.ref @@ -81,6 +81,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; > <a href="" >F</a > a </li + ><li class="src short" + ><a href="" + >g</a + > :: <a href="" + >B</a + > <a href="" + >Int</a + > <a href="" + >Integer</a + ></li ></ul ></div ><div id="interface" @@ -177,6 +187,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; </p ></div ></div + ><div class="top" + ><p class="src" + ><a name="v:g" class="def" + >g</a + > :: <a href="" + >B</a + > <a href="" + >Int</a + > <a href="" + >Integer</a + ></p + ></div ></div ></div ><div id="footer" |