diff options
Diffstat (limited to 'html-test/ref/mini_TypeFamilies.html')
| -rw-r--r-- | html-test/ref/mini_TypeFamilies.html | 64 |
1 files changed, 57 insertions, 7 deletions
diff --git a/html-test/ref/mini_TypeFamilies.html b/html-test/ref/mini_TypeFamilies.html index 0cf39c88..feb61abc 100644 --- a/html-test/ref/mini_TypeFamilies.html +++ b/html-test/ref/mini_TypeFamilies.html @@ -22,9 +22,49 @@ window.onload = function () {pageLoad();}; ><div class="top" ><p class="src" ><span class="keyword" + >data</span + > <a href="" target="main" + >X</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Y</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Z</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >Test</a + > a</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" >type family</span > <a href="" - >G</a + >Foo</a + > a :: k</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data family</span + > <a href="" + >Bat</a > a :: *</p ></div ><div class="top" @@ -32,7 +72,7 @@ window.onload = function () {pageLoad();}; ><span class="keyword" >class</span > <a href="" target="main" - >A</a + >Assoc</a > a</p ></div ><div class="top" @@ -40,14 +80,24 @@ window.onload = function () {pageLoad();}; ><span class="keyword" >type family</span > <a href="" - >F</a - > a </p + >Bar</a + > b</p ></div ><div class="top" ><p class="src" - ><a href="" target="main" - >g</a - ></p + ><span class="keyword" + >type family</span + > a <a href="" + ><></a + > b :: k</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > a <a href="" target="main" + >><</a + > b</p ></div ></div ></body |